GitHub repository: overturetool/vdm-vscode
Primary language: TeX
Description: Visual Studio Code extension for VDM language support