overturetool

overturetool/vdm-vscode

Visual Studio Code extension for VDM language support

1 good first / help-wanted issue · TeX · last activity Jul 15, 2026

21 stars 8 forks 21 watchers TeX GNU General Public License v3.0

language-server vdm-support vdm-vscode visual-studio

1 Open Issue Need Help Last updated: Jul 15, 2026

Open Issues Need Help

View All on GitHub

Launch configuration grammar 3 months ago

documentation help wanted

overturetool/vdm-vscode

21

Visual Studio Code extension for VDM language support

TeX

#language-server#vdm-support#vdm-vscode#visual-studio