funsat
An efficient, embeddable DPLL SAT solver in Haskell (by dbueno)
arithmoi
Number theory: primes, arithmetic functions, modular computations, special sequences (by Bodigrim)
Our great sponsors
funsat | arithmoi | |
---|---|---|
- | 2 | |
35 | 146 | |
- | - | |
0.0 | 6.5 | |
almost 9 years ago | 4 months ago | |
Groff | Haskell | |
BSD 3-clause "New" or "Revised" License | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
funsat
Posts with mentions or reviews of funsat.
We have used some of these posts to build our list of alternatives
and similar projects.
We haven't tracked posts mentioning funsat yet.
Tracking mentions began in Dec 2020.
arithmoi
Posts with mentions or reviews of arithmoi.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Will there be new 2022 apparel in the shop?
Never has a Haskell solution felt more like Python (shoutout to arithmoi).
-
Haskell and Project Euler
I used Haskell, and I recommend you take a look at https://hackage.haskell.org/package/arithmoi
What are some alternatives?
When comparing funsat and arithmoi you can also consider the following projects:
incremental-sat-solver - Simple, Incremental SAT Solving as a Haskell Library
union-find - Efficient union and equivalence testing of sets.
graph-generators - A Haskell library for creating random Data.Graph instances using several pop
twentyseven - Rubik's cube solver in Haskell
epanet-haskell - Call the EPANET toolkit via Haskell's Foreign Function Interface
Ritt-Wu
edit-distance-vector - Calculate edit scripts and distances between Vectors.
build - Build Systems à la Carte
binary-search - Binary and exponential searches
spacefill - Space-filling curves
funsat vs incremental-sat-solver
arithmoi vs union-find
funsat vs graph-generators
arithmoi vs incremental-sat-solver
funsat vs twentyseven
arithmoi vs epanet-haskell
funsat vs Ritt-Wu
arithmoi vs edit-distance-vector
funsat vs build
arithmoi vs twentyseven
funsat vs binary-search
arithmoi vs spacefill