Projects

C0 Compiler

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

Velox is an open-source vectorized database acceleration library that I contributed to during my time at Meta. GitHub

Proxy Server

A proxy server made for CMU's 15-213 class that supports multithreading and caches recent results.

Dynamic Memory Allocator

My own implementation of the stdlib malloc, calloc, and free functions that outperforms the library implementations, made for 15-213.

Blood Vessel Velocity Tool

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

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.

Hunt the Minotaur

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

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.