Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/coq-community/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
coq editor vscode vscode-extension vscodium
Last synced: 02 Aug 2024
https://github.com/Matt-FTW/dotfiles
💄 Yet another Aesthetic Hyprland Config
arch-linux catppuccin dotfiles eye-candy fish hyprland kitty-terminal lazygit nerd-fonts nvim rice rofi spicetify userchromecss vscodium waybar yadm
Last synced: 01 Aug 2024
https://github.com/vala-lang/vala-vscode
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS
language-server open-vsx vscode vscode-extension vscodium
Last synced: 01 Aug 2024