VDM Maintainer Group (VDM-Maintainer-Group)

VDM Maintainer Group

VDM-Maintainer-Group

Geek Repo

Define Your Linux Desktop by Temporal Wrokspace.

Location:China

Github PK Tool:Github PK Tool

VDM Maintainer Group's repositories

vdm-capability-library

VDM Capability Library with System-related Best Practice.

Language:RustLicense:GPL-3.0Stargazers:4Issues:2Issues:1

virtual-domain-manager

VDM: live workspace manager for Linux desktop.

Language:PythonLicense:GPL-3.0Stargazers:3Issues:2Issues:2

vdm-vscode-plugin

toy example for vscode plugin

Language:PythonStargazers:2Issues:2Issues:0
Language:PythonStargazers:0Issues:1Issues:0

issues-collection

Tell us what VDM should be like.

Stargazers:0Issues:2Issues:6

khook

Linux Kernel hooking engine (x86)

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

vdm-chrome-plugin

toy example for chrome plugin

Language:PythonStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:1Issues:0

vdm-plugin-template

A simple guide on how to create a plugin.

Language:PythonStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0