• Descartes (currently working on)
  Formal verification of geometric deep learning models for scientific simulation. Investigates whether building physical inductive biases into neural surrogates makes them more amenable to formal verification than unstructured baselines.
• DDD – Describe Design Deliver
  A CLI tool that takes a text prompt, generates OpenSCAD code via Claude, compiles it to STL, slices to G-code, and sends it directly to a Bambu Lab printer over LAN.
• Kingdom
  A secure messaging application with a server and Qt6 GUI client, built with Nix. Supports local and production deployments with versioned API endpoints.
• Device Driver
  A Linux Loadable Kernel Module for Raspberry Pi that simulates a roulette wheel using GPIO-connected LEDs, exposed as a character device. Scored 93/100.
• Art Explorer
  A client-side web app that surfaces a random poem, painting, or album on each visit using public APIs. Deployed on Vercel.