Topic: vdm Goto Github
Some thing interesting about vdm
Some thing interesting about vdm
vdm,Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
User: andrefcruz
vdm,🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
User: aquelemiguel
vdm,Formal specification for student class written in VDM++
User: azmanuddin94
vdm,AUR package for overture tool from http://overturetool.org
User: cub3d
vdm,Free, Cross-platform video download manager based on youtube-dl
User: elzoughby
Home Page: https://videodownloadmanager.github.io
vdm, The Bible for Joomla https://getbible.net/
Organization: getbible
Home Page: https://git.vdm.dev/getBible/joomla-component
vdm,The Joomla Bible Package https://getbible.net/
Organization: getbible
Home Page: https://git.vdm.dev/getBible/joomla-pkg
vdm,Mirror of https://git.vdm.dev/getBible/loader-plugin Joomla Plugin to display scripture in content.
Organization: getbible
Home Page: https://git.vdm.dev/getBible/support
vdm,Cost Benefit Projection component for Joomla 3.x
User: llewellynvdm
Home Page: https://www.staffhealthcbp.com/
vdm,Mirror of https://git.vdm.dev/christian/mod_dailyscripture Joomla Module to display daily scripture
User: llewellynvdm
vdm,mirror of https://git.vdm.dev/joomla/Demo-Component
User: llewellynvdm
vdm,mirror of https://git.vdm.dev/joomla/Hello-World-Component
User: llewellynvdm
vdm,mirror of https://git.vdm.dev/joomla/Members-Manager
User: llewellynvdm
vdm,mirror of https://git.vdm.dev/joomla/Questions-and-Answers
User: llewellynvdm
vdm,mirror of https://git.vdm.dev/christian/Joomla-Sermon-Distributor
User: llewellynvdm
vdm,mirror of https://git.vdm.dev/joomla/Support-Groups
User: llewellynvdm
vdm,mirror of https://git.vdm.dev/joomla/eHealth-Portal
Organization: namibia
vdm,Mirror of https://git.vdm.dev/octoleo/octopower
Organization: octoleo
Home Page: https://git.vdm.dev/octoleo/octopower
vdm,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.
User: ohrionmartin
vdm,Collect, search, organize, and browse recipes
User: ohrionmartin
vdm,External tests for the Overture tool
Organization: overturetool
vdm,The Overture Tool
Organization: overturetool
Home Page: http://overturetool.org
vdm,Working repository for the development of a VDM to C code generator
Organization: overturetool
vdm,CS™(Control System) PWA(Progressive Web App)
User: radean
Home Page: https://app.vdm.com.pk
vdm,Jax/Flax implementation of Variational-DiffWave.
User: revsic
vdm,[CS:GO] Simple and dynamic changes voice mode for CS:GO servers
User: theelsaud
vdm,JSON parser/printer for VDM-SL
User: tomooda
vdm,VDM-SL execution library using public/private VDMPad servers.
User: tomooda
vdm,A little combinatory parser in VDM-SL
User: tomooda
vdm,a collection of benchmarks for VDM-SL interpreters/code generators
User: tomooda
vdm,ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
User: tomooda
vdm,a simple virtual machine for VDM by VDM
User: tomooda
vdm,Mirror of https://git.vdm.dev/getBible/daily-light-module Joomla Module to display daily scripture
Organization: truechristian
Home Page: https://git.vdm.dev/getBible/support
vdm,Mirror of https://git.vdm.dev/getBible/daily-scripture-module Joomla Module to display daily scripture
Organization: truechristian
Home Page: https://git.vdm.dev/getBible/support
vdm,Demo for Reentrant Application Framework
Organization: vdm-desktop
vdm,Official Mapped VDM Components for JCB
Organization: vdm-io
Home Page: http://vdm.bz/jcb-packages
vdm,mirror of https://git.vdm.dev/joomla/Component-Builder
Organization: vdm-io
vdm,VDM Capability Library with System-related Best Practice.
Organization: vdm-maintainer-group
vdm,VDM: live workspace manager for Linux desktop.
Organization: vdm-maintainer-group
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.