Hey! I'm a 3rd-year undergrad at Northwestern researching programming language pragmatics. I'm a big fan of silly gadgets, beautiful abstractions, functional programming, and human-made software.
Here are some cool things I've made that you can take a look at:
- rhyolite, my Rust/Vulkan rendering engine
- micromusic, my Apple Music miniplayer
- mndco11age.xyz, my personal website
And here are some of the might-be-cool-if-you're-into-it, research-y things I've contributed to:
- stlc-termination, my proof of termination for the simply-typed lambda calculus
- trace-contracts-324, an operational-semantics model of trace contracts built in PLT Redex
- r-compile-server, a just-in-time compilation infrastructure for R
There's plenty of other stuff too if you wanna check it out. Thanks for dropping by :)