7 results found Sort:

72
350
mit
14
Visual Studio Code extension for Coq
Created 2019-07-10
1,032 commits to main branch, last one 11 days ago
24
327
gpl-3.0
7
💄 Yet another Aesthetic Hyprland Config
Created 2023-07-04
2,934 commits to main branch, last one 7 days ago
A VSCode extension that adds animations to the editor
Created 2023-05-12
184 commits to main branch, last one 2 months ago
AHK++ provides AutoHotkey v1 and v2 support for VS Code, Theia IDE, and more
Created 2020-11-07
640 commits to main branch, last one 8 days ago
🚀 VSCodium portable for Windows
Created 2019-04-16
156 commits to master branch, last one about a month ago
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS
Created 2020-03-03
26 commits to master branch, last one about a year ago
codellama on CPU without Docker
Created 2023-08-27
30 commits to master branch, last one 10 months ago