malie/haskell-picosat
Haskell bindings for PicoSAT solver
Public GitHub Catalog
Discovered Oct 31, 2026
malie / cudd_rust
CUDD bindings for Rust
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.
#43638206GitHub System ID
malieOrganization / User
PublicVisibility
ActiveCatalog Status
More from malie
malie/picologic
Logic expressions for PicoSAT solver
malie/ersatz
A monad for interfacing with external SAT solvers
malie/ad-neuro
Public repository.