A complete text editor for your terminal.

A powerful CLI tool for seamless parallel development with Git worktrees.

jq-like command-line tool for markdown processing

A git diff pager based on delta but with a file tree, à la GitHub.

🕵️‍♂️ Collect a dossier on a person by username from thousands of sites

llm usage monitor in terminal

A (TUI/CLI) markdown navigator with tree-based structural navigation.

Beads - A memory upgrade for your coding agent

Simple, minimal SQL database migrations written in Go. Build your own migration CLI with it. Std lib database/sql and SQLX supported out of the box.

LaTeX/Tikz animation goodness

Agentic and LLM Programming in Scala

SPIR-🇹: shader-focused IR to target, transform and translate from 🦀

Go library for diffing Postgres schemas and generating SQL migrations

A fast and lightweight native programming language

A constraint based fuzz testing tool in Python

An open-source AI agent that lives in your terminal.

Cats Actors framework for building apps which are reactive. Cats actors uses a conceptual actor model as a higher level abstraction for concurrency.

An implementation of Warren's abstract machine written in OCaml

Mostly Automated Proof Repair for Verified Libraries

An unofficial Ghostty app icon for macOS, based on the SVG logo from the Ghostty website

Native WebGPU implementation. Mirror of https://dawn.googlesource.com/dawn. File bugs here: https://crbug.com/dawn/new

Exception runtime library for Cortex M series CPUs

Multiplayer at the speed of light

🎶 LocalWave is a local-first MP3 player for iOS with full-text search, iCloud sync, and no subscriptions

A test framework that runs everything in parallel.

An open-source AI agent that brings the power of Gemini directly into your terminal.

TinkerTasker is an open-source, local-first agent that runs in your terminal.

Compiler-driven MCP framework for Kotlin Multiplatform