A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
-
Updated
May 15, 2024 - OCaml
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
A VSCode extension that adds animations to the editor
Free/Libre fork of the official C# extension for vscode
💄 Yet another Aesthetic Hyprland Config
VSCodium Fork with Compiler Optimizations, better Logo, and Windows 7/8/8.1 Support!
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS
codellama on CPU without Docker
Complete Statement with semicolon in vscode.
My Personal dotfiles that I used in Windows 11
🌈 elementaryOS theme for VSCode: light and dark variants, both lovely.
VSCodium in PortableApps.com format. Official repo here https://github.com/VSCodium/vscodium
set VSCodium Extension Gallery to match VSCode automatically
VSCode/VSCodium/Eclipse Theia plugin for sechub
A customizable VS Code extension for semantic committing, compatible with microservices and multiple source control repositories.
Add a description, image, and links to the vscodium topic page so that developers can more easily learn about it.
To associate your repository with the vscodium topic, visit your repo's landing page and select "manage topics."