kosmikus/exhaustive
Compile time checks that a computation considers producing data through all possible constructors
Public GitHub Catalog
Discovered Oct 31, 2026
kosmikus / postgresql-simple-sop
Public repository discovered through GitHub real-time crawl.
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.
#44741803GitHub System ID
kosmikusOrganization / User
PublicVisibility
ActiveCatalog Status
More from kosmikus
kosmikus/cufp-gp-tutorial-2015
Introduction to Type-Level and Generic Programming in Haskell
kosmikus/SSGEP
Public repository.
kosmikus/servant
Main repository for the servant libraries. Web API combinators, with servers, clients and documentation