Popularity
8.2
Stable
Activity
0.0
Stable
35
9
8
Monthly Downloads: 5
Programming language: Groff
License: BSD 3-clause "New" or "Revised" License
Tags:
Algorithms
funsat alternatives and similar packages
Based on the "Algorithms" category.
Alternatively, view funsat alternatives based on common mentions on social networks and blogs.
-
arithmoi
Number theory: primes, arithmetic functions, modular computations, special sequences -
search-algorithms
Haskell library containing common graph search algorithms -
imj-animation
Monorepo for a multi-player game engine, and game examples -
lca
Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing -
integer-logarithms
Integer logarithms, originally split from arithmoi package -
treeviz
Haskell library for visualizing algorithmic decomposition of computations. -
incremental-sat-solver
Simple, Incremental SAT Solving as a Haskell Library -
infinite-search
An implementation of Martin Escardo's exhaustively searchable sets in Haskell. -
nonlinear-optimization-ad
Several Haskell packages for numerical optimizations. -
primesieve
A collection of packages related to math, algorithms and science, in Haskell. -
graph-generators
A Haskell library for creating random Data.Graph instances using several pop -
edit-distance-vector
Calculate edit scripts and distances between Vectors. -
edit-distance-linear
Levenshtein edit distance in linear memory (also turns out to be faster than C++) -
dgim
:chart_with_upwards_trend: Implementation of the DGIM algorithm in Haskell. -
epanet-haskell
Call the EPANET toolkit via Haskell's Foreign Function Interface -
MIP
Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
Promo
www.influxdata.com
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.
Do you think we are missing an alternative of funsat or a related project?