Projects & Code

Building tools for formal logic, performance, and the developer experience.

Major Ventures
Things I did for Course Projects...
Things that I developed...
Things I Lean Formalized...

Active Open Source Contributor

I regularly contribute to high-impact projects including Ghostty, Raycast, and the TLDR ecosystem.

View Authored Pull Requests

Familiar Dialects

Python Lean4 Rust C C++ CUDA Typescript Shell Lua and more...