bitonic/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Public GitHub Catalog
Discovered Sep 26, 2026
bitonic / cpdt-agda
Partial translation of http://adam.chlipala.net/cpdt/ in Agda
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.
#7842265GitHub System ID
bitonicOrganization / User
PublicVisibility
ActiveCatalog Status
More from bitonic
bitonic/language-c-quote
Public repository.
bitonic/hoogle-index
Easily generate Hoogle indices for installed packages
bitonic/hoogle
Haskell API search engine