Phillip Mates's repositories
dalvik-abstract-interpreter
Abstract Interpreter for Dalvik bytecode
ecpp-aks-primality-proving
3 Primality Proving Implementations: ECPP, AKS, and a hybrid of the two
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
cps-from-stlc-to-sysf
Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
black-hole-analysis
A Coq model for STLC with black holes used for modular program analysis
fennel-on-norns
example of how to program Norns scripts in Fennel
textual-filter
Encode text as images, apply image filters, and decode back into new text
U-of-Utah-Honors-Thesis
LaTeX example for U of Utah's Undergraduate Honors Thesis