domdere/contrapplicative
A form of Applicative for Contravariant Functors [Haskell]
Public GitHub Catalog
Discovered Oct 2, 2026
domdere / category-theory
A formalization of category theory in Coq for personal study
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.
#22905856GitHub System ID
domdereOrganization / User
PublicVisibility
ActiveCatalog Status
More from domdere
domdere/data-filepath-lens
Lenses for data-filepath [Haskell]
domdere/optparse-applicative
Applicative option parser
domdere/cassava-conduit
Conduit interface for cassava [Haskell]