hoelzl/acl2
ACL2 System and Books as Maintained by the Community
Public GitHub Catalog
Discovered Sep 24, 2026
hoelzl / clojure-couchdb
Clojure library for Apache CouchDB. Forked from the-kenny to update for Clojure 1.2.
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.
#729754GitHub 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