adarqui/coq-pipes
Public repository.
GenericPretty helpers/instances for the haskell-src-exts library
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Public repository.
Add ACID guarantees to any serializable Haskell data structure
Public repository.
A bare-bones calculus-of-constructions