As part of my final year undergraduate Capstone project, I developed a block-based structured editor for the Coq Proof Assistant.
Automatic Suite Allocation Program (ASAP)
As a Student Associate at my college, I devised a program using Python to automatically allocate over 250 students to rooms according to their demographics and living preferences, saving weeks of manual labour.
I added functionality and improved the design of a data visualisation program (https://go-cart.io) using C. The program generates cartograms, which are maps that are distorted in order for the area of a boundary to represent a certain statistic (e.g. population). I also removed bottlenecks which increased the speed of the program by up to 70%.
Price-Setting for Second-hand Books
As one of the earliest tech employees at Thryft (a second-hand online bookstore startup), I developed an algorithm using Python to automatically set the prices of second-hand books, removing the tedious process of deciding prices by hand.