Stars
KUAL Extension for jailbreaked kindles to run Tailscale VPN
Yet another modal editing on Emacs / 猫态编辑
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
declarative self-improving language-model programs for Elixir 😇
Hints lets you navigate GUI applications in Linux without your mouse by displaying "hints" you can type on your keyboard to interact with GUI elements.
A modern GUI library for Ada: CSS styling, XML UI, SDL3
A collection of formalized statements of conjectures in Lean.
eBPF-based Networking, Security, and Observability
Decompilation of 3D Pinball for Windows – Space Cadet
MacOS Web Server written entirely in ARM64 assembly
A Neovim plugin for macOS, Linux & Windows that automatically changes the editor appearance based on system settings.
Distributed, offline-first bug tracker integrated in git
Native space switching on macOS with no animation
dadbod.vim: Modern database interface for Vim
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
A Nix library to create wrapped executables via the module system
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Yet another Nix CLI helper. [Maintainers=@NotAShelf, @faukah]