Starred repositories
APALACHE: symbolic model checker for TLA+ and Quint
A skill to stop your coding agent from burying the answer. ADHD-friendly output.
A vector index built on TurboQuant, written in Rust with Python bindings
Orca is the ADE for working with a fleet of parallel agents. Run any coding agent with your own subscription. Available on desktop, mobile and VPS.
The diary of Tom Riddle for the reMarkable Paper Pro — write with your pen, the page drinks your ink and answers in a flowing hand
An Open Source implementation of Notebook LM with more flexibility and features
Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.
The Native Terminal Emulator with a builtin AI Harness
A fast, helpful, and open-source document parser
Universal Rust multiplexer with a typed SDK — drive any CLI or TUI app from code. Native on Linux, macOS, and Windows.
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
Creusot helps you prove your Rust code is correct.
Claude Code skill: Software design philosophy guide based on A Philosophy of Software Design by John Ousterhout
Animated sprite editor & pixel art tool -- Fork of the last GPLv2 commit of Aseprite
Practical and Powerful wayland compositor (dwm but wayland)
ARCHIVED — split into 6 standalone repos. See README for links.
Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.
A prompt engineering functional programming language
📚 A complete guide to engineering management
Local Area Network discovery tool with an interactive Terminal User Interface (TUI) written in Go. Discover, explore, and understand your LAN in an intuitive way. Knock Knock.. who's there? 🚪
Simple and safe programming language with first-class C/C++ interoperability and powerful compile-time capabilities
AI turns documents or topics into real, native PowerPoint decks—with native shapes, transitions and animations, data-backed charts and tables on demand, audio narration from speaker notes, and supp…
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
Learn to build safety-critical systems in C. Prove first, code second.
Quickly create and run optimised Windows, macOS and Linux virtual machines