Explore projects

Arduino/NeoPixel clock

Fork of Matt Russell's Gradescope autograder.

JetPack costume code

cs15 lab06

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