hoelzl/acl2
ACL2 System and Books as Maintained by the Community
Public GitHub Catalog
Discovered Sep 25, 2026
hoelzl / LuaJIT
A clone of Mike Pall's LuaJIT repository at http://luajit.org/git/luajit-2.0.git
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.
#3394087GitHub 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