Daniel Patterson's repositories
howtoproveacompiler
Writeup that goes along with this:
howtoprovefullabstraction
Writeup that goes along with this:
gradescope-racket
Infrastructure to autograde Racket code on Gradescope
bottlenose
CS assignment / grade mangement system
icfp2019-papers
ICFP 2019 preprints/papers
learnyouahaskell.github.io
A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
logic_and_proof
CMU Undergrad Course
pyret-lang
The Pyret language.
WasmCert-Coq
An in-progress mechanisation of Wasm in Coq