dvanhorn/cmsc631-notes
Course notes
Public GitHub Catalog
Discovered Sep 25, 2026
dvanhorn / dpc
Designing Programs with Class
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.
#2903451GitHub 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