A FEM/DG electromagnetic solver using tensor compilation

AI-powered artifact creation using filesystem versioning as the coordination layer

A simple ergonomic dependently-typed language

Elegant web interface for claude or codex development.

Interactive visualizer for Paul Fellows' Once Around astronomy YouTube series

A community database for the problems on the erdosproblems.com site

Agent Orchestration

Vibe-coded NIST compatible database in Rust

Standalone Python tools for parsing and manipulating KiCad schematic and PCB files

Annotations for Lean Proofs

A simple macOS application that will prevent iTunes or Apple Music from launching.

Puffing up reinforcement learning

Experimental Gradle plugin for Elide

fast multi-lang runtime

Rust utility library for nice command line prompts and similar things