Visual Studio Code extension for Coq
-
Updated
Dec 13, 2024 - OCaml
#
vscodium
Here are 68 public repositories matching this topic...
💄 Yet another Aesthetic Hyprland Config
dotfiles tmux fish eye-candy neovim rice arch-linux yadm rofi kitty nerd-fonts userchromecss yazi lazygit spicetify waybar vscodium catppuccin hyprland
-
Updated
Dec 13, 2024 - JavaScript
A VSCode extension that adds animations to the editor
-
Updated
Oct 12, 2024 - TypeScript
AHK++ provides AutoHotkey v1 and v2 support for VS Code, Theia IDE, and more
vscode vscode-extension autohotkey ahk language-support theia-extension theia-ide theia theia-language-extension vscodium autohotkey-v2 ahkv2 vscodium-extension
-
Updated
Dec 10, 2024 - AutoHotkey
Free/Libre fork of the official C# extension for VSCode
c-sharp debugger csharp dotnet vscode omnisharp vscode-extension oni theia-ide theia gitpod code-server vscodium vscode-remote vscode-oss vscode-server netcoredbg
-
Updated
Nov 26, 2024 - TypeScript
VSCodium Fork with Compiler Optimizations, better Logo, and Windows 7/8/8.1 Support!
electron nodejs javascript microsoft editor text ide vscode foss text-editor floss electronjs codium vscodium code-oss
-
Updated
Nov 10, 2024 - Shell
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS
-
Updated
Jul 18, 2024 - TypeScript
codellama on CPU without Docker
-
Updated
Feb 8, 2024 - JavaScript
My Personal dotfiles that I used in Windows 11
-
Updated
Oct 24, 2024 - NWScript
Complete Statement with semicolon in vscode.
-
Updated
Sep 12, 2022 - TypeScript
VSCodium extension for devcontainer remote development using DevPod.
-
Updated
Dec 5, 2024 - TypeScript
A minimalist VS Code theme that makes your code shine like the moon
light-theme dark-theme vscode themes dark vscode-theme lunar vscodium lunar-theme vscodium-theme devarshishimpi
-
Updated
Jul 25, 2024
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.
syntax-highlighting snippets cookbook vscode-extension hak5 duckyscript hak5-ducky vscodium syntax-highlighting-theme flipperzero vscodium-theme flipper-zero flipper-zero-payload flipper-zero-development flipperzero-badusb vscodium-extension duckyscript-cookbook duckyscript-snippets
-
Updated
Nov 20, 2024 - CSS
🌈 elementaryOS theme for VSCode: light and dark variants, both lovely.
-
Updated
Nov 9, 2020
A GNOME Shell extension that gives you access to your vscode workspaces through overview search
-
Updated
Dec 3, 2024 - TypeScript
VSCodium in PortableApps.com format. Official repo here https://github.com/VSCodium/vscodium
-
Updated
Oct 23, 2019 - HTML
Improve this page
Add a description, image, and links to the vscodium topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the vscodium topic, visit your repo's landing page and select "manage topics."