infinite-search
An implementation of Martin Escardo's exhaustively searchable sets in Haskell. (by luqui)
arithmoi
Number theory: primes, arithmetic functions, modular computations, special sequences (by Bodigrim)
| infinite-search | arithmoi | |
|---|---|---|
| - | 2 | |
| 6 | 145 | |
| - | - | |
| 0.0 | 6.5 | |
| over 15 years ago | 5 months ago | |
| Haskell | 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.
infinite-search
Posts with mentions or reviews of infinite-search.
We have used some of these posts to build our list of alternatives
and similar projects.
We haven't tracked posts mentioning infinite-search 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 infinite-search 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.
toysolver - My sandbox for experimenting with solver algorithms.
twentyseven - Rubik's cube solver in Haskell
epanet-haskell - Call the EPANET toolkit via Haskell's Foreign Function Interface
spacefill - Space-filling curves
edit-distance-vector - Calculate edit scripts and distances between Vectors.
Adaptive
lca - Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing
infinite-search vs incremental-sat-solver
arithmoi vs union-find
infinite-search vs toysolver
arithmoi vs incremental-sat-solver
infinite-search vs twentyseven
arithmoi vs epanet-haskell
infinite-search vs spacefill
arithmoi vs edit-distance-vector
infinite-search vs Adaptive
arithmoi vs spacefill
infinite-search vs lca
arithmoi vs twentyseven