GitHub repository: korosuke613/vdmpp-vscode-extension
Primary language: TypeScript
Description: Smart linting and syntax highlighting(rough) for VDM++ in VSCode.