The Joomla Bible Package https://getbible.net/
-
Updated
Apr 29, 2024
The Joomla Bible Package https://getbible.net/
🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
Mirror of https://git.vdm.dev/octoleo/octopower
Formal specification for student class written in VDM++
Mirror of https://git.vdm.dev/christian/mod_dailyscripture Joomla Module to display daily scripture
Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
AUR package for overture tool from http://overturetool.org
Demo for Reentrant Application Framework
a collection of benchmarks for VDM-SL interpreters/code generators
Mirror of https://git.vdm.dev/getBible/daily-scripture-module Joomla Module to display daily scripture
A little combinatory parser in VDM-SL
a simple virtual machine for VDM by VDM
Mirror of https://git.vdm.dev/getBible/daily-light-module Joomla Module to display daily scripture
JSON parser/printer for VDM-SL
Mirror of https://git.vdm.dev/getBible/loader-plugin Joomla Plugin to display scripture in content.
The Bible for Joomla https://getbible.net/
CS™(Control System) PWA(Progressive Web App)
Add a description, image, and links to the vdm topic page so that developers can more easily learn about it.
To associate your repository with the vdm topic, visit your repo's landing page and select "manage topics."