nushio3/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Virtual Haskell Environment builder
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
A load balancer that works on emacs Org mode.
Reference implementation of a structmsg parser in Haskell.
The Z3 Theorem Prover