airbornemihir/acl2
ACL2 System and Books as Maintained by the Community
Public GitHub Catalog
Discovered Sep 29, 2026
airbornemihir / uppaal-dbm
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.
#16664346GitHub System ID
airbornemihirOrganization / User
PublicVisibility
ActiveCatalog Status
More from airbornemihir
airbornemihir/cv
Mihir Mehta's CV.
airbornemihir/rellog_pres
Presentation focussing on relational logic and applications.
airbornemihir/recursive-iterative
Public repository.