Projects in Awesome Lists by overturetool
A curated list of projects in awesome lists by overturetool .
https://github.com/overturetool/overture
The Overture Tool
code-generation eclipse formal-methods ide java overture vdm vdm-sl vdmpp vdmrt
Last synced: 05 Sep 2025
https://github.com/overturetool/vdm-vscode
Visual Studio Code extension for VDM language support
language-server vdm-support vdm-vscode visual-studio
Last synced: 15 Jun 2025
https://github.com/overturetool/vdm2c
Working repository for the development of a VDM to C code generator
Last synced: 09 Mar 2026
https://github.com/overturetool/overture-fmu
Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface
Last synced: 21 Apr 2025
https://github.com/overturetool/overturetool.github.io
The Overture Tool Website
Last synced: 21 Apr 2025
https://github.com/overturetool/language
Overture Language Board issue tracking
Last synced: 19 Mar 2026
https://github.com/overturetool/overture-release-scripts
Scripts used for releasing Overture
Last synced: 20 Sep 2025
https://github.com/overturetool/testfmus
Place to store Overture models and FMUs for testing against the FMI standard
Last synced: 23 Feb 2025
https://github.com/overturetool/cold-storage
Archival repository for Overture projects that are quiescent
Last synced: 18 Feb 2026
https://github.com/overturetool/prob-interpreter-integration
Overture feature that enables implicit function/operation bodies to be interpreted using the ProB model checker
Last synced: 14 Jun 2026
https://github.com/overturetool/example-packager
The Overture VDM Example Packager
Last synced: 19 Mar 2026
https://github.com/overturetool/overture-graphics-plugin
Live plotting for Overture using listeners
Last synced: 23 Feb 2025
https://github.com/overturetool/tempo-ui
UI bindings for Overture models with DukeScript
Last synced: 23 Feb 2025
https://github.com/overturetool/intocps-tracability-driver
Prototype of a traceability driver for overture git and INTO-CPS
Last synced: 10 Jun 2026
https://github.com/overturetool/guibuilder
Automated GUI constructions from VDM models
Last synced: 23 Sep 2025