kosmikus/exhaustive
Compile time checks that a computation considers producing data through all possible constructors
Public GitHub Catalog
Discovered Nov 2, 2026
kosmikus / thentos
A tool for privacy-preserving identity management (PPIM)
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.
#49484825GitHub 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.