Algorithms

Algorithms implemented in Haskell, like sorting, searching

149 results

@hackage / AlanDeniseEricLauren Find the minimal subset/submap satisfying some property.
- Version: 0.1.0.1
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / satchmo-examples examples that show how to use satchmo
- Version: 1.8.1
- Last uploaded: 15 years ago
- License: LicenseRef-GPL
@hackage / algebraic-edge-graphs A library for algebraic edge-graph construction and transformation
- Version: 0.1.1
- Last uploaded: 2 months ago
- License: MIT
@hackage / number-wall Create number walls and save them as images
- Version: 0.1.0.3
- Last uploaded: 3 years ago
- License: MIT
@hackage / imj-animation Animation Framework
- Version: 0.1.0.2
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / dtw (Fast) Dynamic Time Warping
- Version: 1.0.3.0
- Last uploaded: 10 years ago
- License: MIT
@hackage / Adaptive Library for incremental computing.
- Version: 0.23
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / exact-cover Efficient exact cover solver.
- Version: 0.1.0.0
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / primesieve FFI bindings for the primesieve library.
- Version: 0.2.0
- Last uploaded: 2 years ago
- License: MIT
@hackage / mdp Tools for solving Markov Decision Processes.
- Version: 0.1.1.0
- Last uploaded: 9 years ago
- License: MIT
@hackage / batching An Applicative Functor deferring actions to run in a batch later.
- Version: 0.1.0.0
- Last uploaded: 3 years ago
- License: Apache-2.0
@hackage / GraphSCC Tarjan's algorithm for computing the strongly connected components of a graph.
- Version: 1.0.4
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / gutenberg-fibonaccis The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project.
- Version: 1.1.0
- Last uploaded: 14 years ago
- License: GPL-3.0-only
@hackage / concorde Simple interface to the Concorde solver for the Traveling Salesperson Problem
- Version: 0.1
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / DifferentialEvolution Global optimization using Differential Evolution
- Version: 0.0.2
- Last uploaded: 15 years ago
- License: MIT
@hackage / aeson-diff Extract and apply patches to JSON documents.
- Version: 1.1.0.15
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / GA Genetic algorithm library
- Version: 1.0
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / hqcsim A library for simulating quantum circuits.
- Version: 0.1.0.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / hypertypes Typed ASTs
- Version: 0.2.2
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / toysolver Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
- Version: 0.9.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / DimensionalHash An n-dimensional hash using Morton numbers.
- Version: 0.1.5.2
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / seqalign Sequence Alignment
- Version: 0.2.0.4
- Last uploaded: 11 years ago
- License: BSD-3-Clause
@hackage / primal-memory Unified interface for memory managemenet.
- Version: 0.3.0.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / markov-chain Markov Chains for generating random sequences with a user definable behaviour.
- Version: 0.0.3.4
- Last uploaded: about 1 year ago
- License: LicenseRef-GPL
@hackage / patience Patience diff and longest increasing subsequence
- Version: 0.3
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / HMM A hidden markov model library
- Version: 0.2.1
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / epanet-haskell Haskell binding for EPANET
- Version: 2.0.12.4
- Last uploaded: 12 years ago
- License: GPL-3.0-only
@hackage / MIP Library for using Mixed Integer Programming (MIP)
- Version: 0.2.0.1
- Last uploaded: 5 months ago
- License: BSD-3-Clause
@hackage / adp-multi-monadiccp Subword construction in adp-multi using monadiccp
- Version: 0.2.1
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / smartGroup group strings or bytestrings by words in common
- Version: 0.3.0
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / quadratic-irrational An implementation of quadratic irrationals
- Version: 0.1.2
- Last uploaded: 11 months ago
- License: MIT
@hackage / nonlinear-optimization-ad Wrapper of nonlinear-optimization package for using with AD package
- Version: 0.2.4
- Last uploaded: 3 years ago
- License: GPL-3.0-only
@hackage / typed-session-state-algorithm Automatically generate status for typed-session.
- Version: 0.5.0.0
- Last uploaded: about 1 year ago
- License: MIT
@hackage / Diff Diff algorithm in pure Haskell
- Version: 1.0.2
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / natural-sort User-friendly text collation
- Version: 0.1.2
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / grfn Uniformly-random pre-factored numbers (Kalai)
- Version: 1.0.0.1
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / ac-library-hs Data structures and algorithms
- Version: 1.5.3.2
- Last uploaded: 2 months ago
- License: CC0-1.0
@hackage / sat-micro-hs A minimal SAT solver
- Version: 0.1.1
- Last uploaded: 18 years ago
- License: LicenseRef-LGPL
@hackage / Graphalyze Graph-Theoretic Analysis library.
- Version: 0.15.0.0
- Last uploaded: 9 years ago
- License: LicenseRef-OtherLicense
@hackage / satchmo-toysat toysat driver as backend for satchmo
- Version: 0.2.1.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / vector-quicksort Fast and flexible quicksort implementation for mutable vectors
- Version: 0.2
- Last uploaded: about 1 year ago
- License: Apache-2.0
@hackage / adp-multi ADP for multiple context-free languages
- Version: 0.2.3
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / hmm A hidden markov model library
- Version: 0.2.1.1
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / ersatz A monad for expressing SAT or QSAT problems using observable sharing.
- Version: 0.6
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / binary-search Binary and exponential searches
- Version: 2.0.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / rspp A Rational Street Performer Protocol solver
- Version: 0.1.0.1
- Last uploaded: 11 years ago
- License: MIT
@hackage / AlignmentAlgorithms Collection of alignment algorithms
- Version: 0.1.0.0
- Last uploaded: 9 years ago
- License: GPL-3.0-only
@hackage / outsort External sorting package based on Conduit
- Version: 0.1.0
- Last uploaded: 7 years ago
- License: MIT
@hackage / set-cover Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube
- Version: 0.1.2.1
- Last uploaded: 3 weeks ago
- License: BSD-3-Clause
@hackage / sgd Stochastic gradient descent library
- Version: 0.8.0.3
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / ersatz-toysat toysat driver as backend for ersatz
- Version: 0.2.2.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / fast-arithmetic Fast functions on integers.
- Version: 0.6.7.0
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / presburger A decision procedure for quantifier-free linear arithmetic.
- Version: 1.3.1
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / satchmo-backends driver for external satchmo backends
- Version: 1.9.1
- Last uploaded: 15 years ago
- License: LicenseRef-GPL
@hackage / numeric-optimization-backprop Wrapper of numeric-optimization package for using with backprop package
- Version: 0.1.0.1
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / garsia-wachs A Functional Implementation of the Garsia-Wachs Algorithm
- Version: 1.2
- Last uploaded: 18 years ago
- License: BSD-3-Clause
@hackage / MIP-glpk A GLPK backend to the MIP library.
- Version: 0.2.0.1
- Last uploaded: 5 months ago
- License: GPL-3.0-only
@hackage / graphs A simple monadic graph library
- Version: 0.7.3
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / edit-distance-vector Calculate edit distances and edit scripts between vectors.
- Version: 1.0.0.4
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / qchas A library for implementing Quantum Algorithms
- Version: 1.1.0.1
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / pure-shuffle
- Version: 0.1.1.1
- Last uploaded: 7 years ago
- License: Apache-2.0
@hackage / LinearSplit Partition the sequence of items to the subsequences in the order given
- Version: 0.2.1
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / Munkres-simple Simple and typesafe layer over the Munkres package.
- Version: 0.1.0.1
- Last uploaded: 11 years ago
- License: BSD-3-Clause
@hackage / satchmo SAT encoding monad
- Version: 2.9.9.5
- Last uploaded: about 1 year ago
- License: GPL-2.0-only
@hackage / lca O(log n) persistent online lowest common ancestor search without preprocessing
- Version: 0.4
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / TrieMap Automatic type inference of generalized tries with Template Haskell.
- Version: 4.1.0
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / svm-simple Medium level, simplified, bindings to libsvm
- Version: 0.2.7.1
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / assignment A solution to the assignment problem
- Version: 0.0.1.0
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / arithmoi Efficient basic number-theoretic functions.
- Version: 0.13.4.0
- Last uploaded: 3 weeks ago
- License: MIT
@hackage / imj-base Game engine with geometry, easing, animated text, delta rendering.
- Version: 0.1.0.2
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / ChibiHash a simple and fast 64-bit hash function
- Version: 0.2.0.0
- Last uploaded: about 1 year ago
- License: MIT
@hackage / DP Pragmatic framework for dynamic programming
- Version: 0.1.1
- Last uploaded: 16 years ago
- License: BSD-3-Clause
@hackage / KMP Knuth–Morris–Pratt string searching algorithm
- Version: 0.2.0.0
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / Binpack Common bin-packing heuristics.
- Version: 0.4.1
- Last uploaded: 12 years ago
- License: BSD-3-Clause
@hackage / search-algorithms Common graph search algorithms
- Version: 0.3.4
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / palindromes Finding palindromes in strings
- Version: 1.1.0.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / primes Efficient, purely functional generation of prime numbers
- Version: 0.2.1.0
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / conduit-aeson Short description
- Version: 0.1.1.0
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / numeric-optimization-ad Wrapper of numeric-optimization package for using with AD package
- Version: 0.1.0.1
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / ADPfusionSet Dynamic programming for Set data structures.
- Version: 0.0.0.2
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / primal Primeval world of Haskell.
- Version: 0.3.0.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / fuzzystrmatch-pg Determine string similarities and distance
- Version: 0.1.0.0
- Last uploaded: 2 months ago
- License: MIT
@hackage / kmp-dfa KMP algorithm implementation, based on Deterministic Finite State Automata
- Version: 0.1.0.1
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / union-find-array union find data structure
- Version: 0.1.0.4
- Last uploaded: 2 years ago
- License: MIT
@hackage / wordsearch A word search solver library and executable
- Version: 1.0.1
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / text-metrics Calculate various string metrics efficiently
- Version: 0.3.3
- Last uploaded: 6 months ago
- License: BSD-3-Clause
@hackage / Munkres Munkres' assignment algorithm (hungarian method)
- Version: 0.1
- Last uploaded: 17 years ago
- License: BSD-3-Clause
@hackage / iproute IP Routing Table
- Version: 1.7.15
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / majority Boyer-Moore Majority Vote Algorithm
- Version: 1.1
- Last uploaded: 15 years ago
- License: LicenseRef-PublicDomain
@hackage / edit-distance Levenshtein and restricted Damerau-Levenshtein edit distances
- Version: 0.2.2.1
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / moo Genetic algorithm library
- Version: 1.2
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / integer-roots Integer roots and perfect powers
- Version: 1.0.4.0
- Last uploaded: 7 months ago
- License: MIT
@hackage / fibonacci Fast computation of Fibonacci numbers.
- Version: 0.2.0.1
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / PropLogic Propositional Logic
- Version: 0.9.0.4
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@cardano / moo Genetic algorithm library
- Version: 1.2.0.0.0.0.1
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / learning-hmm Yet another library for hidden Markov models
- Version: 0.3.2.2
- Last uploaded: 11 years ago
- License: MIT
@hackage / Numbers An assortment of number theoretic functions
- Version: 0.2.1
- Last uploaded: 17 years ago
- License: LicenseRef-LGPL
@hackage / hlcm Fast algorithm for mining closed frequent itemsets
- Version: 0.2.2
- Last uploaded: 16 years ago
- License: BSD-3-Clause
@hackage / genprog Genetic programming library
- Version: 0.1.0.2
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / edit-distance-linear Efficient implementation of the Levenshtein edit distance in linear memory.
- Version: 0.2.0.2
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / unification-fd Simple generic unification algorithms.
- Version: 0.12.0.3
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / Hungarian-Munkres A Linear Sum Assignment Problem (LSAP) solver
- Version: 0.1.5
- Last uploaded: 11 years ago
- License: GPL-3.0-only
@hackage / bordacount Implementation of the Borda count election method.
- Version: 0.1.0.0
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / kmeans-par Sequential and parallel implementations of Lloyd's algorithm.
- Version: 1.5.1
- Last uploaded: 12 years ago
- License: MIT
@hackage / tsne t-SNE
- Version: 1.3.0
- Last uploaded: 9 years ago
- License: LicenseRef-LGPL
@hackage / algraph Graph library using adjacency list representation
- Version: 0.7.0.0
- Last uploaded: 3 months ago
- License: LGPL-3.0-only
@hackage / ADPfusion Efficient, high-level dynamic programming.
- Version: 0.6.0.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / twentyseven Rubik's cube solver
- Version: 1.0.0
- Last uploaded: 11 months ago
- License: MIT
@hackage / collate An Applicative Functor for extracting parts of a stream of values
- Version: 0.1.0.0
- Last uploaded: 3 years ago
- License: Apache-2.0
@hackage / DecisionTree A very simple implementation of decision trees for discrete attributes.
- Version: 0.0
- Last uploaded: 17 years ago
- License: LicenseRef-LGPL
@hackage / nonlinear-optimization-backprop Wrapper of nonlinear-optimization package for using with backprop package
- Version: 0.2.4
- Last uploaded: 3 years ago
- License: GPL-3.0-only
@hackage / integer-logarithms Integer logarithms.
- Version: 1.0.5
- Last uploaded: 5 months ago
- License: MIT
@hackage / rangemin Linear range-min algorithms.
- Version: 2.2.2
- Last uploaded: 16 years ago
- License: BSD-3-Clause
@hackage / NumberSieves Number Theoretic Sieves: primes, factorization, and Euler's Totient
- Version: 0.1.2
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / graph-generators Functions for generating structured or random FGL graphs
- Version: 0.1.4.0
- Last uploaded: 8 years ago
- License: Apache-2.0
@hackage / raz Random Access Zippers
- Version: 0.1.0.0
- Last uploaded: 9 years ago
- License: MIT
@hackage / pathfinding pathfinding in grid and graphs
- Version: 0.1.0.0
- Last uploaded: 11 years ago
- License: MIT
@hackage / equivalence Maintaining an equivalence relation implemented as union-find using STT.
- Version: 0.4.1.1
- Last uploaded: 10 months ago
- License: BSD-3-Clause
@hackage / numeric-optimization Unified interface to various numerical optimization algorithms
- Version: 0.1.1.0
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / infinite-search Exhaustively searchable infinite sets.
- Version: 0.12
- Last uploaded: 17 years ago
- License: BSD-3-Clause
@hackage / mempack Short description
- Version: 0.2.1.0
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / dom-lt The Lengauer-Tarjan graph dominators algorithm.
- Version: 0.2.4
- Last uploaded: 7 months ago
- License: BSD-3-Clause
@hackage / ListTree Trees and monadic trees expressed as monadic lists where the underlying monad is a list
- Version: 0.2.3
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / eigen Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers).
- Version: 3.3.7.0
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / cmaes CMA-ES wrapper in Haskell
- Version: 0.2.3
- Last uploaded: 5 years ago
- License: LicenseRef-OtherLicense
@hackage / teams Graphical modeling tools for sequential teams
- Version: 0.0.2.3
- Last uploaded: 16 years ago
- License: LicenseRef-GPL
@hackage / pqueue-mtl Fully encapsulated monad transformers with queuelike functionality.
- Version: 1.0.7
- Last uploaded: 17 years ago
- License: BSD-3-Clause
@hackage / stable-marriage algorithms around stable marriage
- Version: 0.2.2.0
- Last uploaded: 2 months ago
- License: BSD-3-Clause
@hackage / massiv-serialise Compatibility of 'massiv' with 'serialise'
- Version: 1.0.0.2
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / queuelike A library of queuelike data structures, both functional and stateful.
- Version: 1.0.9
- Last uploaded: 17 years ago
- License: BSD-3-Clause
@hackage / hps-kmeans A nice implementation of the k-Means algorithm.
- Version: 0.1.0.0
- Last uploaded: 14 years ago
- License: GPL-3.0-only
@hackage / libgraph Store and manipulate data in a graph.
- Version: 1.14
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / build Build Systems à la Carte
- Version: 1.1
- Last uploaded: 2 years ago
- License: MIT
@hackage / algebraic-graphs A library for algebraic graph construction and transformation
- Version: 0.8
- Last uploaded: 5 months ago
- License: MIT
@hackage / incremental-sat-solver Simple, Incremental SAT Solving as a Library
- Version: 0.1.8
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / yices-easy Simple interface to the Yices SMT (SAT modulo theories) solver.
- Version: 0.1
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / maximal-cliques Enumerate all maximal cliques of a graph.
- Version: 0.1.1
- Last uploaded: 11 years ago
- License: BSD-3-Clause
@hackage / pell Package to solve the Generalized Pell Equation.
- Version: 0.1.3.0
- Last uploaded: 6 years ago
- License: MIT
@hackage / jps Jump point search for Haskell
- Version: 0.1.0.0
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / union-find Efficient union and equivalence testing of sets.
- Version: 0.2
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / concurrent-sa Concurrent simulated annealing system.
- Version: 1.0.1
- Last uploaded: 16 years ago
- License: BSD-3-Clause
@hackage / satchmo-funsat funsat driver as backend for satchmo
- Version: 1.4
- Last uploaded: 17 years ago
- License: LicenseRef-GPL
@hackage / primes-type Type-safe prime numbers.
- Version: 0.2.0.3
- Last uploaded: 8 years ago
- License: ISC
@hackage / spacefill Generators for space-filling curves.
- Version: 0.1
- Last uploaded: 11 years ago
- License: LicenseRef-PublicDomain
@hackage / heapsort Heapsort of MArrays as a demo of imperative programming
- Version: 0.1.0
- Last uploaded: 16 years ago
- License: BSD-3-Clause
@hackage / funsat A modern DPLL-style SAT solver
- Version: 0.6.2
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / Ritt-Wu Parallel implementation of Ritt-Wu's algorithm.
- Version: 0.1.0.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / dgim Implementation of DGIM algorithm
- Version: 0.0.3
- Last uploaded: 11 years ago
- License: MIT
@hackage / external-sort Sort large arrays on your hard drive. Kind of like the unix util sort.
- Version: 0.2
- Last uploaded: 17 years ago
- License: BSD-3-Clause