Visual Studio Code extension for Coq
-
Updated
Nov 22, 2024 - OCaml
Visual Studio Code extension for Coq
💄 Yet another Aesthetic Hyprland Config
A VSCode extension that adds animations to the editor
AHK++ provides AutoHotkey v1 and v2 support for VS Code, Theia IDE, and more
Free/Libre fork of the official C# extension for vscode
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
My Personal dotfiles that I used in Windows 11
Complete Statement with semicolon in vscode.
VSCodium extension for devcontainer remote development using DevPod.
A minimalist VS Code theme that makes your code shine like the moon
🌈 elementaryOS theme for VSCode: light and dark variants, both lovely.
A VSCode-ium extension that speeds up DuckyScript development with ready-to-use snippets and fun ducky icons for a more efficient and enjoyable scripting experience.
VSCodium in PortableApps.com format. Official repo here https://github.com/VSCodium/vscodium
A GNOME Shell extension that gives you access to your vscode workspaces through overview search
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."