The C0 language is a subset of the C programming language that has no undefined behaviour, used for teaching introductory classes at CMU. I developed a compiler for C0 with Runming Li as part of CMU's Compiler Design class. The code was almost entirely written in OCaml, and features a level of compiler optimizations as well as a mode for linearly-typed C0.
Velox is an open-source vectorized database acceleration library that I contributed to during my time at Meta. GitHub
A proxy server made for CMU's 15-213 class that supports multithreading and caches recent results.
My own implementation of the stdlib malloc, calloc, and free functions that outperforms the library implementations, made for 15-213.
A tool made in Python designed to take a frame of an ultrasound scan and allow researchers to determine the velocity of blood through a blood vessel by clicking on it.
EduTalk is a centralized message board, calendar, and assignment software designed for schools. Earned 5th place at the Technology Student Association 2019 national conference in Software Development.
A Greek mythology-themed "Hunt the Wumpus" game made in Unity during my sophomore year of high school. The game won the runner-up award at an annual contest held at Microsoft.
StudyLink is a social media application to help students find nearby study groups that earned my team 4th place at the TSA National Conference in June 2018.