Packages tagged algorithms

127 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (123), bsd3 (82), math (20), program (20), mit (17), data-structures (12), data (9), optimisation (9), gpl (8), optimization (8), logic (7), number-theory (7), bioinformatics (5), data-mining (5), graphs (5), numerical (5), ai (4), apache (4), machine-learning (4), algebra (3), statistics (3), animation (2), clustering (2), compilers-interpreters (2), formal-languages (2), game-engine (2), graphics (2), language (2), monads (2), numeric (2), pattern-classification (2), public-domain (2), text (2), theorem-provers (2), unification (2), ats (1), combinatorics (1), concurrency (1), constraints (1), data-mining----------- (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
ADPfusion1580.0Efficient, high-level dynamic programming. (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library)2019-10-01ChristianHoener
ADPfusionSet190.0Dynamic programming for Set data structures. (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library)2017-10-19ChristianHoener
Adaptive200.0Library for incremental computing. (algorithms, bsd3, library, program)2013-01-28DustinDeWeese, MagnusCarlsson, PeterJonsson
AlanDeniseEricLauren120.0Find the minimal subset/submap satisfying some property. (algorithms, bsd3, library)2016-08-24EchoNolan
AlignmentAlgorithms310.0Collection of alignment algorithms (algorithms, bioinformatics, data-structures, gpl, library, linguistics)2017-03-14ChristianHoener
Binpack230.0Common bin-packing heuristics. (algorithms, bsd3, heuristics, library)2014-02-07BjoernBrandenburg, DavidFeng
DP50.0Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-08SashaRush
DecisionTree70.0A very simple implementation of decision trees for discrete attributes. (algorithms, library, pattern-classification)2009-01-25AdrianNeumann
Diff7220.0O(ND) diff algorithm in haskell. (algorithms, bsd3, library)2019-09-22DavidFox, SterlingClover
DimensionalHash250.0An n-dimensional hash using Morton numbers. (algorithms, bsd3, data, library)2011-05-10GhassenHamrouni
GA80.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation)2011-09-27KennethHoste
GraphSCC1410.0Tarjan's algorithm for computing the strongly connected components of a graph. (algorithms, bsd3, library)2013-07-22IavorDiatchki
Graphalyze1030.0Graph-Theoretic Analysis library. (algorithms, graphs, library)2017-05-03IvanMiljenovic
HMM30.0A hidden markov model library (algorithms, bsd3, data-mining, library, machine-learning)2012-03-25MikeIzbicki
Hungarian-Munkres340.0A Linear Sum Assignment Problem (LSAP) solver (algorithms, gpl, library)2014-10-08kaizhang
KMP210.0Knuth–Morris–Pratt string searching algorithm (algorithms, bsd3, library)2018-12-17CindyLinz
LinearSplit120.0Partition the sequence of items to the subsequences in the order given (algorithms, bsd3, library)2011-03-05VitaliyRukavishnikov
ListTree280.0Trees and monadic trees expressed as monadic lists where the underlying monad is a list (algorithms, bsd3, library)2016-12-26YairChuchem
MIP710.0Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2020-12-26MasahiroSakai
MIP-glpk80.0A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-26MasahiroSakai
Munkres100.0Munkres' assignment algorithm (hungarian method) (algorithms, bsd3, library)2008-12-07BalazsKomuves
Munkres-simple90.0Simple and typesafe layer over the Munkres package. (algorithms, bsd3, library)2014-09-13ScrambledEggs
Numbers250.0An assortment of number theoretic functions (algorithms, library, number-theory)2009-04-17AdrianNeumann
PropLogic260.0Propositional Logic (algorithms, bsd3, library, logic, program)2012-04-16DavidFox
TrieMap1050.0Automatic type inference of generalized tries with Template Haskell. (algorithms, bsd3, library)2013-04-18LouisWasserman
adp-multi310.0ADP for multiple context-free languages (algorithms, bioinformatics, bsd3, data-structures, library)2013-05-29MaikRiechert
adp-multi-monadiccp140.0Subword construction in adp-multi using monadiccp (algorithms, bioinformatics, bsd3, data-structures, library)2013-05-29MaikRiechert
aeson-diff1612.0Extract and apply patches to JSON documents. (algorithms, bsd3, json, library, program, web)2020-05-22ThomasSutton
algebraic-graphs5572.5A library for algebraic graph construction and transformation (algebra, algorithms, data-structures, graphs, library, mit)2020-02-02snowleopard
arithmoi2062.0Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2021-09-06CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
batching30.0An Applicative Functor deferring actions to run in a batch later. (algorithms, apache, library)2021-09-09AndrewPritchard
binary-search1170.0Binary and exponential searches (algorithms, bsd3, library)2021-02-22RossPaterson, TakayukiMuranushi, Jappie
bordacount80.0Implementation of the Borda count election method. (algorithms, bsd3, library)2017-09-01hverr
build252.0Build systems a la carte (algorithms, data-structures, library, mit)2018-07-06snowleopard
cmaes350.0CMA-ES wrapper in Haskell (algorithms, library, numerical, optimization)2020-10-10DominicSteinitz, TakayukiMuranushi
collate30.0An Applicative Functor for extracting parts of a stream of values (algorithms, apache, library)2021-09-09AndrewPritchard
concorde60.0Simple interface to the Concorde solver for the Traveling Salesperson Problem (algorithms, bsd3, library)2011-10-21KeeganMcAllister
concurrent-sa100.0Concurrent simulated annealing system. (algorithms, bsd3, concurrency, library)2010-04-07LouisWasserman
cubicspline132.0Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-18GershomBazerman
dgim70.0Implementation of DGIM algorithm (algorithms, data, library, mit)2015-04-04musically_ut
dom-lt3450.0The Lengauer-Tarjan graph dominators algorithm. (algorithms, bsd3, graphs, library)2021-01-28MattMorrow, AndreasK
dtw190.0(Fast) Dynamic Time Warping (algorithms, data-mining, library, machine-learning, mit)2016-07-21fho
edit-distance4170.0Levenshtein and restricted Damerau-Levenshtein edit distances (algorithms, bsd3, library)2015-07-12MaxBolingbroke, phadej
edit-distance-linear100.0Efficient implementation of the Levenshtein edit distance in linear memory. (algorithms, bsd3, library)2019-12-080xd34df00d
edit-distance-vector1000.0Calculate edit distances and edit scripts between vectors. (algorithms, bsd3, data, data-structures, library)2016-05-24ThomasSutton
eigen1031.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-11OlegSidorkin, chessai
epanet-haskell160.0Haskell binding for EPANET (algorithms, gpl, hydraulics, library)2013-12-16psibi
equivalence3430.0Maintaining an equivalence relation implemented as union-find using STT. (algorithms, bsd3, data, library)2019-09-09PatrickBahr
ersatz962.0A monad for expressing SAT or QSAT problems using observable sharing. (algorithms, bsd3, library, logic)2021-02-18EdwardKmett, EricMertens, ryanglscott
ersatz-toysat130.0toysat driver as backend for ersatz (algorithms, bsd3, library, logic)2017-10-02MasahiroSakai
exact-cover70.0Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-22arthur
fast-arithmetic2492.0Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2020-12-26vmchale
fibonacci170.0Fast computation of Fibonacci numbers. (algorithms, bsd3, library, numerical)2010-12-18SebastianFischer
funsat240.0A modern DPLL-style SAT solver (algorithms, bsd3, library, program)2011-02-27DenisBueno
garsia-wachs120.0A Functional Implementation of the Garsia-Wachs Algorithm (algorithms, bsd3, library)2008-09-23NicolasPouillard
genprog190.0Genetic programming library (ai, algorithms, bsd3, library, optimisation)2013-08-31JanSnajder
graph-generators152.0Functions for generating structured or random FGL graphs (algorithms, apache, graphs, library, program)2018-06-08ulikoehler
graphs380.0A simple monadic graph library (algorithms, bsd3, data-structures, graphs, library)2018-02-24EdwardKmett, ryanglscott
gutenberg-fibonaccis200.0The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-09JustinHanekom
heapsort70.0Heapsort of MArrays as a demo of imperative programming (algorithms, bsd3, library, program)2010-08-04BartonMassey
hgal70.0library for computation automorphism group and canonical labelling of a graph (algorithms, data-structures, library)2013-06-23JeanPhilippeBernardy
hlcm30.0Fast algorithm for mining closed frequent itemsets (algorithms, bsd3, data-mining-----------, library, program)2010-06-16AlexandreTermier
hmm130.0A hidden markov model library (algorithms, bsd3, data-mining, library, machine-learning)2012-03-26MaxRabkin, MikeIzbicki
hps-kmeans90.0A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-10RodrigoGadea
htn50.0resolver using htn algorithm (algorithms, bsd3, library)2016-11-25uj
hypertypes100.0Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-06-23YairChuchem
imj-animation112.0Animation Framework (algorithms, animation, bsd3, game-engine, graphics, library)2018-01-01OlivierSohn
imj-base72.0Game engine with geometry, easing, animated text, delta rendering. (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface)2018-01-01OlivierSohn
incremental-sat-solver290.0Simple, Incremental SAT Solving as a Library (algorithms, bsd3, library)2016-08-31SebastianFischer
infinite-search70.0Exhaustively searchable infinite sets. (algorithms, bsd3, data, library, monads, search)2009-01-09LukePalmer
integer-logarithms13310.0Integer logarithms. (algorithms, library, math, mit, number-theory)2020-11-01phadej
integer-roots820.0Integer roots and perfect powers (algorithms, library, math, mit, number-theory)2021-08-23Bodigrim
iproute13260.0IP Routing Table (algorithms, bsd3, library, network)2021-03-11KazuYamamoto
kmeans132.0K-means clustering algorithm (algorithms, bsd3, clustering, data-mining, library)2015-03-22GershomBazerman, MaxRabkin
kmp-dfa80.0KMP algorithm implementation, based on Deterministic Finite State Automata (algorithms, bsd3, library)2017-06-18PaoloVeronelli
lca152.0O(log n) persistent online lowest common ancestor search without preprocessing (algorithms, bsd3, data-structures, library)2021-02-17EdwardKmett, ryanglscott
learning-hmm310.0Yet another library for hidden Markov models (algorithms, library, machine-learning, mit, statistics)2015-04-05mnacamura
libgraph560.0Store and manipulate data in a graph. (algorithms, bsd3, data-structures, library)2017-09-03faddegon
majority80.0Boyer-Moore Majority Vote Algorithm (algorithms, library, public-domain)2011-07-18NisWegmann
markov-chain510.0Markov Chains for generating random sequences with a user definable behaviour. (algorithms, library)2016-07-14HenningThielemann
maximal-cliques132.0Enumerate all maximal cliques of a graph. (algorithms, bsd3, library)2015-03-22GershomBazerman
mdp110.0Tools for solving Markov Decision Processes. (algorithms, library, math, mit, program)2016-11-29prsteele
moo4942.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2018-11-13SergeyAstanin
natural-sort192.0User-friendly text collation (algorithms, bsd3, library)2012-08-07JohnMillikin
nonlinear-optimization-ad150.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
nonlinear-optimization-backprop50.0Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
outsort40.0External sorting package based on Conduit (algorithms, mit, program)2019-07-11luispedro
palindromes270.0Finding palindromes in strings (algorithms, bsd3, library, program)2012-12-28JohanJeuring
patience810.0Patience diff and longest increasing subsequence (algorithms, bsd3, library, text)2019-07-29KeeganMcAllister, chessai
pell80.0Package to solve the Generalized Pell Equation. (algorithms, library, math, mit, number-theory)2019-11-12lbrunjes
pqueue-mtl (deprecated in favor of queuelike)200.0Fully encapsulated monad transformers with queuelike functionality. (algorithms, bsd3, deprecated, library, monads)2009-03-13LouisWasserman
presburger530.0A decision procedure for quantifier-free linear arithmetic. (algorithms, bsd3, library)2015-03-24IavorDiatchki
primal132.0Primeval world of Haskell. (algorithms, bsd3, library)2021-01-22lehins
primal-memory102.0Unified interface for memory managemenet. (algorithms, bsd3, library)2021-01-22lehins
primes2862.0Efficient, purely functional generation of prime numbers (algorithms, bsd3, library, numerical)2011-04-29SebastianFischer
primes-type90.0Type-safe prime numbers. (algorithms, library, numerical)2017-10-09kindaro
primesieve90.0FFI bindings for the primesieve library. (algorithms, foreign, library, math, mit, number-theory, program)2017-09-08sighingnow
pure-shuffle90.0 (algorithms, apache, library)2018-11-16igrep
qchas182.0A library for implementing Quantum Algorithms (algorithms, bsd3, library, program)2018-07-2923ars
quadratic-irrational270.0An implementation of quadratic irrationals (algorithms, data, library, math, mit)2020-04-15ion, Bodigrim
queuelike410.0A library of queuelike data structures, both functional and stateful. (algorithms, bsd3, library)2009-04-25LouisWasserman
rangemin660.0Linear range-min algorithms. (algorithms, bsd3, library)2010-05-31LouisWasserman
raz60.0Random Access Zippers (algorithms, library, mit)2016-09-18lyxia
rspp80.0A Rational Street Performer Protocol solver (algorithms, library, mit)2015-08-23AlexChapman
sat40.0CNF SATisfier (algorithms, program)2007-11-22AndriiZvorygin
sat-micro-hs90.0A minimal SAT solver (algorithms, program)2008-02-27DenisBueno
satchmo-backends130.0driver for external satchmo backends (algorithms, library)2011-06-24JohannesWaldmann
satchmo-examples80.0examples that show how to use satchmo (algorithms, program)2011-01-12JohannesWaldmann
satchmo-funsat80.0funsat driver as backend for satchmo (algorithms, library)2009-04-21JohannesWaldmann
satchmo-toysat70.0toysat driver as backend for satchmo (algorithms, bsd3, library, logic)2015-05-31MasahiroSakai
seqalign240.0Sequence Alignment (algorithms, bsd3, library)2015-07-03rcallahan
set-cover540.0Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2020-03-21HenningThielemann
smartGroup110.0group strings or bytestrings by words in common (algorithms, bsd3, library)2011-02-19SamAnklesaria
spacefill70.0Generators for space-filling curves. (algorithms, library, public-domain)2015-01-10knz
stable-marriage170.0algorithms around stable marriage (algorithms, bsd3, library)2021-06-18KatsutoshiItoh
strips70.0resolver using strips algorithm (algorithms, bsd3, library)2016-11-14uj
svm-simple180.0Medium level, simplified, bindings to libsvm (ai, algorithms, bsd3, library, pattern-classification, support-vector-machine)2012-07-18VilleTirronen
teams190.0Graphical modeling tools for sequential teams (algorithms, library, stochastic-control)2009-10-05AdityaMahajan
text-metrics3910.0Calculate various string metrics efficiently (algorithms, bsd3, library, text)2021-08-20mrkkrp
toysolver4600.0Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers)2021-02-10MasahiroSakai
tsne70.0t-SNE (algorithms, library, program)2017-03-11robagar
twentyseven80.0Rubik's cube solver (algorithms, library, mit, program)2016-03-16lyxia
unification-fd1192.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-02-25WrenThornton, WrenRomano
union-find260.0Efficient union and equivalence testing of sets. (algorithms, bsd3, data, library)2012-06-23ThomasSchilling
union-find-array340.0union find data structure (algorithms, data, library, mit)2021-07-22BertramFelgenhauer, MartinAvanzini
wordsearch80.0A word search solver library and executable (algorithms, bsd3, library, program)2010-10-01ByronJohnson
yices-easy70.0Simple interface to the Yices SMT (SAT modulo theories) solver. (algorithms, bsd3, library, math, theorem-provers)2010-09-29KeeganMcAllister