dvanhorn/cmsc631-notes
Course notes
Public GitHub Catalog
Discovered Sep 24, 2026
dvanhorn / backgammon
Rackgammon: Backgammon for Racket
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.
#1704337GitHub System ID
dvanhornOrganization / User
PublicVisibility
ActiveCatalog Status
More from dvanhorn
dvanhorn/cmsc631-www
Web page for UMD CMSC631
dvanhorn/popl-events
Web page for POPL events
dvanhorn/eqil
Interpreter and Abstract Interpreter for Coq Intermediate language