Popular repositories

1. overture overture Public

   The Overture Tool

   Java 48 25

2. vdm-vscode vdm-vscode Public

   Visual Studio Code extension for VDM language support

   TeX 17 6

3. vdm2c vdm2c Public

   Working repository for the development of a VDM to C code generator

   C 8

4. overture-fmu overture-fmu Public

   Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface

   Java 5 3

5. documentation documentation Public

   Documentation and examples

   4 4

6. overturetool.github.io overturetool.github.io Public

   The Overture Tool Website

   JavaScript 3 6