Major Ventures
Things I did for Course Projects...
Things that I developed...
Things I Lean Formalized...
Community & Ecosystem
Active Open Source Contributor
I regularly contribute to high-impact projects including Ghostty, Raycast, and the TLDR ecosystem.
View Authored Pull Requests
Stack & Polyglot
Familiar Dialects
Python
Lean4
Rust
C
C++
CUDA
Typescript
Shell
Lua
and more...