Lists (1)
Starred repositories
Debug your GitHub Actions via SSH by using tmate to get access to the runner system itself.
Automatically generate Haskell bindings from C header files
Whiteboard as an IDE, draw and code in your browser
aider is AI pair programming in your terminal
Lightweight coding agent that runs in your terminal
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).
A benchmark to evaluate language models on questions I've previously asked them to solve.
Train your AI self, amplify you, bridge the world
High performance self-hosted photo and video management solution.
AI app store powered by 24/7 desktop history. open source | 100% local | dev friendly | 24/7 screen, mic recording
Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]
Customizable Kanji character charts that are easily printable to help practice writing.
Official inference framework for 1-bit LLMs
Vim and Neovim plugin to reveal the commit messages under the cursor
A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm
Search your git history by commit message, content and author in Neovim
A handheld Linux terminal using Raspberry pi Zero 2W as Core with 4" 720X720 TFT display
A Git-compatible VCS that is both simple and powerful
From Geometry to Algebra: A Denotational Journey Through Whole Numbers, Fractions, and DivMod Type
2
Updated Mar 7, 2023