Explore projects

Fork of Matt Russell's Gradescope autograder.

cs15 lab06

Code for my bachelor thesis

Arduino library code for various sensors

JetPack costume code

Arduino/NeoPixel clock

Proto VM for JML... presently the taget for uscheme compilation

sml nanopass framework with type inference draft

A copy of sniper from 11/1/19 with modifications/additions