Fork of Matt Russell's Gradescope autograder.
JetPack costume code
Code for EE-14 Lab 5 Project
sml nanopass framework with type inference draft
Proto VM for JML... presently the taget for uscheme compilation
Code for my bachelor thesis
Arduino library code for various sensors
A copy of sniper from 11/1/19 with modifications/additions