Found 1 extensions tagged with "VDM-PP".
AskJarvis 2.0.4 for VSCode
Quack Companion 0.0.8 for VSCode
Raccoon 0.60.1 for VSCode
Azure Pipelines Tools 0.0.13 for VSCode
BotCity Studio 0.2.12 for VSCode
AIConfig Editor 0.0.22 for VSCode
Tailwind Skeleton Generator 0.6.0 for VSCode
AutoDev 0.0.2 for VSCode
Released: November 16, 2015
Updated: April 2, 2024
Released: April 19, 2018
Released: June 4, 2018
Updated: March 27, 2024
Released: May 3, 2019
Updated: April 9, 2024
Released: June 15, 2023
Released: March 28, 2024
Updated: March 28, 2024
Released: August 14, 2023
Updated: November 29, 2023
Released: December 16, 2023
Updated: April 3, 2024
Released: March 23, 2024
Updated: April 21, 2024
Released: February 16, 2024
Updated: February 24, 2024
Support for the VDM modelling languages: VDM-SL, VDM++ and VDM-RT ...
