UnkindPartition/prover
Simple lambda prover
Public GitHub Catalog
Discovered Oct 6, 2026
UnkindPartition / mysql
A lightweight Haskell binding to the C mysqlclient API
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.
#34115764GitHub System ID
UnkindPartitionOrganization / User
PublicVisibility
ActiveCatalog Status
More from UnkindPartition
UnkindPartition/lexer-applicative
Applicative lexer
UnkindPartition/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
UnkindPartition/immortal
Spawn threads that never die (unless told to do so)