hoelzl/acl2
ACL2 System and Books as Maintained by the Community
Public GitHub Catalog
Discovered Sep 27, 2026
hoelzl / Programmable-Reinforcement-Learning
Reinforcement learning algorithms constrained by a partial program
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.
#10317378GitHub System ID
hoelzlOrganization / User
PublicVisibility
ActiveCatalog Status
More from hoelzl
hoelzl/CppQuickCheck
QuickCheck-like property based automated testing tool for C++
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