Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
-
Updated
Jan 10, 2019 - Java
#
vdm
Here are 59 public repositories matching this topic...
Mirror of https://git.vdm.dev/getBible/daily-light-module Joomla Module to display daily scripture
-
Updated
Nov 18, 2025 - PHP
The Joomla Bible Package https://getbible.life/
-
Updated
Nov 18, 2025
JSON parser/printer for VDM-SL
-
Updated
Dec 25, 2013
Mirror of https://git.vdm.dev/octoleo/octopower
-
Updated
Mar 24, 2025 - Shell
Formal specification for student class written in VDM++
-
Updated
Dec 21, 2017
Mirror of https://git.vdm.dev/christian/mod_dailyscripture Joomla Module to display daily scripture
-
Updated
Nov 9, 2023 - PHP
AUR package for overture tool from http://overturetool.org
-
Updated
Jan 27, 2020 - Shell
a collection of benchmarks for VDM-SL interpreters/code generators
-
Updated
Jun 12, 2020
Mirror of https://git.vdm.dev/getBible/daily-scripture-module Joomla Module to display daily scripture
-
Updated
Nov 18, 2025 - PHP
FRAM visualization/manipulation library for Pharo
-
Updated
Apr 30, 2024 - Smalltalk
Convert Microsoft Defender Antivirus Signatures (VDM) into YARA rules
python reverse-engineering vdm malware-analysis yara security-research windows-defender signature-analysis
-
Updated
Aug 22, 2025 - Python
Specifications of bottom-up parsers in VDM-SL
-
Updated
Dec 28, 2024
Mirror of https://git.vdm.dev/getBible/loader-plugin Joomla Plugin to display scripture in content.
-
Updated
Nov 18, 2025 - PHP
A little combinatory parser in VDM-SL
-
Updated
Aug 26, 2025
Improve this page
Add a description, image, and links to the vdm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the vdm topic, visit your repo's landing page and select "manage topics."