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 |
|---|---|---|---|---|---|---|---|---|
| ADPfusion | 25 | 0.0 | 15 | Efficient, high-level dynamic programming. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2019-10-01 | 0.6.0.0 | ChristianHoener |
| ADPfusionSet | 5 | 0.0 | 3 | Dynamic programming for Set data structures. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2017-10-19 | 0.0.0.2 | ChristianHoener |
| Adaptive | 2 | 0.0 | 1 | Library for incremental computing. | (algorithms, bsd3, library, program) | 2013-01-28 | 0.23 | DustinDeWeese, MagnusCarlsson, PeterJonsson |
| AlanDeniseEricLauren | 5 | 0.0 | 1 | Find the minimal subset/submap satisfying some property. | (algorithms, bsd3, library) | 2016-08-24 | 0.1.0.1 | EchoNolan |
| AlignmentAlgorithms | 6 | 0.0 | 1 | Collection of alignment algorithms | (algorithms, bioinformatics, data-structures, gpl, library, linguistics) | 2017-03-14 | 0.1.0.0 | ChristianHoener |
| Binpack | 6 | 0.0 | 1 | Common bin-packing heuristics. | (algorithms, bsd3, heuristics, library) | 2014-02-07 | 0.4.1 | BjoernBrandenburg, DavidFeng |
| ChibiHash | 27 | 0.0 | 0 | a simple and fast 64-bit hash function | (algorithms, data, library, mit, program) | 2024-12-02 | 0.2.0.0 | thevilledev |
| DP | 8 | 0.0 | 1 | Pragmatic framework for dynamic programming | (algorithms, bsd3, library, math, natural-language-processing) | 2010-03-08 | 0.1.1 | SashaRush |
| DecisionTree | 1 | 0.0 | 1 | A very simple implementation of decision trees for discrete attributes. | (algorithms, library, pattern-classification) | 2009-01-25 | 0.0 | AdrianNeumann |
| Diff | 477 | 2.0 | 60 | Diff algorithm in pure Haskell | (algorithms, bsd3, library) | 2024-11-15 | 1.0.2 | DavidFox, SterlingClover |
| DimensionalHash | 1 | 0.0 | 1 | An n-dimensional hash using Morton numbers. | (algorithms, bsd3, data, library) | 2011-05-10 | 0.1.5.2 | GhassenHamrouni |
| GA | 15 | 0.0 | 1 | Genetic algorithm library | (ai, algorithms, bsd3, library, optimisation) | 2011-09-27 | 1.0 | KennethHoste |
| GraphSCC | 27 | 0.0 | 3 | Tarjan's algorithm for computing the strongly connected components of a graph. | (algorithms, bsd3, library) | 2013-07-22 | 1.0.4 | IavorDiatchki |
| Graphalyze | 66 | 0.0 | 3 | Graph-Theoretic Analysis library. | (algorithms, graphs, library) | 2017-05-03 | 0.15.0.0 | IvanMiljenovic |
| HMM | 2 | 0.0 | 1 | A hidden markov model library | (algorithms, bsd3, data-mining, library, machine-learning) | 2012-03-25 | 0.2.1 | MikeIzbicki |
| Hungarian-Munkres | 8 | 0.0 | 1 | A Linear Sum Assignment Problem (LSAP) solver | (algorithms, gpl, library) | 2014-10-08 | 0.1.5 | kaizhang |
| KMP | 8 | 0.0 | 2 | Knuth–Morris–Pratt string searching algorithm | (algorithms, bsd3, library) | 2018-12-17 | 0.2.0.0 | CindyLinz |
| LinearSplit | 1 | 0.0 | 1 | Partition the sequence of items to the subsequences in the order given | (algorithms, bsd3, library) | 2011-03-05 | 0.2.1 | VitaliyRukavishnikov |
| ListTree | 9 | 0.0 | 1 | Trees and monadic trees expressed as monadic lists where the underlying monad is a list | (algorithms, bsd3, library) | 2016-12-26 | 0.2.3 | YairChuchem |
| MIP | 27 | 0.0 | 2 | Library for using Mixed Integer Programming (MIP) | (algorithms, bsd3, library, math, optimisation, optimization) | 2024-09-04 | 0.1.2.0 | MasahiroSakai |
| MIP-glpk | 2 | 0.0 | 0 | A GLPK backend to the MIP library. | (algorithms, gpl, library, math, optimisation, optimization) | 2020-12-26 | 0.1.1.0 | MasahiroSakai |
| Munkres | 4 | 0.0 | 2 | Munkres' assignment algorithm (hungarian method) | (algorithms, bsd3, library) | 2008-12-07 | 0.1 | BalazsKomuves |
| Munkres-simple | 1 | 0.0 | 1 | Simple and typesafe layer over the Munkres package. | (algorithms, bsd3, library) | 2014-09-13 | 0.1.0.1 | ScrambledEggs |
| Numbers | 8 | 0.0 | 1 | An assortment of number theoretic functions | (algorithms, library, number-theory) | 2009-04-17 | 0.2.1 | AdrianNeumann |
| PropLogic | 7 | 0.0 | 2 | Propositional Logic | (algorithms, bsd3, library, logic, program) | 2012-04-16 | 0.9.0.4 | DavidFox |
| TrieMap | 29 | 0.0 | 2 | Automatic type inference of generalized tries with Template Haskell. | (algorithms, bsd3, library) | 2013-04-18 | 4.1.0 | LouisWasserman |
| adp-multi | 1 | 0.0 | 2 | ADP for multiple context-free languages | (algorithms, bioinformatics, bsd3, data-structures, library) | 2013-05-29 | 0.2.3 | MaikRiechert |
| adp-multi-monadiccp | 3 | 0.0 | 1 | Subword construction in adp-multi using monadiccp | (algorithms, bioinformatics, bsd3, data-structures, library) | 2013-05-29 | 0.2.1 | MaikRiechert |
| aeson-diff | 33 | 2.0 | 5 | Extract and apply patches to JSON documents. | (algorithms, bsd3, json, library, program, web) | 2022-05-26 | 1.1.0.13 | ThomasSutton, clintonmead, clinton, janus, velveteer |
| algebraic-graphs | 246 | 2.75 | 23 | A library for algebraic graph construction and transformation | (algebra, algorithms, data-structures, graphs, library, mit) | 2022-06-20 | 0.7 | snowleopard |
| arithmoi | 132 | 2.25 | 24 | Efficient basic number-theoretic functions. | (algorithms, library, math, mit, number-theory) | 2023-07-29 | 0.13.0.0 | CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim |
| assignment | 9 | 0.0 | 0 | A solution to the assignment problem | (algorithms, bsd3, library) | 2024-07-07 | 0.0.1.0 | mrkkrp |
| batching | 7 | 0.0 | 0 | An Applicative Functor deferring actions to run in a batch later. | (algorithms, apache, library) | 2021-09-09 | 0.1.0.0 | AndrewPritchard |
| binary-search | 25 | 0.0 | 4 | Binary and exponential searches | (algorithms, bsd3, library) | 2021-02-22 | 2.0.0 | RossPaterson, TakayukiMuranushi, Jappie |
| bordacount | 11 | 0.0 | 1 | Implementation of the Borda count election method. | (algorithms, bsd3, library) | 2017-09-01 | 0.1.0.0 | hverr |
| build | 10 | 2.0 | 1 | Build Systems à la Carte | (algorithms, data-structures, library, mit) | 2024-05-18 | 1.1 | snowleopard |
| cmaes | 33 | 0.0 | 1 | CMA-ES wrapper in Haskell | (algorithms, library, numerical, optimization) | 2020-10-10 | 0.2.3 | DominicSteinitz, TakayukiMuranushi |
| collate | 4 | 0.0 | 0 | An Applicative Functor for extracting parts of a stream of values | (algorithms, apache, library) | 2021-09-09 | 0.1.0.0 | AndrewPritchard |
| concorde | 5 | 0.0 | 1 | Simple interface to the Concorde solver for the Traveling Salesperson Problem | (algorithms, bsd3, library) | 2011-10-21 | 0.1 | KeeganMcAllister |
| concurrent-sa | 6 | 0.0 | 1 | Concurrent simulated annealing system. | (algorithms, bsd3, concurrency, library) | 2010-04-07 | 1.0.1 | LouisWasserman |
| conduit-aeson | 14 | 0.0 | 1 | Short description | (algorithms, bsd3, library) | 2024-06-24 | 0.1.1.0 | lehins |
| cubicspline | 11 | 2.0 | 1 | Natural cubic spline interpolation. | (algorithms, bsd3, library, math) | 2015-10-18 | 0.1.2 | GershomBazerman |
| dgim | 2 | 0.0 | 1 | Implementation of DGIM algorithm | (algorithms, data, library, mit) | 2015-04-04 | 0.0.3 | musically_ut |
| dom-lt | 144 | 0.0 | 4 | The Lengauer-Tarjan graph dominators algorithm. | (algorithms, bsd3, graphs, library) | 2021-11-12 | 0.2.3 | MattMorrow, AndreasK |
| dtw | 5 | 0.0 | 1 | (Fast) Dynamic Time Warping | (algorithms, data-mining, library, machine-learning, mit) | 2016-07-21 | 1.0.3.0 | fho |
| edit-distance | 181 | 0.0 | 24 | Levenshtein and restricted Damerau-Levenshtein edit distances | (algorithms, bsd3, library) | 2015-07-12 | 0.2.2.1 | MaxBolingbroke, phadej |
| edit-distance-linear | 4 | 0.0 | 0 | Efficient implementation of the Levenshtein edit distance in linear memory. | (algorithms, bsd3, library) | 2019-12-08 | 0.2.0.2 | 0xd34df00d |
| edit-distance-vector | 38 | 0.0 | 3 | Calculate edit distances and edit scripts between vectors. | (algorithms, bsd3, data, data-structures, library) | 2016-05-24 | 1.0.0.4 | ThomasSutton |
| eigen | 30 | 1.5 | 6 | Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). | (algebra, algorithms, bsd3, data, library, math, numeric, statistics) | 2018-12-11 | 3.3.7.0 | OlegSidorkin, chessai |
| epanet-haskell | 0 | 0.0 | 1 | Haskell binding for EPANET | (algorithms, gpl, hydraulics, library) | 2013-12-16 | 2.0.12.4 | psibi |
| equivalence | 158 | 2.0 | 3 | Maintaining an equivalence relation implemented as union-find using STT. | (algorithms, bsd3, data, library) | 2022-07-26 | 0.4.1 | AndreasAbel, PatrickBahr |
| ersatz | 41 | 2.0 | 3 | A monad for expressing SAT or QSAT problems using observable sharing. | (algorithms, bsd3, library, logic) | 2023-09-18 | 0.5 | EdwardKmett, EricMertens, ryanglscott |
| ersatz-toysat | 4 | 0.0 | 1 | toysat driver as backend for ersatz | (algorithms, bsd3, library, logic) | 2017-10-02 | 0.2.2.0 | MasahiroSakai |
| exact-cover | 0 | 0.0 | 1 | Efficient exact cover solver. | (algorithms, bsd3, library, math) | 2017-04-22 | 0.1.0.0 | arthur |
| fast-arithmetic | 50 | 2.0 | 1 | Fast functions on integers. | (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics) | 2022-01-17 | 0.6.7.0 | vmchale |
| fibonacci | 3 | 0.0 | 1 | Fast computation of Fibonacci numbers. | (algorithms, bsd3, library, numerical) | 2010-12-18 | 0.2.0.1 | SebastianFischer |
| funsat | 7 | 0.0 | 2 | A modern DPLL-style SAT solver | (algorithms, bsd3, library, program) | 2011-02-27 | 0.6.2 | DenisBueno |
| garsia-wachs | 7 | 0.0 | 1 | A Functional Implementation of the Garsia-Wachs Algorithm | (algorithms, bsd3, library) | 2008-09-23 | 1.2 | NicolasPouillard |
| genprog | 1 | 0.0 | 1 | Genetic programming library | (ai, algorithms, bsd3, library, optimisation) | 2013-08-31 | 0.1.0.2 | JanSnajder |
| graph-generators | 9 | 2.0 | 1 | Functions for generating structured or random FGL graphs | (algorithms, apache, graphs, library, program) | 2018-06-08 | 0.1.4.0 | ulikoehler |
| graphs | 51 | 0.0 | 1 | A simple monadic graph library | (algorithms, bsd3, data-structures, graphs, library) | 2022-05-07 | 0.7.2 | EdwardKmett, ryanglscott |
| gutenberg-fibonaccis | 6 | 0.0 | 1 | The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. | (algorithms, gpl, library, math, numeric, numerical) | 2012-09-09 | 1.1.0 | JustinHanekom |
| heapsort | 1 | 0.0 | 1 | Heapsort of MArrays as a demo of imperative programming | (algorithms, bsd3, library, program) | 2010-08-04 | 0.1.0 | BartonMassey |
| hgal | 25 | 0.0 | 2 | library for computation automorphism group and canonical labelling of a graph | (algorithms, data-structures, library) | 2023-05-12 | 2.0.0.3 | JeanPhilippeBernardy, marcellus |
| hlcm | 2 | 2.0 | 1 | Fast algorithm for mining closed frequent itemsets | (algorithms, bsd3, data-mining-----------, library, program) | 2010-06-16 | 0.2.2 | AlexandreTermier |
| hmm | 9 | 0.0 | 1 | A hidden markov model library | (algorithms, bsd3, data-mining, library, machine-learning) | 2012-03-26 | 0.2.1.1 | MaxRabkin, MikeIzbicki |
| hps-kmeans | 2 | 0.0 | 1 | A nice implementation of the k-Means algorithm. | (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics) | 2012-07-10 | 0.1.0.0 | RodrigoGadea |
| hqcsim | 2 | 2.0 | 0 | A library for simulating quantum circuits. | (algorithms, bsd3, library, program) | 2024-08-15 | 0.1.0.0 | 23ars |
| htn | 6 | 0.0 | 1 | resolver using htn algorithm | (algorithms, bsd3, library) | 2016-11-25 | 0.1.0.0 | uj |
| hypertypes | 6 | 0.0 | 0 | Typed ASTs | (algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2023-07-25 | 0.2.2 | YairChuchem |
| imj-animation | 4 | 2.0 | 1 | Animation Framework | (algorithms, animation, bsd3, game-engine, graphics, library) | 2018-01-01 | 0.1.0.2 | OlivierSohn |
| imj-base | 3 | 2.0 | 2 | 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 | 0.1.0.2 | OlivierSohn |
| incremental-sat-solver | 12 | 0.0 | 3 | Simple, Incremental SAT Solving as a Library | (algorithms, bsd3, library) | 2016-08-31 | 0.1.8 | SebastianFischer |
| infinite-search | 8 | 0.0 | 1 | Exhaustively searchable infinite sets. | (algorithms, bsd3, data, library, monads, search) | 2009-01-09 | 0.12 | LukePalmer |
| integer-logarithms | 272 | 0.0 | 26 | Integer logarithms. | (algorithms, library, math, mit, number-theory) | 2024-12-20 | 1.0.4 | phadej |
| integer-roots | 63 | 0.0 | 5 | Integer roots and perfect powers | (algorithms, library, math, mit, number-theory) | 2021-11-22 | 1.0.2.0 | Bodigrim |
| iproute | 559 | 0.0 | 70 | IP Routing Table | (algorithms, bsd3, library, network) | 2024-10-24 | 1.7.15 | KazuYamamoto |
| kmeans | 15 | 2.0 | 2 | K-means clustering algorithm | (algorithms, bsd3, clustering, data-mining, library) | 2015-03-22 | 0.1.3 | GershomBazerman, MaxRabkin |
| kmp-dfa | 4 | 0.0 | 1 | KMP algorithm implementation, based on Deterministic Finite State Automata | (algorithms, bsd3, library) | 2017-06-18 | 0.1.0.1 | PaoloVeronelli |
| lca | 23 | 2.0 | 1 | O(log n) persistent online lowest common ancestor search without preprocessing | (algorithms, bsd3, data-structures, library) | 2021-02-17 | 0.4 | EdwardKmett, ryanglscott |
| learning-hmm | 3 | 0.0 | 1 | Yet another library for hidden Markov models | (algorithms, library, machine-learning, mit, statistics) | 2015-04-05 | 0.3.2.2 | mnacamura |
| libgraph | 16 | 0.0 | 3 | Store and manipulate data in a graph. | (algorithms, bsd3, data-structures, library) | 2017-09-03 | 1.14 | faddegon |
| majority | 2 | 0.0 | 1 | Boyer-Moore Majority Vote Algorithm | (algorithms, library, public-domain) | 2011-07-18 | 1.1 | NisWegmann |
| markov-chain | 26 | 0.0 | 6 | Markov Chains for generating random sequences with a user definable behaviour. | (algorithms, library) | 2016-07-14 | 0.0.3.4 | HenningThielemann |
| maximal-cliques | 9 | 2.0 | 2 | Enumerate all maximal cliques of a graph. | (algorithms, bsd3, library) | 2015-03-22 | 0.1.1 | GershomBazerman |
| mdp | 4 | 0.0 | 0 | Tools for solving Markov Decision Processes. | (algorithms, library, math, mit, program) | 2016-11-29 | 0.1.1.0 | prsteele |
| mempack | 11 | 0.0 | 0 | Short description | (algorithms, bsd3, library) | 2024-09-19 | 0.1.0.0 | lehins |
| moo | 4 | 2.0 | 2 | Genetic algorithm library | (ai, algorithms, bsd3, library, optimisation, optimization) | 2018-11-13 | 1.2 | SergeyAstanin |
| natural-sort | 23 | 2.0 | 2 | User-friendly text collation | (algorithms, bsd3, library) | 2012-08-07 | 0.1.2 | JohnMillikin |
| nonlinear-optimization-ad | 6 | 0.0 | 1 | Wrapper of nonlinear-optimization package for using with AD package | (algorithms, gpl, library, math, optimisation, optimization) | 2020-02-29 | 0.2.4 | MasahiroSakai |
| nonlinear-optimization-backprop | 6 | 0.0 | 0 | Wrapper of nonlinear-optimization package for using with backprop package | (algorithms, gpl, library, math, optimisation, optimization) | 2020-02-29 | 0.2.4 | MasahiroSakai |
| number-wall | 6 | 0.0 | 0 | Create number walls and save them as images | (algorithms, graphics, image, library, math, mit) | 2022-09-03 | 0.1.0.3 | OwenBechtel |
| numeric-optimization | 4 | 0.0 | 2 | Unified interface to various numerical optimization algorithms | (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization) | 2023-06-21 | 0.1.1.0 | MasahiroSakai |
| numeric-optimization-ad | 3 | 0.0 | 0 | Wrapper of numeric-optimization package for using with AD package | (algorithms, bsd3, library, math, optimisation, optimization) | 2023-06-03 | 0.1.0.1 | MasahiroSakai |
| numeric-optimization-backprop | 3 | 0.0 | 0 | Wrapper of numeric-optimization package for using with backprop package | (algorithms, bsd3, library, math, optimisation, optimization) | 2023-06-03 | 0.1.0.1 | MasahiroSakai |
| outsort | 5 | 0.0 | 0 | External sorting package based on Conduit | (algorithms, mit, program) | 2019-07-11 | 0.1.0 | luispedro |
| palindromes | 6 | 0.0 | 1 | Finding palindromes in strings | (algorithms, bsd3, library, program) | 2012-12-28 | 0.4 | JohanJeuring |
| patience | 44 | 0.0 | 5 | Patience diff and longest increasing subsequence | (algorithms, bsd3, library, text) | 2019-07-29 | 0.3 | KeeganMcAllister, chessai |
| pell | 3 | 0.0 | 1 | Package to solve the Generalized Pell Equation. | (algorithms, library, math, mit, number-theory) | 2019-11-12 | 0.1.3.0 | lbrunjes |
| pqueue-mtl (deprecated in favor of queuelike) | 1 | 0.0 | 1 | Fully encapsulated monad transformers with queuelike functionality. | (algorithms, bsd3, deprecated, library, monads) | 2009-03-13 | 1.0.7 | LouisWasserman |
| presburger | 31 | 0.0 | 3 | A decision procedure for quantifier-free linear arithmetic. | (algorithms, bsd3, library) | 2015-03-24 | 1.3.1 | IavorDiatchki |
| primal | 10 | 2.0 | 1 | Primeval world of Haskell. | (algorithms, bsd3, library) | 2021-01-22 | 0.3.0.0 | lehins |
| primal-memory | 9 | 2.0 | 0 | Unified interface for memory managemenet. | (algorithms, bsd3, library) | 2021-01-22 | 0.3.0.0 | lehins |
| primes | 115 | 2.0 | 18 | Efficient, purely functional generation of prime numbers | (algorithms, bsd3, library, numerical) | 2011-04-29 | 0.2.1.0 | SebastianFischer |
| primes-type | 4 | 0.0 | 1 | Type-safe prime numbers. | (algorithms, library, numerical) | 2017-10-09 | 0.2.0.3 | kindaro |
| primesieve | 6 | 0.0 | 0 | FFI bindings for the primesieve library. | (algorithms, foreign, library, math, mit, number-theory, program) | 2024-03-17 | 0.2.0 | sighingnow |
| pure-shuffle | 7 | 0.0 | 1 | (algorithms, apache, library) | 2018-11-16 | 0.1.1.1 | igrep | |
| qchas | 12 | 2.0 | 0 | A library for implementing Quantum Algorithms | (algorithms, bsd3, library, program) | 2018-07-29 | 1.1.0.1 | 23ars |
| quadratic-irrational | 20 | 0.0 | 1 | An implementation of quadratic irrationals | (algorithms, data, library, math, mit) | 2020-04-15 | 0.1.1 | ion, Bodigrim |
| queuelike | 8 | 0.0 | 1 | A library of queuelike data structures, both functional and stateful. | (algorithms, bsd3, library) | 2009-04-25 | 1.0.9 | LouisWasserman |
| rangemin | 8 | 0.0 | 1 | Linear range-min algorithms. | (algorithms, bsd3, library) | 2010-05-31 | 2.2.2 | LouisWasserman |
| raz | 1 | 0.0 | 1 | Random Access Zippers | (algorithms, library, mit) | 2016-09-18 | 0.1.0.0 | lyxia |
| rspp | 4 | 0.0 | 1 | A Rational Street Performer Protocol solver | (algorithms, library, mit) | 2015-08-23 | 0.1.0.1 | AlexChapman |
| sat | 0 | 0.0 | 1 | CNF SATisfier | (algorithms, program) | 2007-11-22 | 1.1.1 | AndriiZvorygin |
| sat-micro-hs | 8 | 0.0 | 1 | A minimal SAT solver | (algorithms, program) | 2008-02-27 | 0.1.1 | DenisBueno |
| satchmo-backends | 6 | 0.0 | 1 | driver for external satchmo backends | (algorithms, library) | 2011-06-24 | 1.9.1 | JohannesWaldmann |
| satchmo-examples | 2 | 0.0 | 1 | examples that show how to use satchmo | (algorithms, program) | 2011-01-12 | 1.8.1 | JohannesWaldmann |
| satchmo-funsat | 0 | 0.0 | 1 | funsat driver as backend for satchmo | (algorithms, library) | 2009-04-21 | 1.4 | JohannesWaldmann |
| satchmo-toysat | 2 | 0.0 | 1 | toysat driver as backend for satchmo | (algorithms, bsd3, library, logic) | 2015-05-31 | 0.2.1.0 | MasahiroSakai |
| seqalign | 16 | 0.0 | 1 | Sequence Alignment | (algorithms, bsd3, library) | 2015-07-03 | 0.2.0.4 | rcallahan |
| set-cover | 27 | 0.0 | 2 | Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube | (algorithms, bsd3, library, math) | 2024-07-06 | 0.1.1.1 | HenningThielemann |
| smartGroup | 3 | 0.0 | 1 | group strings or bytestrings by words in common | (algorithms, bsd3, library) | 2011-02-19 | 0.3.0 | SamAnklesaria |
| spacefill | 2 | 0.0 | 1 | Generators for space-filling curves. | (algorithms, library, public-domain) | 2015-01-10 | 0.1 | knz |
| stable-marriage | 4 | 0.0 | 1 | algorithms around stable marriage | (algorithms, bsd3, library) | 2023-04-19 | 0.2.1.2 | KatsutoshiItoh |
| strips | 4 | 0.0 | 1 | resolver using strips algorithm | (algorithms, bsd3, library) | 2016-11-14 | 0.1.0.0 | uj |
| svm-simple | 0 | 0.0 | 1 | Medium level, simplified, bindings to libsvm | (ai, algorithms, bsd3, library, pattern-classification, support-vector-machine) | 2012-07-18 | 0.2.7.1 | VilleTirronen |
| teams | 0 | 0.0 | 1 | Graphical modeling tools for sequential teams | (algorithms, library, stochastic-control) | 2009-10-05 | 0.0.2.3 | AdityaMahajan |
| text-metrics | 155 | 2.0 | 12 | Calculate various string metrics efficiently | (algorithms, bsd3, library, text) | 2024-09-28 | 0.3.3 | mrkkrp |
| toysolver | 19 | 0.0 | 4 | Assorted 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-17 | 0.8.1 | MasahiroSakai |
| tsne | 10 | 0.0 | 0 | t-SNE | (algorithms, library, program) | 2017-03-11 | 1.3.0 | robagar |
| twentyseven | 1 | 0.0 | 0 | Rubik's cube solver | (algorithms, library, mit, program) | 2016-03-16 | 0.0.0 | lyxia |
| unification-fd | 82 | 2.0 | 4 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2024-11-27 | 0.12.0.1 | WrenThornton, WrenRomano |
| union-find | 29 | 2.0 | 4 | Efficient union and equivalence testing of sets. | (algorithms, bsd3, data, library) | 2012-06-23 | 0.2 | ThomasSchilling |
| union-find-array | 37 | 0.0 | 3 | union find data structure | (algorithms, data, library, mit) | 2024-04-29 | 0.1.0.4 | BertramFelgenhauer, MartinAvanzini |
| vector-quicksort | 19 | 0.0 | 0 | Fast and flexible quicksort implementation for mutable vectors | (algorithms, apache, library) | 2024-12-17 | 0.2 | SergeyVinokurov |
| wordsearch | 4 | 0.0 | 1 | A word search solver library and executable | (algorithms, bsd3, library, program) | 2010-10-01 | 1.0.1 | ByronJohnson |
| yices-easy | 1 | 0.0 | 1 | Simple interface to the Yices SMT (SAT modulo theories) solver. | (algorithms, bsd3, library, math, theorem-provers) | 2010-09-29 | 0.1 | KeeganMcAllister |