Found 1 extensions tagged with "VDM-SL".
Spark & Hive Tools 1.1.16 for VSCode
OWScript 0.3.2 for VSCode
Tact Language Support 0.1.4 for VSCode
GenAI Copilot 0.0.6 for VSCode
BotCity Studio 0.2.12 for VSCode
Serverpod 1.2.4 for VSCode
Fortran Runner 1.0.6 for VSCode
Tailwind Skeleton Generator 0.6.0 for VSCode
Released: August 5, 2016
Updated: April 2, 2024
Released: November 16, 2015
Released: April 19, 2018
Released: May 19, 2023
Updated: March 25, 2024
Released: August 4, 2023
Updated: April 3, 2024
Released: December 14, 2023
Updated: March 22, 2024
Released: April 2, 2024
Released: April 23, 2024
Updated: April 23, 2024
Released: April 22, 2024
Updated: April 22, 2024
Released: February 16, 2024
Updated: February 24, 2024
Support for the VDM modelling languages: VDM-SL, VDM++ and VDM-RT ...
