7 results found Sort:

coq
vscoq coq
72
350
mit
14
Visual Studio Code extension for Coq
coq editor vscode vscodium vscode-extension
Created 2019-07-10
1,032 commits to main branch, last one 11 days ago
Matt-FTW
dotfiles Matt-FTW
24
327
gpl-3.0
7
💄 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,934 commits to main branch, last one 7 days ago
BrandonKirbyson
VSCode-Animations BrandonKirbyson
6
221
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 2 months ago
mark-wiemer-org
ahkpp mark-wiemer-org
11
193
other
4
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
640 commits to main branch, last one 8 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 about a month 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 10 months ago