Projects

An interactive node-based editor for composing mathematical operations into computation graphs, featuring per-node modular arithmetic and AI-assisted generation.

A from-scratch Raft consensus library in Rust, paired with a fault-tolerant key–value store over gRPC.

A command-line tool that reads Markdown and LaTeX from standard input, renders math as terminal images via the Kitty graphics protocol, and applies rich Markdown formatting.

A lightweight Neovim plugin that displays an informative, visual tabline for your Harpoon marks with active file highlighting.

A professional-grade digital logic circuit simulator with real-time event-driven execution and custom IC packaging.

An MCP server providing semantic search and retrieval over Cambridge CS Tripos notes. Connects to ChatGPT, Claude, or any MCP client.

A fully featured, browser-based raytracer built from scratch in TypeScript with a live XML scene editor.