mgree/redex
Using QuickCheck for semantics---a lower-middle-class man's PLT Redex
Developer Profile
mgree
Discovered public repositories for mgree in the GitHub catalog.
mgree/tastetest
Public repository.
mgree/tmpl
Topic Modeling in Programming Languages
mgree/chronos
Android stopwatch application. Defunct---stopped caring when my phone died and I went back to a dumb phone.
mgree/modelview
Public repository.