Package Usage: npm: @vscode/vsce
VS Code Extensions Manager
78 versions
Latest release: presque 2 ans ago
70 dependent packages
520 016 downloads last month
View more package details: https://packages.ecosystem.code.gouv.fr/registries/npmjs.org/packages/@vscode/vsce
Dependent Repos 2
publicodes/language-server
LS and VSCode client for PublicodesSize: 528 ko - Last synced: 3 jours ago - Pushed: 2 mois ago
coq/vscoq
Visual Studio Code extension for CoqSize: 78,7 Mo - Last synced: 11 mois ago - Pushed: 11 mois ago
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewritingSize: 39,3 Mo - Last synced: 1 jour ago - Pushed: 5 jours ago
