7 results found Sort:

coq
vscoq coq
69
346
mit
14
Visual Studio Code extension for Coq
coq editor vscode vscodium vscode-extension
Created 2019-07-10
970 commits to main branch, last one 24 hours ago
Matt-FTW
dotfiles Matt-FTW
21
297
gpl-3.0
6
💄 Yet another Aesthetic Hyprland Config
fish rice rofi tmux yadm yazi kitty neovim waybar lazygit dotfiles hyprland vscodium eye-candy spicetify arch-linux catppuccin nerd-fonts userchromecss
Created 2023-07-04
2,907 commits to main branch, last one 5 days ago
BrandonKirbyson
VSCode-Animations BrandonKirbyson
6
213
mit
2
A VSCode extension that adds animations to the editor
vscode vscodium animation animations vscode-theme animations-css vscode-extension
Created 2023-05-12
184 commits to main branch, last one about a month ago
mark-wiemer-org
ahkpp mark-wiemer-org
10
186
other
5
AHK++ provides AutoHotkey v1 and v2 support for VS Code, Theia IDE, and more
ahk ahkv2 theia vscode vscodium theia-ide autohotkey autohotkey-v2 theia-extension language-support vscode-extension vscodium-extension theia-language-extension
Created 2020-11-07
637 commits to main branch, last one 13 days ago
portapps
vscodium-portable portapps
10
67
mit
5
🚀 VSCodium portable for Windows
golang vscode windows portapps vscodium
Created 2019-04-16
156 commits to master branch, last one 10 days ago
vala-lang
vala-vscode vala-lang
9
41
mit
7
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS
vscode open-vsx vscodium language-server vscode-extension
Created 2020-03-03
26 commits to master branch, last one about a year ago
balisujohn
localpilot balisujohn
5
25
mit
3
codellama on CPU without Docker
code llama vscode vscodium codellama code-llama wizardcoder vscode-extension text-generation-webui
Created 2023-08-27
30 commits to master branch, last one 9 months ago