mgree/redex
Using QuickCheck for semantics---a lower-middle-class man's PLT Redex
Public GitHub Catalog
Discovered Sep 24, 2026
mgree / modelview
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1554934GitHub System ID
mgreeOrganization / User
PublicVisibility
ActiveCatalog Status
More from mgree
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.