Quickly rewrite git repository history (filter-branch replacement)

Ultra-minimalist macOS dictation.

The CSV magician

A batteries-included framework for building web apps

An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

Open-source e-reader firmware

Skills for teaching agents how to build on Cloudflare.

Scripts for agents, shared between my repositories.

Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.

❄️ Firmware and simulator for Coldcard Hardware Wallet

Expose Docker containers as Tailscale Services using label-based configuration.

The Rust web framework for lazy developers.

Deduplicating archiver with compression and authenticated encryption.

Customize your git commit hashes!

Reticulum Bitcoin bot

Scan for vulnerabilities and create advisories on GitHub

audit your cabal projects for haskell-specific security-advisories

Local CI. Sign off on your own work.

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

A reactive notebook for Haskell

Free and open source manga reader for Android

Lean 4 kernel / 'external checker' written in Lean 4

Library implementing type inference/checking functionality based on the Lean theorem prover

Lean documentation authoring tool

Experimental folding schemes library

An inky color scheme for prose and code.