VDM-SL execution library using public/private VDMPad servers.
-
Updated
Jun 9, 2015 - Python
VDM-SL execution library using public/private VDMPad servers.
The Joomla Bible Package https://getbible.net/
Working repository for the development of a VDM to C code generator
Formal specification for student class written in VDM++
Mirror of https://git.vdm.dev/christian/mod_dailyscripture Joomla Module to display daily scripture
Mirror of https://git.vdm.dev/octoleo/octopower
AUR package for overture tool from http://overturetool.org
Modified FreeDOS kernel - implements DOSKRNL for osFree MVM
Demo for Reentrant Application Framework
a collection of benchmarks for VDM-SL interpreters/code generators
Mirror of https://git.vdm.dev/getBible/daily-scripture-module Joomla Module to display daily scripture
A little combinatory parser in VDM-SL
a simple virtual machine for VDM by VDM
Mirror of https://git.vdm.dev/getBible/daily-light-module Joomla Module to display daily scripture
JSON parser/printer for VDM-SL
Mirror of https://git.vdm.dev/getBible/loader-plugin Joomla Plugin to display scripture in content.
Add a description, image, and links to the vdm topic page so that developers can more easily learn about it.
To associate your repository with the vdm topic, visit your repo's landing page and select "manage topics."