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