🕳 bore is a simple CLI tool for making tunnels to localhost
Fast, collaborative live terminal sharing over the web
Efficient and minimal collaborative code editor, self-hosted, no database required
Learn computer graphics by writing GPU shaders!
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
🎮 A frictionless multiplayer web app that lets you play Set with friends
Collaborative music composition for everyone.
A physically-based path tracer
A course catalog with extremely fast full-text search
Real-time collaborative code editing on your own infrastructure
Rust implementation of µKanren, a featherweight relational programming language.
🪢 A fast native data type for manipulating large strings in Redis
Design a growing artistic exhibit of your own making, with semantic search powered by OpenAI CLIP
🏠 SSH, but each user gets their own microVM
Source code for my personal website
Conway's Game of Life simulator running in the browser, based on the HashLife algorithm (quadtrees + memoization)
My personal LaTeX template, with sensible formatting and commands
Geometry processing for real-time pencil sketching