adarqui/haskell-src-exts-genericpretty
GenericPretty helpers/instances for the haskell-src-exts library
Public GitHub Catalog
Discovered Oct 14, 2026
adarqui / Haskell-Morte-Library
A bare-bones calculus-of-constructions
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.
#38599355GitHub System ID
adarquiOrganization / User
PublicVisibility
ActiveCatalog Status
More from adarqui
adarqui/coq-pipes
Public repository.
adarqui/acid-state
Add ACID guarantees to any serializable Haskell data structure
adarqui/monopoly
Public repository.