davdar/umd-cmsc-631
repo for the class
Public GitHub Catalog
Discovered Oct 20, 2026
davdar / redex-workshop-2015-ott
observational type theory in redex
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.
#39801603GitHub 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