There are 2 repositories under vdm topic.
mirror of https://git.vdm.dev/joomla/Component-Builder
mirror of https://git.vdm.dev/christian/Joomla-Sermon-Distributor
mirror of https://git.vdm.dev/joomla/Demo-Component
mirror of https://git.vdm.dev/joomla/Members-Manager
mirror of https://git.vdm.dev/joomla/Questions-and-Answers
Cost Benefit Projection component for Joomla 3.x
mirror of https://git.vdm.dev/joomla/Support-Groups
The Overture Tool
Jax/Flax implementation of Variational-DiffWave.
mirror of https://git.vdm.dev/joomla/eHealth-Portal
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
Working repository for the development of a VDM to C code generator
mirror of https://git.vdm.dev/joomla/Hello-World-Component
VDM Capability Library with System-related Best Practice.
Collect, search, organize, and browse recipes
[CS:GO] Simple and dynamic changes voice mode for CS:GO servers
VDM: live workspace manager for Linux desktop.
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.
An Overture project that models ERTMS level 2 and interlocking properties in VDM++.
AUR package for overture tool from http://overturetool.org
Modified FreeDOS kernel - implements DOSKRNL for osFree MVM
CS™(Control System) PWA(Progressive Web App)
The Data Modelling Tools - i.e. more than a dozen code generators - that are used in the TASTE toolchain
The Joomla Bible Package https://getbible.net/
Mirror of https://git.vdm.dev/getBible/loader-plugin Joomla Plugin to display scripture in content.
Mirror of https://git.vdm.dev/getBible/daily-light-module Joomla Module to display daily scripture
Mirror of https://git.vdm.dev/getBible/daily-scripture-module Joomla Module to display daily scripture
Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
The Bible for Joomla https://getbible.net/
Mirror of https://git.vdm.dev/christian/mod_dailyscripture Joomla Module to display daily scripture