binary releases of VS Code without MS branding/telemetry/licensing
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Visual Studio Code extension for Rocq
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS
47,133 repositories indexed
1–3 of 3 · Most stars
binary releases of VS Code without MS branding/telemetry/licensing
Visual Studio Code extension for Rocq
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS