averyli290

ADS-A-Implementations

Implementations of Advanced Data Structures and Algorithms from a course offered at Proof School in the year 2021-2022..

jiggajiggaAI

nand2tetris

This repository is a log of what I have done in the process of working on the nand2tetris class, however, it does not contain solutions at the request of the creators of the class.

tiny-basic

An implementation of Tiny Basic

tSCIP_proof

This repository is a compilation of programs that I created throughout a class called the Structure and Interpretations of Computer Programs (tSICP for short) using the wizard book in the year of 2019-2020. This course was based on the MIT SICP course. A design document for my version of Lisp can be found at https://docs.google.com/document/d/1-NqOPFporPB3as0gf3LwGCobLN2vHsDBzWOPmVGxFUM/edit?usp=sharing