davdar/umd-cmsc-631
repo for the class
Public GitHub Catalog
Discovered Sep 30, 2026
davdar / stlc-to-cpsf-agda
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#19527304GitHub System ID
davdarOrganization / User
PublicVisibility
ActiveCatalog Status
More from davdar
davdar/parsing-with-derivatives-haskell
The original parsing with derivatives haskell implementation
davdar/dotfiles
my dot files
davdar/redex-workshop-2015-notes
notes from the 2015 redex workshop in SLC