kosmikus/exhaustive
Compile time checks that a computation considers producing data through all possible constructors
Public GitHub Catalog
Discovered Oct 2, 2026
kosmikus / regensburg-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.
#24730428GitHub System ID
kosmikusOrganization / User
PublicVisibility
ActiveCatalog Status
More from kosmikus
kosmikus/postgresql-simple-sop
Public repository.
kosmikus/cufp-gp-tutorial-2015
Introduction to Type-Level and Generic Programming in Haskell
kosmikus/SSGEP
Public repository.