Projects

A selection of what I have built. Project names link to a live demo where one exists; the full list is on my GitHub.

Robotics and perception

slam-rs

A Rust library for building SLAM systems: visual odometry, triangulation, and bundle adjustment. Code.
mast3r-loc

Localization experiments built on MASt3R correspondences. Code.
mpc-competition

Model predictive control for a robotics competition. Code.

Systems and tooling

Yappus-Term

A terminal interface for an AI assistant, written in Rust. Code.
nix-flake-public

My public Nix flakes and system configuration. Code.
Open source contributions

Local-first notebook infrastructure in Rust for runtimed and nteract, and contributions to the Zed editor.

Hardware

RISC-V processor

Five-stage pipelined RISC-V core in SystemVerilog with hazard handling and branch prediction. Code.

Machine learning

Manimator

Generates mathematical animations with Manim. Code.
handwritten-to-LaTeX

Draw handwritten math and convert it to LaTeX. Code.
vyasa

A detector for LLM-generated text, written in Rust. Code.

Audio and music

Audio-to-Midi

Converts audio into MIDI. Code.
oemer-web

Optical music recognition in the browser. Code.

Web

Interactive portfolio

A desktop-style personal site in React and UnoCSS.