Found 2 extensions tagged with "VDM".
Spark & Hive Tools 1.1.16 for VSCode
Speedy Moq 0.1.2 for VSCode
Unreal Code 0.0.4 for VSCode
BotCity Studio 0.2.12 for VSCode
AIConfig Editor 0.0.22 for VSCode
Autotools Integration 0.3.1 for VSCode
Tailwind Skeleton Generator 0.6.0 for VSCode
SQLTools Hologres Driver 0.0.9 for VSCode
Released: December 1, 2017
Updated: April 5, 2024
Released: March 20, 2020
Updated: March 26, 2024
Released: September 6, 2022
Updated: March 29, 2024
Released: June 15, 2023
Updated: April 9, 2024
Released: August 14, 2023
Updated: November 29, 2023
Released: December 14, 2023
Updated: March 22, 2024
Released: March 21, 2024
Updated: March 21, 2024
Released: March 30, 2024
Updated: March 30, 2024
Released: February 4, 2024
Updated: February 9, 2024
Released: April 7, 2024
Updated: April 10, 2024
Support for the VDM modelling languages: VDM-SL, VDM++ and VDM-RT ...
