Visual Studio Code extension for Rocq
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Quarto Wizard is a Visual Studio Code / Positron extension that assists you in managing extensions in Quarto projects.
- extension
- quarto
- vscode
- codium
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS