hoelzl/acl2
ACL2 System and Books as Maintained by the Community
Public GitHub Catalog
Discovered Oct 7, 2026
hoelzl / CppQuickCheck
QuickCheck-like property based automated testing tool for C++
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.
#34397459GitHub System ID
hoelzlOrganization / User
PublicVisibility
ActiveCatalog Status
More from hoelzl
hoelzl/EpicSurvivalGameSeries
Third person survival game (tutorial) series for Unreal Engine 4.
hoelzl/Set-OSX-Env
Small script to set the GUI environment variables in OSX
hoelzl/Apex
New implementation of the ASCENS Pattern Explorer