The original nirholas/claude-code before DMCA and take down. Once everything is cleared, it will return. Working with Anthropic and Github to get everything back.

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.

Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents

Launch faster with forklaunch.

Warp is an agentic development environment, born out of the terminal.