Packages tagged algorithms

137 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (133), bsd3 (89), math (24), program (22), mit (19), data-structures (12), optimisation (12), optimization (11), data (10), gpl (8), logic (7), number-theory (7), numerical (6), apache (5), bioinformatics (5), data-mining (5), graphs (5), ai (4), machine-learning (4), algebra (3), graphics (3), numeric (3), statistics (3), animation (2), clustering (2), compilers-interpreters (2), formal-languages (2), game-engine (2), language (2), monads (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
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
ADPfusion270.015Efficient, high-level dynamic programming. (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library)2019-10-010.6.0.0ChristianHoener
ADPfusionSet30.03Dynamic programming for Set data structures. (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library)2017-10-190.0.0.2ChristianHoener
Adaptive50.01Library for incremental computing. (algorithms, bsd3, library, program)2013-01-280.23DustinDeWeese, MagnusCarlsson, PeterJonsson
AlanDeniseEricLauren40.01Find the minimal subset/submap satisfying some property. (algorithms, bsd3, library)2016-08-240.1.0.1EchoNolan
AlignmentAlgorithms60.01Collection of alignment algorithms (algorithms, bioinformatics, data-structures, gpl, library, linguistics)2017-03-140.1.0.0ChristianHoener
Binpack70.01Common bin-packing heuristics. (algorithms, bsd3, heuristics, library)2014-02-070.4.1BjoernBrandenburg, DavidFeng
ChibiHash270.00a simple and fast 64-bit hash function (algorithms, data, library, mit, program)2024-12-020.2.0.0thevilledev
DP60.01Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-080.1.1SashaRush
DecisionTree00.01A very simple implementation of decision trees for discrete attributes. (algorithms, library, pattern-classification)2009-01-250.0AdrianNeumann
Diff4772.060Diff algorithm in pure Haskell (algorithms, bsd3, library)2024-11-151.0.2DavidFox, SterlingClover
DimensionalHash10.01An n-dimensional hash using Morton numbers. (algorithms, bsd3, data, library)2011-05-100.1.5.2GhassenHamrouni
GA120.01Genetic algorithm library (ai, algorithms, bsd3, library, optimisation)2011-09-271.0KennethHoste
GraphSCC260.03Tarjan's algorithm for computing the strongly connected components of a graph. (algorithms, bsd3, library)2013-07-221.0.4IavorDiatchki
Graphalyze500.03Graph-Theoretic Analysis library. (algorithms, graphs, library)2017-05-030.15.0.0IvanMiljenovic
HMM20.01A hidden markov model library (algorithms, bsd3, data-mining, library, machine-learning)2012-03-250.2.1MikeIzbicki
Hungarian-Munkres60.01A Linear Sum Assignment Problem (LSAP) solver (algorithms, gpl, library)2014-10-080.1.5kaizhang
KMP100.02Knuth–Morris–Pratt string searching algorithm (algorithms, bsd3, library)2018-12-170.2.0.0CindyLinz
LinearSplit10.01Partition the sequence of items to the subsequences in the order given (algorithms, bsd3, library)2011-03-050.2.1VitaliyRukavishnikov
ListTree120.01Trees and monadic trees expressed as monadic lists where the underlying monad is a list (algorithms, bsd3, library)2016-12-260.2.3YairChuchem
MIP170.02Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2024-09-040.1.2.0MasahiroSakai
MIP-glpk10.00A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-260.1.1.0MasahiroSakai
Munkres40.02Munkres' assignment algorithm (hungarian method) (algorithms, bsd3, library)2008-12-070.1BalazsKomuves
Munkres-simple10.01Simple and typesafe layer over the Munkres package. (algorithms, bsd3, library)2014-09-130.1.0.1ScrambledEggs
Numbers60.01An assortment of number theoretic functions (algorithms, library, number-theory)2009-04-170.2.1AdrianNeumann
PropLogic60.02Propositional Logic (algorithms, bsd3, library, logic, program)2012-04-160.9.0.4DavidFox
TrieMap310.02Automatic type inference of generalized tries with Template Haskell. (algorithms, bsd3, library)2013-04-184.1.0LouisWasserman
adp-multi10.02ADP for multiple context-free languages (algorithms, bioinformatics, bsd3, data-structures, library)2013-05-290.2.3MaikRiechert
adp-multi-monadiccp40.01Subword construction in adp-multi using monadiccp (algorithms, bioinformatics, bsd3, data-structures, library)2013-05-290.2.1MaikRiechert
aeson-diff282.05Extract and apply patches to JSON documents. (algorithms, bsd3, json, library, program, web)2022-05-261.1.0.13ThomasSutton, clintonmead, clinton, janus, velveteer
algebraic-graphs2392.7523A library for algebraic graph construction and transformation (algebra, algorithms, data-structures, graphs, library, mit)2022-06-200.7snowleopard
arithmoi1362.2524Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2023-07-290.13.0.0CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
assignment80.00A solution to the assignment problem (algorithms, bsd3, library)2024-07-070.0.1.0mrkkrp
batching60.00An Applicative Functor deferring actions to run in a batch later. (algorithms, apache, library)2021-09-090.1.0.0AndrewPritchard
binary-search190.04Binary and exponential searches (algorithms, bsd3, library)2021-02-222.0.0RossPaterson, TakayukiMuranushi, Jappie
bordacount70.01Implementation of the Borda count election method. (algorithms, bsd3, library)2017-09-010.1.0.0hverr
build142.01Build Systems à la Carte (algorithms, data-structures, library, mit)2024-05-181.1snowleopard
cmaes330.01CMA-ES wrapper in Haskell (algorithms, library, numerical, optimization)2020-10-100.2.3DominicSteinitz, TakayukiMuranushi
collate10.00An Applicative Functor for extracting parts of a stream of values (algorithms, apache, library)2021-09-090.1.0.0AndrewPritchard
concorde50.01Simple interface to the Concorde solver for the Traveling Salesperson Problem (algorithms, bsd3, library)2011-10-210.1KeeganMcAllister
concurrent-sa70.01Concurrent simulated annealing system. (algorithms, bsd3, concurrency, library)2010-04-071.0.1LouisWasserman
conduit-aeson120.01Short description (algorithms, bsd3, library)2024-06-240.1.1.0lehins
cubicspline72.01Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-180.1.2GershomBazerman
dgim30.01Implementation of DGIM algorithm (algorithms, data, library, mit)2015-04-040.0.3musically_ut
dom-lt1380.04The Lengauer-Tarjan graph dominators algorithm. (algorithms, bsd3, graphs, library)2021-11-120.2.3MattMorrow, AndreasK
dtw50.01(Fast) Dynamic Time Warping (algorithms, data-mining, library, machine-learning, mit)2016-07-211.0.3.0fho
edit-distance1790.024Levenshtein and restricted Damerau-Levenshtein edit distances (algorithms, bsd3, library)2015-07-120.2.2.1MaxBolingbroke, phadej
edit-distance-linear50.00Efficient implementation of the Levenshtein edit distance in linear memory. (algorithms, bsd3, library)2019-12-080.2.0.20xd34df00d
edit-distance-vector330.03Calculate edit distances and edit scripts between vectors. (algorithms, bsd3, data, data-structures, library)2016-05-241.0.0.4ThomasSutton
eigen471.56Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-113.3.7.0OlegSidorkin, chessai
epanet-haskell00.01Haskell binding for EPANET (algorithms, gpl, hydraulics, library)2013-12-162.0.12.4psibi
equivalence1572.03Maintaining an equivalence relation implemented as union-find using STT. (algorithms, bsd3, data, library)2022-07-260.4.1AndreasAbel, PatrickBahr
ersatz422.03A monad for expressing SAT or QSAT problems using observable sharing. (algorithms, bsd3, library, logic)2023-09-180.5EdwardKmett, EricMertens, ryanglscott
ersatz-toysat40.01toysat driver as backend for ersatz (algorithms, bsd3, library, logic)2017-10-020.2.2.0MasahiroSakai
exact-cover00.01Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-220.1.0.0arthur
fast-arithmetic792.01Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2022-01-170.6.7.0vmchale
fibonacci30.01Fast computation of Fibonacci numbers. (algorithms, bsd3, library, numerical)2010-12-180.2.0.1SebastianFischer
funsat60.02A modern DPLL-style SAT solver (algorithms, bsd3, library, program)2011-02-270.6.2DenisBueno
garsia-wachs60.01A Functional Implementation of the Garsia-Wachs Algorithm (algorithms, bsd3, library)2008-09-231.2NicolasPouillard
genprog00.01Genetic programming library (ai, algorithms, bsd3, library, optimisation)2013-08-310.1.0.2JanSnajder
graph-generators102.01Functions for generating structured or random FGL graphs (algorithms, apache, graphs, library, program)2018-06-080.1.4.0ulikoehler
graphs470.01A simple monadic graph library (algorithms, bsd3, data-structures, graphs, library)2022-05-070.7.2EdwardKmett, ryanglscott
gutenberg-fibonaccis60.01The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-091.1.0JustinHanekom
heapsort20.01Heapsort of MArrays as a demo of imperative programming (algorithms, bsd3, library, program)2010-08-040.1.0BartonMassey
hgal190.02library for computation automorphism group and canonical labelling of a graph (algorithms, data-structures, library)2023-05-122.0.0.3JeanPhilippeBernardy, marcellus
hlcm02.01Fast algorithm for mining closed frequent itemsets (algorithms, bsd3, data-mining-----------, library, program)2010-06-160.2.2AlexandreTermier
hmm90.01A hidden markov model library (algorithms, bsd3, data-mining, library, machine-learning)2012-03-260.2.1.1MaxRabkin, MikeIzbicki
hps-kmeans30.01A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-100.1.0.0RodrigoGadea
hqcsim02.00A library for simulating quantum circuits. (algorithms, bsd3, library, program)2024-08-150.1.0.023ars
htn40.01resolver using htn algorithm (algorithms, bsd3, library)2016-11-250.1.0.0uj
hypertypes70.00Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2023-07-250.2.2YairChuchem
imj-animation32.01Animation Framework (algorithms, animation, bsd3, game-engine, graphics, library)2018-01-010.1.0.2OlivierSohn
imj-base42.02Game engine with geometry, easing, animated text, delta rendering. (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface)2018-01-010.1.0.2OlivierSohn
incremental-sat-solver90.03Simple, Incremental SAT Solving as a Library (algorithms, bsd3, library)2016-08-310.1.8SebastianFischer
infinite-search60.01Exhaustively searchable infinite sets. (algorithms, bsd3, data, library, monads, search)2009-01-090.12LukePalmer
integer-logarithms2310.026Integer logarithms. (algorithms, library, math, mit, number-theory)2020-11-011.0.3.1phadej
integer-roots650.05Integer roots and perfect powers (algorithms, library, math, mit, number-theory)2021-11-221.0.2.0Bodigrim
iproute5170.069IP Routing Table (algorithms, bsd3, library, network)2024-10-241.7.15KazuYamamoto
kmeans162.02K-means clustering algorithm (algorithms, bsd3, clustering, data-mining, library)2015-03-220.1.3GershomBazerman, MaxRabkin
kmp-dfa40.01KMP algorithm implementation, based on Deterministic Finite State Automata (algorithms, bsd3, library)2017-06-180.1.0.1PaoloVeronelli
lca232.01O(log n) persistent online lowest common ancestor search without preprocessing (algorithms, bsd3, data-structures, library)2021-02-170.4EdwardKmett, ryanglscott
learning-hmm40.01Yet another library for hidden Markov models (algorithms, library, machine-learning, mit, statistics)2015-04-050.3.2.2mnacamura
libgraph200.03Store and manipulate data in a graph. (algorithms, bsd3, data-structures, library)2017-09-031.14faddegon
majority00.01Boyer-Moore Majority Vote Algorithm (algorithms, library, public-domain)2011-07-181.1NisWegmann
markov-chain240.06Markov Chains for generating random sequences with a user definable behaviour. (algorithms, library)2016-07-140.0.3.4HenningThielemann
maximal-cliques92.02Enumerate all maximal cliques of a graph. (algorithms, bsd3, library)2015-03-220.1.1GershomBazerman
mdp30.00Tools for solving Markov Decision Processes. (algorithms, library, math, mit, program)2016-11-290.1.1.0prsteele
mempack130.00Short description (algorithms, bsd3, library)2024-09-190.1.0.0lehins
moo22.02Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2018-11-131.2SergeyAstanin
natural-sort212.02User-friendly text collation (algorithms, bsd3, library)2012-08-070.1.2JohnMillikin
nonlinear-optimization-ad60.01Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
nonlinear-optimization-backprop60.00Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
number-wall60.00Create number walls and save them as images (algorithms, graphics, image, library, math, mit)2022-09-030.1.0.3OwenBechtel
numeric-optimization40.02Unified interface to various numerical optimization algorithms (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization)2023-06-210.1.1.0MasahiroSakai
numeric-optimization-ad20.00Wrapper of numeric-optimization package for using with AD package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
numeric-optimization-backprop30.00Wrapper of numeric-optimization package for using with backprop package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
outsort40.00External sorting package based on Conduit (algorithms, mit, program)2019-07-110.1.0luispedro
palindromes50.01Finding palindromes in strings (algorithms, bsd3, library, program)2012-12-280.4JohanJeuring
patience420.05Patience diff and longest increasing subsequence (algorithms, bsd3, library, text)2019-07-290.3KeeganMcAllister, chessai
pell20.01Package to solve the Generalized Pell Equation. (algorithms, library, math, mit, number-theory)2019-11-120.1.3.0lbrunjes
pqueue-mtl (deprecated in favor of queuelike)10.01Fully encapsulated monad transformers with queuelike functionality. (algorithms, bsd3, deprecated, library, monads)2009-03-131.0.7LouisWasserman
presburger230.03A decision procedure for quantifier-free linear arithmetic. (algorithms, bsd3, library)2015-03-241.3.1IavorDiatchki
primal92.01Primeval world of Haskell. (algorithms, bsd3, library)2021-01-220.3.0.0lehins
primal-memory102.00Unified interface for memory managemenet. (algorithms, bsd3, library)2021-01-220.3.0.0lehins
primes1112.018Efficient, purely functional generation of prime numbers (algorithms, bsd3, library, numerical)2011-04-290.2.1.0SebastianFischer
primes-type00.01Type-safe prime numbers. (algorithms, library, numerical)2017-10-090.2.0.3kindaro
primesieve60.00FFI bindings for the primesieve library. (algorithms, foreign, library, math, mit, number-theory, program)2024-03-170.2.0sighingnow
pure-shuffle100.01 (algorithms, apache, library)2018-11-160.1.1.1igrep
qchas92.00A library for implementing Quantum Algorithms (algorithms, bsd3, library, program)2018-07-291.1.0.123ars
quadratic-irrational170.01An implementation of quadratic irrationals (algorithms, data, library, math, mit)2020-04-150.1.1ion, Bodigrim
queuelike60.01A library of queuelike data structures, both functional and stateful. (algorithms, bsd3, library)2009-04-251.0.9LouisWasserman
rangemin30.01Linear range-min algorithms. (algorithms, bsd3, library)2010-05-312.2.2LouisWasserman
raz10.01Random Access Zippers (algorithms, library, mit)2016-09-180.1.0.0lyxia
rspp40.01A Rational Street Performer Protocol solver (algorithms, library, mit)2015-08-230.1.0.1AlexChapman
sat00.01CNF SATisfier (algorithms, program)2007-11-221.1.1AndriiZvorygin
sat-micro-hs40.01A minimal SAT solver (algorithms, program)2008-02-270.1.1DenisBueno
satchmo-backends50.01driver for external satchmo backends (algorithms, library)2011-06-241.9.1JohannesWaldmann
satchmo-examples20.01examples that show how to use satchmo (algorithms, program)2011-01-121.8.1JohannesWaldmann
satchmo-funsat00.01funsat driver as backend for satchmo (algorithms, library)2009-04-211.4JohannesWaldmann
satchmo-toysat30.01toysat driver as backend for satchmo (algorithms, bsd3, library, logic)2015-05-310.2.1.0MasahiroSakai
seqalign160.01Sequence Alignment (algorithms, bsd3, library)2015-07-030.2.0.4rcallahan
set-cover250.02Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2024-07-060.1.1.1HenningThielemann
smartGroup30.01group strings or bytestrings by words in common (algorithms, bsd3, library)2011-02-190.3.0SamAnklesaria
spacefill50.01Generators for space-filling curves. (algorithms, library, public-domain)2015-01-100.1knz
stable-marriage60.01algorithms around stable marriage (algorithms, bsd3, library)2023-04-190.2.1.2KatsutoshiItoh
strips40.01resolver using strips algorithm (algorithms, bsd3, library)2016-11-140.1.0.0uj
svm-simple00.01Medium level, simplified, bindings to libsvm (ai, algorithms, bsd3, library, pattern-classification, support-vector-machine)2012-07-180.2.7.1VilleTirronen
teams00.01Graphical modeling tools for sequential teams (algorithms, library, stochastic-control)2009-10-050.0.2.3AdityaMahajan
text-metrics1452.012Calculate various string metrics efficiently (algorithms, bsd3, library, text)2024-09-280.3.3mrkkrp
toysolver190.04Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers)2022-09-170.8.1MasahiroSakai
tsne80.00t-SNE (algorithms, library, program)2017-03-111.3.0robagar
twentyseven10.00Rubik's cube solver (algorithms, library, mit, program)2016-03-160.0.0lyxia
unification-fd812.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2024-11-270.12.0.1WrenThornton, WrenRomano
union-find292.04Efficient union and equivalence testing of sets. (algorithms, bsd3, data, library)2012-06-230.2ThomasSchilling
union-find-array300.03union find data structure (algorithms, data, library, mit)2024-04-290.1.0.4BertramFelgenhauer, MartinAvanzini
vector-quicksort10.00Fast and flexible quicksort implementation for mutable vectors (algorithms, apache, library)2023-04-150.1SergeyVinokurov
wordsearch40.01A word search solver library and executable (algorithms, bsd3, library, program)2010-10-011.0.1ByronJohnson
yices-easy10.01Simple interface to the Yices SMT (SAT modulo theories) solver. (algorithms, bsd3, library, math, theorem-provers)2010-09-290.1KeeganMcAllister