UnkindPartition/prover
Simple lambda prover
ANSI terminal support for Haskell, with Windows compatibility
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Simple lambda prover
A lightweight Haskell binding to the C mysqlclient API
Applicative lexer
"Stable Hackage," tools for creating a vetted set of packages from Hackage.