https://github.com/overturetool/vdm-vscode
Visual Studio Code extension for VDM language support
https://github.com/overturetool/vdm-vscode
language-server vdm-support vdm-vscode visual-studio
Last synced: about 1 year ago
JSON representation
Visual Studio Code extension for VDM language support
- Host: GitHub
- URL: https://github.com/overturetool/vdm-vscode
- Owner: overturetool
- License: gpl-3.0
- Created: 2020-09-28T09:03:03.000Z (over 5 years ago)
- Default Branch: development
- Last Pushed: 2024-12-12T12:16:42.000Z (over 1 year ago)
- Last Synced: 2025-01-16T14:16:48.754Z (over 1 year ago)
- Topics: language-server, vdm-support, vdm-vscode, visual-studio
- Language: TeX
- Homepage:
- Size: 802 MB
- Stars: 21
- Watchers: 15
- Forks: 6
- Open Issues: 36
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE