Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"

Express simplified GBNF grammar in Haskell, submit it to llama.cpp, parse the output responses

Differential Dataflow in TypeScript

Why is this running?

Kafka data generator and load testing tool - generate fake messages, simulate producers and consumers, test broker failures, and run chaos engineering scenarios

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

Development at the speed of light