JSON parser/printer for VDM-SL
-
Updated
Dec 25, 2013
JSON parser/printer for VDM-SL
VDM-SL execution library using public/private VDMPad servers.
Formal specification for student class written in VDM++
The Data Modelling Tools - i.e. more than a dozen code generators - that are used in the TASTE toolchain
CS™(Control System) PWA(Progressive Web App)
Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
Free, Cross-platform video download manager based on youtube-dl
AUR package for overture tool from http://overturetool.org
A little combinatory parser in VDM-SL
a collection of benchmarks for VDM-SL interpreters/code generators
a simple virtual machine for VDM by VDM
Working repository for the development of a VDM to C code generator
eClinic Portal is a secure web-based viewer that offers health care providers that may not have access to one of the provincial clinical viewers, a single point of access to their patients' digital health information.
Collect, search, organize, and browse recipes
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."