Repositories list

• vdm-capability-library

  Public
  VDM Capability Library with System-related Best Practice.

  vdmcapability

  Rust

  •

  GNU General Public License v3.0

  •1•5•1•0•Updated Jul 31, 2024Jul 31, 2024

• virtual-domain-manager

  Public
  VDM: live workspace manager for Linux desktop.

  containersnapshotworkspace+ 1vdm

  Python

  •

  GNU General Public License v3.0

  •0•3•1•0•Updated Jul 28, 2023Jul 28, 2023

• desktop-settings-plugin

  Public
  Python

  •0•0•0•0•Updated Nov 25, 2022Nov 25, 2022

• vdm-okular-plugin

  Public
  Python

  •0•0•0•0•Updated Nov 25, 2022Nov 25, 2022

• vdm-typora-plugin

  Public
  Python

  •0•0•0•0•Updated Nov 25, 2022Nov 25, 2022

• vdm-vlc-plugin

  Public
  Python

  •0•0•0•0•Updated Nov 25, 2022Nov 25, 2022

• vdm-vscode-plugin

  Public
  toy example for vscode plugin

  Python

  •0•2•0•0•Updated Nov 25, 2022Nov 25, 2022

• vdm-plugin-template

  Public
  A simple guide on how to create a plugin.

  Python

  •0•0•0•0•Updated Jan 26, 2022Jan 26, 2022

• khook

  Public
  Linux Kernel hooking engine (x86)

  C

  •

  GNU General Public License v2.0

  •51•0•0•0•Updated Dec 17, 2020Dec 17, 2020

• vdm-chrome-plugin

  Public archive
  toy example for chrome plugin

  Python

  •0•0•0•0•Updated Nov 9, 2019Nov 9, 2019

• issues-collection

  Public archive
  Tell us what VDM should be like.

  0•0•0•0•Updated Apr 24, 2018Apr 24, 2018