Algorithms

@cardano/moo

Genetic algorithm library

@hackage/ADPfusion

Efficient, high-level dynamic programming.

@hackage/ADPfusionSet

Dynamic programming for Set data structures.

@hackage/Adaptive

Library for incremental computing.

@hackage/AlanDeniseEricLauren

Find the minimal subset/submap satisfying some property.

@hackage/AlignmentAlgorithms

Collection of alignment algorithms

@hackage/Binpack

Common bin-packing heuristics.

@hackage/DP

Pragmatic framework for dynamic programming

@hackage/DecisionTree

A very simple implementation of decision trees for discrete attributes.

@hackage/Diff

Diff algorithm in pure Haskell

@hackage/DifferentialEvolution

Global optimization using Differential Evolution

@hackage/DimensionalHash

An n-dimensional hash using Morton numbers.

@hackage/GA

Genetic algorithm library

@hackage/GraphSCC

Tarjan's algorithm for computing the strongly connected components of a graph.

@hackage/Graphalyze

Graph-Theoretic Analysis library.

@hackage/HMM

A hidden markov model library

@hackage/Hungarian-Munkres

A Linear Sum Assignment Problem (LSAP) solver

@hackage/KMP

Knuth–Morris–Pratt string searching algorithm

@hackage/LinearSplit

Partition the sequence of items to the subsequences in the order given

@hackage/ListTree

Trees and monadic trees expressed as monadic lists where the underlying monad is a list

@hackage/MIP

Library for using Mixed Integer Programming (MIP)

@hackage/MIP-glpk

A GLPK backend to the MIP library.

@hackage/Munkres

Munkres' assignment algorithm (hungarian method)

@hackage/Munkres-simple

Simple and typesafe layer over the Munkres package.

@hackage/NumberSieves

Number Theoretic Sieves: primes, factorization, and Euler's Totient

@hackage/Numbers

An assortment of number theoretic functions

@hackage/PropLogic

Propositional Logic

@hackage/Ritt-Wu

Parallel implementation of Ritt-Wu's algorithm.

@hackage/TrieMap

Automatic type inference of generalized tries with Template Haskell.

@hackage/adp-multi

ADP for multiple context-free languages

@hackage/adp-multi-monadiccp

Subword construction in adp-multi using monadiccp

@hackage/aeson-diff

Extract and apply patches to JSON documents.

@hackage/algebraic-graphs

A library for algebraic graph construction and transformation

@hackage/arithmoi

Efficient basic number-theoretic functions.

@hackage/assignment

A solution to the assignment problem

@hackage/batching

An Applicative Functor deferring actions to run in a batch later.

@hackage/binary-search

Binary and exponential searches

@hackage/bordacount

Implementation of the Borda count election method.

@hackage/build

Build Systems à la Carte

@hackage/cmaes

CMA-ES wrapper in Haskell

@hackage/collate

An Applicative Functor for extracting parts of a stream of values

@hackage/concorde

Simple interface to the Concorde solver for the Traveling Salesperson Problem

@hackage/concurrent-sa

Concurrent simulated annealing system.

@hackage/conduit-aeson

Short description

@hackage/dgim

Implementation of DGIM algorithm

@hackage/dom-lt

The Lengauer-Tarjan graph dominators algorithm.

@hackage/dtw

(Fast) Dynamic Time Warping

@hackage/edit-distance

Levenshtein and restricted Damerau-Levenshtein edit distances

@hackage/edit-distance-linear

Efficient implementation of the Levenshtein edit distance in linear memory.

@hackage/edit-distance-vector

Calculate edit distances and edit scripts between vectors.

@hackage/eigen

Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers).

@hackage/epanet-haskell

Haskell binding for EPANET

@hackage/equivalence

Maintaining an equivalence relation implemented as union-find using STT.

@hackage/ersatz

A monad for expressing SAT or QSAT problems using observable sharing.

@hackage/ersatz-toysat

toysat driver as backend for ersatz

@hackage/exact-cover

Efficient exact cover solver.

@hackage/external-sort

Sort large arrays on your hard drive. Kind of like the unix util sort.

@hackage/fast-arithmetic

Fast functions on integers.

@hackage/fibonacci

Fast computation of Fibonacci numbers.

@hackage/funsat

A modern DPLL-style SAT solver

@hackage/garsia-wachs

A Functional Implementation of the Garsia-Wachs Algorithm

@hackage/genprog

Genetic programming library

@hackage/graph-generators

Functions for generating structured or random FGL graphs

@hackage/graphs

A simple monadic graph library

@hackage/grfn

Uniformly-random pre-factored numbers (Kalai)

@hackage/gutenberg-fibonaccis

The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project.

@hackage/heapsort

Heapsort of MArrays as a demo of imperative programming

@hackage/hlcm

Fast algorithm for mining closed frequent itemsets

@hackage/hmm

A hidden markov model library

@hackage/hps-kmeans

A nice implementation of the k-Means algorithm.

@hackage/hqcsim

A library for simulating quantum circuits.

@hackage/hypertypes

Typed ASTs

@hackage/imj-animation

Animation Framework

@hackage/imj-base

Game engine with geometry, easing, animated text, delta rendering.

@hackage/incremental-sat-solver

Simple, Incremental SAT Solving as a Library

@hackage/infinite-search

Exhaustively searchable infinite sets.

@hackage/integer-logarithms

Integer logarithms.

@hackage/integer-roots

Integer roots and perfect powers

@hackage/iproute

IP Routing Table

@hackage/jps

Jump point search for Haskell

@hackage/kmeans-par

Sequential and parallel implementations of Lloyd's algorithm.

@hackage/kmp-dfa

KMP algorithm implementation, based on Deterministic Finite State Automata

@hackage/lca

O(log n) persistent online lowest common ancestor search without preprocessing

@hackage/learning-hmm

Yet another library for hidden Markov models

@hackage/libgraph

Store and manipulate data in a graph.

@hackage/majority

Boyer-Moore Majority Vote Algorithm

@hackage/markov-chain

Markov Chains for generating random sequences with a user definable behaviour.

@hackage/massiv-serialise

Compatibility of 'massiv' with 'serialise'

@hackage/maximal-cliques

Enumerate all maximal cliques of a graph.

@hackage/mdp

Tools for solving Markov Decision Processes.

@hackage/mempack

Short description

@hackage/moo

Genetic algorithm library

@hackage/natural-sort

User-friendly text collation

@hackage/nonlinear-optimization-ad

Wrapper of nonlinear-optimization package for using with AD package

@hackage/nonlinear-optimization-backprop

Wrapper of nonlinear-optimization package for using with backprop package

@hackage/number-wall

Create number walls and save them as images

@hackage/numeric-optimization

Unified interface to various numerical optimization algorithms

@hackage/numeric-optimization-ad

Wrapper of numeric-optimization package for using with AD package

@hackage/numeric-optimization-backprop

Wrapper of numeric-optimization package for using with backprop package

@hackage/outsort

External sorting package based on Conduit

@hackage/palindromes

Finding palindromes in strings

@hackage/pathfinding

pathfinding in grid and graphs

@hackage/patience

Patience diff and longest increasing subsequence

@hackage/pell

Package to solve the Generalized Pell Equation.

@hackage/pqueue-mtl

Fully encapsulated monad transformers with queuelike functionality.

@hackage/presburger

A decision procedure for quantifier-free linear arithmetic.

@hackage/primal

Primeval world of Haskell.

@hackage/primal-memory

Unified interface for memory managemenet.

@hackage/primes

Efficient, purely functional generation of prime numbers

@hackage/primes-type

Type-safe prime numbers.

@hackage/primesieve

FFI bindings for the primesieve library.

@hackage/pure-shuffle

@hackage/qchas

A library for implementing Quantum Algorithms

@hackage/quadratic-irrational

An implementation of quadratic irrationals

@hackage/queuelike

A library of queuelike data structures, both functional and stateful.

@hackage/rangemin

Linear range-min algorithms.

@hackage/raz

Random Access Zippers

@hackage/rspp

A Rational Street Performer Protocol solver

@hackage/sat-micro-hs

A minimal SAT solver

@hackage/satchmo

SAT encoding monad

@hackage/satchmo-backends

driver for external satchmo backends

@hackage/satchmo-examples

examples that show how to use satchmo

@hackage/satchmo-funsat

funsat driver as backend for satchmo

@hackage/satchmo-toysat

toysat driver as backend for satchmo

@hackage/search-algorithms

Common graph search algorithms

@hackage/seqalign

Sequence Alignment

@hackage/set-cover

Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube

@hackage/sgd

Stochastic gradient descent library

@hackage/smartGroup

group strings or bytestrings by words in common

@hackage/spacefill

Generators for space-filling curves.

@hackage/stable-marriage

algorithms around stable marriage

@hackage/svm-simple

Medium level, simplified, bindings to libsvm

@hackage/teams

Graphical modeling tools for sequential teams

@hackage/text-metrics

Calculate various string metrics efficiently

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@hackage/tsne

t-SNE

@hackage/twentyseven

Rubik's cube solver

@hackage/typed-session-state-algorithm

Automatically generate status for typed-session.

@hackage/unification-fd

Simple generic unification algorithms.

@hackage/union-find

Efficient union and equivalence testing of sets.

@hackage/union-find-array

union find data structure

@hackage/vector-quicksort

Fast and flexible quicksort implementation for mutable vectors

@hackage/wordsearch

A word search solver library and executable

@hackage/yices-easy

Simple interface to the Yices SMT (SAT modulo theories) solver.