Project showcasing minimal width tree drawing (Reingold Tilford algorithm), CFG parsing (CYK algorithm), and lambda calculus compilation + single step evaluation