Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ersatz

A monad for interfacing with external SAT solvers
Stars
61
License
other
Open Issues
23
Most Recent Commit
4 months ago
Programming Language
Haskell
Dependent Repos
48
Total Releases
27
Latest Release
September 18, 2023
Categories
Repo
Suggest An Alternative To ersatz
Popular Monad Projects
Language Ext ⭐ 6,022
C# functional language extensions - a base class library for functional programming
dependent packages 203total releases 454latest release October 21, 2023most recent commit 3 months agonuget LanguageExt.Core} Downloads
Arrow ⭐ 5,884
Λrrow - Functional companion to Kotlin's Standard Library
dependent packages 80total releases 240latest release September 05, 2023most recent commit 3 months ago
Fluture ⭐ 2,458
:butterfly: Fantasy Land compliant (monadic) alternative to Promises
dependent packages 227total releases 109latest release March 13, 2021most recent commit 4 months agonpm fluture} Downloads
Popular Sat Solver Projects
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 3 months ago
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Encoding
Monad
Sat Solver
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.