Explore projects

Machine verified implementation of 2.5 PC

Heavily influenced by IronFleet and the lock protocol found here: https://github.com/GLaDOS-Michigan/CodeLab-ToyLock

206 final portfolio

24 Points project just for fun.

bracket analyzer