Stars
GPT wrapper for git — generate commit messages with an LLM in 1 sec — works best with Claude 3.5 — supports local models too
Manage system config using nix on any distro
Yet another Nix CLI helper. [Maintainers=@viperML, @NotAShelf]
A slow-paced introduction to reflection in Agda. ---Tactics!
💥💻💥 A data-parallel functional programming language
Gorilla: Training and Evaluating LLMs for Function Calls (Tool Calls)
arlo-phoenix / CTranslate2-rocm
Forked from OpenNMT/CTranslate2Fast inference engine for Transformer models
A command-line interface wrapper for Faster Whisper
A simple and easy-to-use library to enjoy videogames programming
Embedded language for high-performance array computations
The Ott tool for writing definitions of programming languages and calculi
Setting up a fake SMTP server, allowing you to mimic email exchanges for testing purposes
WebDAV server that maps an SQLite database to directories/files
Open Immersive Translate. A revolutionary open-source browser translation plugin that enables everyone to have a native-like reading experience. 开源的沉浸式翻译，一款革命性的浏览器翻译插件，让所有人都能够拥有母语般的阅读体验。
Daredevil SKK (Simple Kana to Kanji conversion program)
Easily train a good VC model with voice data <= 10 mins!
Create beautiful diagrams just by typing notation in plain text.