Here are
34 public repositories
matching this topic...
Builds Complex Joomla! Components
Home of the Sermon Distributor component for Joomla 3.x
Home of a Demo Component for Joomla 3.x
A Members Manager to use as a base for any kind of project that needs user integration.
Cost Benefit Projection component for Joomla 3.x
Joomla component to manage support groups locations
Free, Cross-platform video download manager based on youtube-dl
Official Mapped VDM Components for JCB
Updated
Feb 20, 2021
Shell
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
Updated
Mar 19, 2021
Smalltalk
Working repository for the development of a VDM to C code generator
Major mode for the Vienna Development Method
Updated
Mar 28, 2019
Emacs Lisp
An Overture project that models ERTMS level 2 and interlocking properties in VDM++.
The official hello world for JCB
Updated
Jan 4, 2021
JavaScript
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.
VDM-SL execution library using public/private VDMPad servers.
Updated
Jun 9, 2015
Python
S4HANA embedded analytics using cds virtual data model
Updated
Jul 19, 2020
ABAP
[CS:GO] Simple and dynamic changes voice mode for CS:GO servers
Updated
Apr 17, 2021
SourcePawn
VDM: define a temporal workspace on your Linux desktop.
Updated
Apr 17, 2021
Python
CS™(Control System) PWA(Progressive Web App)
Collect, search, organize, and browse recipes
The Data Modelling Tools - i.e. more than a dozen code generators - that are used in the TASTE toolchain
Updated
Dec 27, 2017
Python
Updated
Jan 27, 2020
Shell
JSON parser/printer for VDM-SL
🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
Updated
Jan 13, 2019
Java
Updated
Jan 10, 2019
Java
A docker image to create an environment to run vdmj on the CLI
Updated
Nov 11, 2020
Dockerfile
A little combinatory parser in VDM-SL
a simple virtual machine for VDM by VDM
Improve this page
Add a description, image, and links to the
vdm
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
vdm
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.