Movatterモバイル変換

Skip to content

#

vdm

Here are 48 public repositories matching this topic...

Language:All

Filter by language

All48 PHP12 Java5 Python5 C4 CSS3 Shell3 Dockerfile1 Emacs Lisp1 JavaScript1 Kotlin1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

Joomla-Component-Builder

vdm-io /Joomla-Component-Builder

mirror ofhttps://git.vdm.dev/joomla/Component-Builder

dynamic vdm joomla joomla-component joomla-module joomla-plugin component-builder joomla-extensions namibia jcb joomla-component-builder demo-component

UpdatedMar 4, 2025
PHP

Llewellynvdm /Joomla-Sermon-Distributor

mirror ofhttps://git.vdm.dev/christian/Joomla-Sermon-Distributor

vdm joomla joomla-component sermons christian component-builder joomla-extensions namibia jcb joomla-component-builder

UpdatedMay 3, 2024
PHP

Llewellynvdm /Joomla-Demo-Component

mirror ofhttps://git.vdm.dev/joomla/Demo-Component

demo vdm joomla joomla-component component-builder joomla-extensions namibia jcb joomla-component-builder demo-component

UpdatedJul 8, 2022
CSS

Llewellynvdm /Joomla-Members-Manager

mirror ofhttps://git.vdm.dev/joomla/Members-Manager

vdm joomla joomla-component joomla-extensions namibia jcb joomla-component-builder

UpdatedMay 27, 2022
CSS

Llewellynvdm /Joomla-Questions-and-Answers

mirror ofhttps://git.vdm.dev/joomla/Questions-and-Answers

vdm joomla joomla-component qna joomla-extensions namibia jcb joomla-component-builder

UpdatedMay 27, 2022
CSS

Llewellynvdm /Joomla-Cost-Benefit-Projection

Cost Benefit Projection component for Joomla 3.x

vdm joomla joomla-component giz cbp staff-health joomla-extensions namibia jcb joomla-component-builder

UpdatedMay 27, 2022
PHP

Llewellynvdm /Joomla-Support-Groups

mirror ofhttps://git.vdm.dev/joomla/Support-Groups

vdm joomla joomla-component joomla-extensions namibia jcb joomla-component-builder

UpdatedMar 3, 2022
PHP

elzoughby /vdm

Free, Cross-platform video download manager based on youtube-dl

playlist youtube vimeo video soundcloud youtube-video youtube-dl vdm video-downloader downloadmanager youtube-downloader youtube-playlist facebook-videos youtube-dlg download-manager soundcloud-downloader vimeo-downloader video-download-manager videodownloadmanager vdman

UpdatedFeb 1, 2019
Java

overturetool /overture

The Overture Tool

java eclipse ide vdm formal-methods code-generation vdm-sl vdmpp vdmrt overture

UpdatedOct 3, 2024
Java

revsic /jax-variational-diffwave

Jax/Flax implementation of Variational-DiffWave.

vdm flax jax diffwave variational-diffusion-models

UpdatedFeb 27, 2022
Python

namibia /eHealth-Portal

mirror ofhttps://git.vdm.dev/joomla/eHealth-Portal

vdm joomla joomla-component ehealth namibia jcb

UpdatedJan 19, 2024
PHP

vdm-io /JCB-Packages

Official Mapped VDM Components for JCB

vdm joomla-component jcb

UpdatedDec 2, 2022
Shell

tomooda /ViennaTalk

ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk

smalltalk vdm pharo formal-methods vdm-sl formal-specification formal-models

UpdatedMar 17, 2025
Smalltalk

overturetool /vdm2c

Working repository for the development of a VDM to C code generator

c code-generator vdm

UpdatedOct 13, 2020
C

peterwvj /vdm-mode

Major mode for the Vienna Development Method

emacs elisp vdm vdm-sl vdmpp vdm-rt

UpdatedFeb 21, 2022
Emacs Lisp

Llewellynvdm /Joomla-Hello-World-Component

mirror ofhttps://git.vdm.dev/joomla/Hello-World-Component

vdm joomla joomla-component hello-world namibia jcb joomla-component-builder

UpdatedMay 27, 2022
JavaScript

VDM-Maintainer-Group /vdm-capability-library

VDM Capability Library with System-related Best Practice.

UpdatedJul 31, 2024
Rust

ohrionmartin /recipe-manager

Collect, search, organize, and browse recipes

vdm joomla joomla-extensions jcb joomla-component-builder recipe-manager

UpdatedDec 14, 2020
PHP

VDM-Maintainer-Group /virtual-domain-manager

VDM: live workspace manager for Linux desktop.

container snapshot workspace vdm

UpdatedJul 28, 2023
Python

ohrionmartin /final-year-project

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 joomla joomla-component joomla-extensions jcb joomla-component-builder

UpdatedDec 11, 2020
PHP

Improve this page

Add a description, image, and links to thevdm 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 thevdm topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp