VDM Maintainer Group's repositories
vdm-capability-library
VDM Capability Library with System-related Best Practice.
virtual-domain-manager
VDM: live workspace manager for Linux desktop.
vdm-vscode-plugin
toy example for vscode plugin
issues-collection
Tell us what VDM should be like.
vdm-chrome-plugin
toy example for chrome plugin
vdm-plugin-template
A simple guide on how to create a plugin.