Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Ersatz | 61 | 48 | 4 months ago | 27 | September 18, 2023 | 23 | other | Haskell | ||
A monad for interfacing with external SAT solvers | ||||||||||
Freer Church | 29 | 7 years ago | other | Haskell | ||||||
Church-encoding of the Freer monad | ||||||||||
Bitsparrow Rust | 12 | 1 | 7 years ago | 12 | February 24, 2017 | 1 | mit | Rust | ||
BitSparrow in Rust | ||||||||||
Yuuenchi | 5 | 5 years ago | other | Haskell | ||||||