Repositories (20)
🕳 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!
JAX in JavaScript – ML library for the web, running on WebGPU & Wasm
📝 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.
🏠 SSH, but each user gets their own microVM
🪢 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
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
Webapp for running estimation markets