GitHub / overturetool / vdm-vscode
Visual Studio Code extension for VDM language support
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fvdm-vscode
PURL: pkg:github/overturetool/vdm-vscode
Stars: 20
Forks: 6
Open issues: 36
License: gpl-3.0
Language: TeX
Size: 808 MB
Dependencies parsed at: Pending
Created at: almost 5 years ago
Updated at: 11 days ago
Pushed at: 11 days ago
Last synced at: 11 days ago
Topics: language-server, vdm-support, vdm-vscode, visual-studio
Loading...