# Packages tagged algorithms

118 packages have this tag.

[Merge tag] (trustees only)Related tags: library (114), bsd3 (77), program (20), mit (17), math (16), data-structures (12), data (9), data-mining (6), gpl (6), logic (6), number-theory (6), numerical (6), optimisation (6), optimization (6), bioinformatics (5), graphs (5), ai (4), machine-learning (4), algebra (3), statistics (3), animation (2), apache (2), clustering (2), formal-languages (2), game-engine (2), graphics (2), monads (2), numeric (2), pattern-classification (2), public-domain (2), text (2), theorem-provers (2), ats (1), combinatorics (1), compilers-interpreters (1), concurrency (1), constraints (1), deprecated (1), ffi (1), ...

Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|

ADPfusion | 560 | 0.0 | Efficient, high-level dynamic programming. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2019-10-01 | ChristianHoener |

ADPfusionSet | 43 | 0.0 | Dynamic programming for Set data structures. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2017-10-19 | ChristianHoener |

Adaptive | 56 | 0.0 | Library for incremental computing. | (algorithms, bsd3, library, program) | 2013-01-28 | DustinDeWeese, MagnusCarlsson, PeterJonsson |

AlanDeniseEricLauren | 51 | 0.0 | Find the minimal subset/submap satisfying some property. | (algorithms, bsd3, library) | 2016-08-24 | EchoNolan |

AlignmentAlgorithms | 96 | 0.0 | Collection of alignment algorithms | (algorithms, bioinformatics, data-structures, gpl, library, linguistics) | 2017-03-14 | ChristianHoener |

Binpack | 72 | 0.0 | Common bin-packing heuristics. | (algorithms, bsd3, heuristics, library) | 2014-02-07 | BjoernBrandenburg, DavidFeng |

DP | 43 | 0.0 | Pragmatic framework for dynamic programming | (algorithms, bsd3, library, math, natural-language-processing) | 2010-03-08 | SashaRush |

DecisionTree | 31 | 0.0 | A very simple implementation of decision trees for discrete attributes. | (algorithms, library, pattern-classification) | 2009-01-25 | AdrianNeumann |

Diff | 767 | 0.0 | O(ND) diff algorithm in haskell. | (algorithms, bsd3, library) | 2019-09-22 | DavidFox, SterlingClover |

DifferentialEvolution | 48 | 0.0 | Global optimization using Differential Evolution | (algorithms, library, mit, numerical, optimization) | 2011-03-11 | VilleTirronen |

DimensionalHash | 150 | 0.0 | An n-dimensional hash using Morton numbers. | (algorithms, bsd3, data, library) | 2011-05-10 | GhassenHamrouni |

GA | 59 | 0.0 | Genetic algorithm library | (ai, algorithms, bsd3, library, optimisation) | 2011-09-27 | KennethHoste |

GraphSCC | 122 | 0.0 | Tarjan's algorithm for computing the strongly connected components of a graph. | (algorithms, bsd3, library) | 2013-07-22 | IavorDiatchki |

Graphalyze | 549 | 0.0 | Graph-Theoretic Analysis library. | (algorithms, graphs, library) | 2017-05-03 | IvanMiljenovic |

HMM | 24 | 0.0 | A hidden markov model library | (algorithms, bsd3, data-mining, library, machine-learning) | 2012-03-25 | MikeIzbicki |

Hungarian-Munkres | 74 | 0.0 | A Linear Sum Assignment Problem (LSAP) solver | (algorithms, gpl, library) | 2014-10-08 | kaizhang |

KMP | 80 | 0.0 | Knuth–Morris–Pratt string searching algorithm | (algorithms, bsd3, library) | 2018-12-17 | CindyLinz |

LinearSplit | 61 | 0.0 | Partition the sequence of items to the subsequences in the order given | (algorithms, bsd3, library) | 2011-03-05 | VitaliyRukavishnikov |

ListTree | 86 | 0.0 | Trees and monadic trees expressed as monadic lists where the underlying monad is a list | (algorithms, bsd3, library) | 2016-12-26 | YairChuchem |

Munkres | 30 | 0.0 | Munkres' assignment algorithm (hungarian method) | (algorithms, bsd3, library) | 2008-12-07 | BalazsKomuves |

Munkres-simple | 33 | 0.0 | Simple and typesafe layer over the Munkres package. | (algorithms, bsd3, library) | 2014-09-13 | ScrambledEggs |

Numbers | 69 | 0.0 | An assortment of number theoretic functions | (algorithms, library, number-theory) | 2009-04-17 | AdrianNeumann |

PropLogic | 94 | 0.0 | Propositional Logic | (algorithms, bsd3, library, logic, program) | 2012-04-16 | DavidFox |

TrieMap | 416 | 0.0 | Automatic type inference of generalized tries with Template Haskell. | (algorithms, bsd3, library) | 2013-04-18 | LouisWasserman |

adp-multi | 111 | 0.0 | ADP for multiple context-free languages | (algorithms, bioinformatics, bsd3, data-structures, library) | 2013-05-29 | MaikRiechert |

adp-multi-monadiccp | 60 | 0.0 | Subword construction in adp-multi using monadiccp | (algorithms, bioinformatics, bsd3, data-structures, library) | 2013-05-29 | MaikRiechert |

aeson-diff | 231 | 0.0 | Extract and apply patches to JSON documents. | (algorithms, bsd3, json, library, program, web) | 2019-05-02 | ThomasSutton |

algebraic-graphs | 370 | 2.5 | A library for algebraic graph construction and transformation | (algebra, algorithms, data-structures, graphs, library, mit) | 2019-05-08 | snowleopard |

arithmoi | 831 | 2.0 | Efficient basic number-theoretic functions. | (algorithms, library, math, mit, number-theory) | 2019-10-20 | CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim |

binary-search | 150 | 0.0 | Binary and exponential searches | (algorithms, bsd3, library) | 2016-01-22 | RossPaterson, TakayukiMuranushi |

bordacount | 30 | 0.0 | Implementation of the Borda count election method. | (algorithms, bsd3, library) | 2017-09-01 | hverr |

build | 61 | 2.0 | Build systems a la carte | (algorithms, data-structures, library, mit) | 2018-07-06 | snowleopard |

cmaes | 139 | 0.0 | CMA-ES wrapper in Haskell | (algorithms, library, numerical, optimization) | 2015-09-10 | TakayukiMuranushi |

concorde | 30 | 0.0 | Simple interface to the Concorde solver for the Traveling Salesperson Problem | (algorithms, bsd3, library) | 2011-10-21 | KeeganMcAllister |

concurrent-sa | 49 | 0.0 | Concurrent simulated annealing system. | (algorithms, bsd3, concurrency, library) | 2010-04-07 | LouisWasserman |

cubicspline | 65 | 2.0 | Natural cubic spline interpolation. | (algorithms, bsd3, library, math) | 2015-10-18 | GershomBazerman |

dgim | 47 | 0.0 | Implementation of DGIM algorithm | (algorithms, data, library, mit) | 2015-04-04 | musically_ut |

dom-lt | 145 | 0.0 | The Lengauer-Tarjan graph dominators algorithm. | (algorithms, bsd3, graphs, library) | 2019-03-19 | MattMorrow, AndreasK |

dtw | 94 | 0.0 | (Fast) Dynamic Time Warping | (algorithms, data-mining, library, machine-learning, mit) | 2016-07-21 | fho |

edit-distance | 477 | 0.0 | Levenshtein and restricted Damerau-Levenshtein edit distances | (algorithms, bsd3, library) | 2015-07-12 | MaxBolingbroke, phadej |

edit-distance-vector | 124 | 0.0 | Calculate edit distances and edit scripts between vectors. | (algorithms, bsd3, data, data-structures, library) | 2016-05-24 | ThomasSutton |

eigen | 516 | 1.5 | Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). | (algebra, algorithms, bsd3, data, library, math, numeric, statistics) | 2018-12-11 | OlegSidorkin, chessai |

epanet-haskell | 79 | 0.0 | Haskell binding for EPANET | (algorithms, gpl, hydraulics, library) | 2013-12-16 | psibi |

equivalence | 437 | 0.0 | Maintaining an equivalence relation implemented as union-find using STT. | (algorithms, bsd3, data, library) | 2019-09-09 | PatrickBahr |

ersatz | 368 | 2.0 | A monad for expressing SAT or QSAT problems using observable sharing. | (algorithms, bsd3, library, logic) | 2019-06-01 | EdwardKmett, EricMertens, ryanglscott |

ersatz-toysat | 63 | 0.0 | toysat driver as backend for ersatz | (algorithms, bsd3, library, logic) | 2017-10-02 | MasahiroSakai |

exact-cover | 40 | 0.0 | Efficient exact cover solver. | (algorithms, bsd3, library, math) | 2017-04-22 | arthur |

fast-arithmetic | 1629 | 2.0 | Fast functions on integers. | (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics) | 2019-10-12 | vmchale |

fibonacci | 42 | 0.0 | Fast computation of Fibonacci numbers. | (algorithms, bsd3, library, numerical) | 2010-12-18 | SebastianFischer |

funsat | 127 | 0.0 | A modern DPLL-style SAT solver | (algorithms, bsd3, library, program) | 2011-02-27 | DenisBueno |

garsia-wachs | 64 | 0.0 | A Functional Implementation of the Garsia-Wachs Algorithm | (algorithms, bsd3, library) | 2008-09-23 | NicolasPouillard |

genprog | 63 | 0.0 | Genetic programming library | (ai, algorithms, bsd3, library, optimisation) | 2013-08-31 | JanSnajder |

graph-generators | 94 | 2.0 | Functions for generating structured or random FGL graphs | (algorithms, apache, graphs, library, program) | 2018-06-08 | ulikoehler |

graphs | 305 | 0.0 | A simple monadic graph library | (algorithms, bsd3, data-structures, graphs, library) | 2018-02-24 | EdwardKmett, ryanglscott |

gutenberg-fibonaccis | 122 | 0.0 | The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. | (algorithms, gpl, library, math, numeric, numerical) | 2012-09-09 | JustinHanekom |

heapsort | 29 | 0.0 | Heapsort of MArrays as a demo of imperative programming | (algorithms, bsd3, library, program) | 2010-08-04 | BartonMassey |

hgal | 68 | 0.0 | library for computation automorphism group and canonical labelling of a graph | (algorithms, data-structures, library) | 2013-06-23 | JeanPhilippeBernardy |

hlcm | 39 | 0.0 | Fast algorithm for mining closed frequent itemsets | (algorithms, bsd3, data-mining, library, program) | 2010-06-16 | AlexandreTermier |

hmm | 70 | 0.0 | A hidden markov model library | (algorithms, bsd3, data-mining, library, machine-learning) | 2012-03-26 | MaxRabkin, MikeIzbicki |

hps-kmeans | 25 | 0.0 | A nice implementation of the k-Means algorithm. | (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics) | 2012-07-10 | RodrigoGadea |

htn | 24 | 0.0 | resolver using htn algorithm | (algorithms, bsd3, library) | 2016-11-25 | uj |

imj-animation | 26 | 2.0 | Animation Framework | (algorithms, animation, bsd3, game-engine, graphics, library) | 2018-01-01 | OlivierSohn |

imj-base | 21 | 2.0 | Game engine with geometry, easing, animated text, delta rendering. | (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface) | 2018-01-01 | OlivierSohn |

incremental-sat-solver | 137 | 0.0 | Simple, Incremental SAT Solving as a Library | (algorithms, bsd3, library) | 2016-08-31 | SebastianFischer |

infinite-search | 51 | 0.0 | Exhaustively searchable infinite sets. | (algorithms, bsd3, data, library, monads, search) | 2009-01-09 | LukePalmer |

integer-logarithms | 619 | 0.0 | Integer logarithms. | (algorithms, library, math, mit, number-theory) | 2019-04-16 | phadej |

iproute | 763 | 0.0 | IP Routing Table | (algorithms, bsd3, library, network) | 2018-12-11 | KazuYamamoto |

kmeans | 68 | 2.0 | K-means clustering algorithm | (algorithms, bsd3, clustering, data-mining, library) | 2015-03-22 | GershomBazerman, MaxRabkin |

kmp-dfa | 39 | 0.0 | KMP algorithm implementation, based on Deterministic Finite State Automata | (algorithms, bsd3, library) | 2017-06-18 | PaoloVeronelli |

lca | 132 | 2.0 | O(log n) persistent online lowest common ancestor search without preprocessing | (algorithms, bsd3, data-structures, library) | 2018-02-07 | EdwardKmett, ryanglscott |

learning-hmm | 202 | 0.0 | Yet another library for hidden Markov models | (algorithms, library, machine-learning, mit, statistics) | 2015-04-05 | mnacamura |

libgraph | 186 | 0.0 | Store and manipulate data in a graph. | (algorithms, bsd3, data-structures, library) | 2017-09-03 | faddegon |

majority | 29 | 0.0 | Boyer-Moore Majority Vote Algorithm | (algorithms, library, public-domain) | 2011-07-18 | NisWegmann |

markov-chain | 126 | 0.0 | Markov Chains for generating random sequences with a user definable behaviour. | (algorithms, library) | 2016-07-14 | HenningThielemann |

maximal-cliques | 36 | 2.0 | Enumerate all maximal cliques of a graph. | (algorithms, bsd3, library) | 2015-03-22 | GershomBazerman |

mdp | 34 | 0.0 | Tools for solving Markov Decision Processes. | (algorithms, library, math, mit, program) | 2016-11-29 | prsteele |

moo | 37 | 2.0 | Genetic algorithm library | (ai, algorithms, bsd3, library, optimisation, optimization) | 2018-11-13 | SergeyAstanin |

natural-sort | 65 | 2.0 | User-friendly text collation | (algorithms, bsd3, library) | 2012-08-07 | JohnMillikin |

nonlinear-optimization-ad | 65 | 0.0 | Wrapper of nonlinear-optimization package for using with AD package | (algorithms, gpl, library, math, optimisation, optimization) | 2016-05-26 | MasahiroSakai |

outsort | 36 | 0.0 | External sorting package based on Conduit | (algorithms, mit, program) | 2019-07-11 | luispedro |

palindromes | 167 | 0.0 | Finding palindromes in strings | (algorithms, bsd3, library, program) | 2012-12-28 | JohanJeuring |

patience | 170 | 0.0 | Patience diff and longest increasing subsequence | (algorithms, bsd3, library, text) | 2019-07-29 | KeeganMcAllister, chessai |

pell | 42 | 0.0 | Package to solve the Generalized Pell Equation. | (algorithms, library, math, mit, number-theory) | 2016-12-28 | lbrunjes |

pqueue-mtl (deprecated in favor of queuelike) | 114 | 0.0 | Fully encapsulated monad transformers with queuelike functionality. | (algorithms, bsd3, deprecated, library, monads) | 2009-03-13 | LouisWasserman |

presburger | 124 | 0.0 | A decision procedure for quantifier-free linear arithmetic. | (algorithms, bsd3, library) | 2015-03-24 | IavorDiatchki |

primes | 189 | 2.0 | Efficient, purely functional generation of prime numbers | (algorithms, bsd3, library, numerical) | 2011-04-29 | SebastianFischer |

primes-type | 62 | 0.0 | Type-safe prime numbers. | (algorithms, library, numerical) | 2017-10-09 | kindaro |

primesieve | 26 | 0.0 | FFI bindings for the primesieve library. | (algorithms, foreign, library, math, mit, number-theory, program) | 2017-09-08 | sighingnow |

pure-shuffle | 43 | 0.0 | (algorithms, apache, library) | 2018-11-16 | igrep | |

qchas | 40 | 2.0 | A library for implementing Quantum Algorithms | (algorithms, bsd3, library, program) | 2018-07-29 | 23ars |

quadratic-irrational | 98 | 0.0 | An implementation of quadratic irrationals | (algorithms, data, library, math, mit) | 2019-04-26 | ion, Bodigrim |

queuelike | 143 | 0.0 | A library of queuelike data structures, both functional and stateful. | (algorithms, bsd3, library) | 2009-04-25 | LouisWasserman |

rangemin | 279 | 0.0 | Linear range-min algorithms. | (algorithms, bsd3, library) | 2010-05-31 | LouisWasserman |

raz | 26 | 0.0 | Random Access Zippers | (algorithms, library, mit) | 2016-09-18 | lyxia |

rspp | 40 | 0.0 | A Rational Street Performer Protocol solver | (algorithms, library, mit) | 2015-08-23 | AlexChapman |

sat | 58 | 0.0 | CNF SATisfier | (algorithms, program) | 2007-11-22 | AndriiZvorygin |

sat-micro-hs | 38 | 0.0 | A minimal SAT solver | (algorithms, program) | 2008-02-27 | DenisBueno |

satchmo-backends | 82 | 0.0 | driver for external satchmo backends | (algorithms, library) | 2011-06-24 | JohannesWaldmann |

satchmo-examples | 67 | 0.0 | examples that show how to use satchmo | (algorithms, program) | 2011-01-12 | JohannesWaldmann |

satchmo-funsat | 35 | 0.0 | funsat driver as backend for satchmo | (algorithms, library) | 2009-04-21 | JohannesWaldmann |

satchmo-toysat | 43 | 0.0 | toysat driver as backend for satchmo | (algorithms, bsd3, library, logic) | 2015-05-31 | MasahiroSakai |

seqalign | 36 | 0.0 | Sequence Alignment | (algorithms, bsd3, library) | 2015-07-03 | rcallahan |

set-cover | 176 | 0.0 | Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube | (algorithms, bsd3, library, math) | 2019-08-31 | HenningThielemann |

smartGroup | 77 | 0.0 | group strings or bytestrings by words in common | (algorithms, bsd3, library) | 2011-02-19 | SamAnklesaria |

spacefill | 25 | 0.0 | Generators for space-filling curves. | (algorithms, library, public-domain) | 2015-01-10 | knz |

stable-marriage | 52 | 0.0 | algorithms around stable marriage | (algorithms, bsd3, library) | 2016-11-18 | KatsutoshiItoh |

strips | 28 | 0.0 | resolver using strips algorithm | (algorithms, bsd3, library) | 2016-11-14 | uj |

svm-simple | 101 | 0.0 | Medium level, simplified, bindings to libsvm | (ai, algorithms, bsd3, library, pattern-classification, support-vector-machine) | 2012-07-18 | VilleTirronen |

teams | 63 | 0.0 | Graphical modeling tools for sequential teams | (algorithms, library, stochastic-control) | 2009-10-05 | AdityaMahajan |

text-metrics | 168 | 0.0 | Calculate various string metrics efficiently | (algorithms, bsd3, library, text) | 2017-06-13 | mrkkrp |

toysolver | 434 | 0.0 | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc | (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers) | 2019-10-04 | MasahiroSakai |

tsne | 74 | 0.0 | t-SNE | (algorithms, library, program) | 2017-03-11 | robagar |

twentyseven | 26 | 0.0 | Rubik's cube solver | (algorithms, library, mit, program) | 2016-03-16 | lyxia |

unification-fd | 179 | 2.0 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2015-05-30 | WrenThornton |

union-find | 54 | 0.0 | Efficient union and equivalence testing of sets. | (algorithms, bsd3, data, library) | 2012-06-23 | ThomasSchilling |

union-find-array | 58 | 0.0 | union find data structure | (algorithms, data, library, mit) | 2015-04-10 | BertramFelgenhauer, MartinAvanzini |

wordsearch | 40 | 0.0 | A word search solver library and executable | (algorithms, bsd3, library, program) | 2010-10-01 | ByronJohnson |

yices-easy | 26 | 0.0 | Simple interface to the Yices SMT (SAT modulo theories) solver. | (algorithms, bsd3, library, math, theorem-provers) | 2010-09-29 | KeeganMcAllister |