5 results found Sort:

coq-community
vscoq coq-community
66
317
mit
15
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
coq editor vscode vscodium vscode-extension
Created 2019-07-10
750 commits to main branch, last one 3 days ago
BrandonKirbyson
VSCode-Animations BrandonKirbyson
5
191
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
181 commits to main branch, last one about a month ago
Matt-FTW
dotfiles Matt-FTW
7
120
gpl-3.0
2
💄 Yet another Aesthetic Hyprland Config
fish rice rofi yadm neovim waybar lazygit dotfiles hyprland vscodium eye-candy spicetify arch-linux catppuccin nerd-fonts userchromecss kitty-terminal
Created 2023-07-04
2,281 commits to main branch, last one a day ago
portapps
vscodium-portable portapps
10
60
mit
5
🚀 VSCodium portable for Windows
golang vscode windows portapps vscodium
Created 2019-04-16
147 commits to master branch, last one 3 months ago
vala-lang
vala-vscode vala-lang
8
40
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 8 months ago