A marketplace app that lets people order food directly from local farms — browse nearby produce, meat, and the farms themselves, then get it delivered to your door. Built for an entrepreneurship class to support local growers and put better ingredients within reach.

A desktop financial manager that links all my accounts through Plaid and streams live alerts over a websocket to a Raspberry Pi on my desk, with a 16-bit "Money Clubhouse" readout. Never left development, my bank didn't offer an open API (lesson learned).

A formal analysis engine in Lean using abstract interpretation, tackling the "widening precision" problem by using small local LLMs to dynamically infer loop bounds on sliced, context-free code paths.

An optimized Python-to-x86 compiler supporting dynamic typing, polymorphism, recursion, and higher-order functions. Validated with PyTest and extended to ARM64 via LLVM IR.

Started as an app to help the skate community share and find spots, then grew into a full geo-location social network where every user runs their own city-state.