Mathematics

@hackage/hcg-minus

haskell cg (minus)

@hackage/fin

Nat and Fin: peano naturals and finite numbers

@hackage/yices-painless

An embedded language for programming the Yices SMT solver

@hackage/exact-cover

Efficient exact cover solver.

@hackage/hypergeometric

Hypergeometric functions

@hackage/numeric-optimization

Unified interface to various numerical optimization algorithms

@hackage/Eq

Render math formula in ASCII, and perform some simplifications

@hackage/hmatrix-quadprogpp

Bindings to the QuadProg++ quadratic programming library

@hackage/permutations

Permutations of finite sets

@hackage/fixedprec

A fixed-precision real number type

@hackage/numericpeano

Peano numbers with attendant bells and whistles.

@hackage/siggy-chardust

Rounding rationals to significant digits and decimal places.

@hackage/recommender-als

Recommendations using alternating least squares algorithm

@hackage/homeomorphic

Homeomorphic Embedding Test

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/data-interval

Interval datatype, interval arithmetic and interval-based containers

@hackage/shapes-math

faster vector/matrix math using unboxed numbers and Template Haskell

@hackage/LetsBeRational

European option implied vol calculation

@hackage/extended-reals

Extension of real numbers with positive/negative infinities

@hackage/cayley-dickson

Complex numbers, quaternions, octonions, sedenions, etc.

@hackage/numeric-prelude

An experimental alternative hierarchy of numeric type classes

@hackage/pangraph

A set of parsers for graph languages and conversions to graph libaries.

@hackage/phladiprelio-general-simple

A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms.

@hackage/stable-maps

Heterogeneous maps keyed by StableNames

@hackage/curve25519

Fast implementations of the curve25519 elliptic curve primitives.

@hackage/scubature

Multidimensional integration over simplices

@hackage/linear-tests

Linear Algebra

@hackage/statistics-dirichlet

Functions for working with Dirichlet densities and mixtures on vectors.

@hackage/FirstOrderTheory

Grammar and typeclass for first order theories

@hackage/canon

Arithmetic for Psychedelically Large Numbers

@hackage/numbers

Various number types

@hackage/AC-Vector-Fancy

Fancy type-system stuff for AC-Vector

@hackage/spline3

Parallel implementation of the Sorokina/Zeilfelder spline scheme

@hackage/sde-solver

Distributed SDE solver

@hackage/goal-simulation

Mealy based simulation tools

@hackage/vowpal-utils

Vowpal Wabbit utilities

@hackage/xdot

Parse Graphviz xdot files and interactively view them using GTK and Cairo

@hackage/fad

Forward Automatic Differentiation.

@hackage/HerbiePlugin

automatically improve your code's numeric stability

@hackage/uniqueness-periods-vector

Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality.

@hackage/acts

Semigroup actions and torsors.

@hackage/fib

fibonacci algebra

@hackage/diophantine

A quadratic diophantine equation solving library.

@hackage/pure-fft

Fast Fourier Transform

@hackage/partial-semigroup

A partial binary associative operator

@hackage/interpolation

piecewise linear and cubic Hermite interpolation

@hackage/clumpiness

Calculate the clumpiness of leaf properties in a tree

@hackage/ease

Robert Penner's easing equations

@hackage/hmatrix-gsl

Numerical computation

@hackage/checksum

Compute and verify checksums of ISBN, IBAN, etc.

@hackage/hopfield-networks

Hopfield Networks for unsupervised learning in Haskell

@hackage/miniball

Bindings to Miniball, a smallest enclosing ball library

@hackage/handa-geodata

Geographic and Geometric Data

@hackage/rivers

Rivers are like Streams, but different.

@hackage/mcl

Bindings to mcl, a generic and fast pairing-based cryptography library

@hackage/linear-accelerate

Lifting linear vector spaces into Accelerate

@hackage/stochastic

Monadic composition of probabilistic functions and sampling.

@hackage/plankton

The core of a numeric prelude, taken from numhask

@hackage/numhask-test

Laws and tests for numhask

@hackage/Dist

A Haskell library for probability distributions

@hackage/np-extras

NumericPrelude extras

@hackage/diagrams-solve

Pure Haskell solver routines used by diagrams

@hackage/grakn

A Haskell client for Grakn

@hackage/natural-induction

Induction over natural numbers

@hackage/HERA

@hackage/digraph

Directed Graphs

@hackage/monad-lrs

a monad to calculate linear recursive sequence

@hackage/hsilop

RPN calculator

@hackage/search

Infinite search in finite time with Hilbert's epsilon

@hackage/graph-matchings

An implementation of algorithms for matchings in graphs

@hackage/garepinoh

reverse prefix notation calculator and calculation library

@hackage/cubicbezier

Efficient manipulating of 2D cubic bezier curves.

@hackage/detour-via-uom

JSON and CSV encoding for quantities.

@hackage/covariance

Well-conditioned estimation of large-dimensional covariance matrices

@hackage/unification-fd

Simple generic unification algorithms.

@hackage/posit

Posit Numbers

@hackage/phonetic-languages-constaints

Constraints to filter the needed permutations

@hackage/altfloat

Alternative floating point support for GHC.

@hackage/fast-combinatorics

Fast combinatorics.

@hackage/hmatrix-gsl-stats

GSL Statistics interface

@hackage/ks-test

Kolmogorov distribution and Kolmogorov-Smirnov test.

@hackage/numerical

core package for Numerical Haskell project

@hackage/function-instances-algebra

Instances of the Algebra.* classes for functions

@hackage/sparse-lin-alg

Effective linear algebra on sparse matrices

@hackage/LargeCardinalHierarchy

A transfinite cardinal arithmetic library including all known large cardinals

@hackage/fftwRaw

Low level bindings to FFTW.

@hackage/regression-simple

Simple linear and quadratic regression

@hackage/backprop

Heterogeneous automatic differentation

@hackage/Graphalyze

Graph-Theoretic Analysis library.

@hackage/hdr-histogram

Haskell implementation of High Dynamic Range (HDR) Histograms

@hackage/np-linear

Linear algebra for the numeric-prelude framework

@hackage/GeomPredicates

Geometric predicates

@hackage/exact-kantorovich

Exact Kantorovich distance between finite probability measures.

@hackage/tensort

Tunable sorting for responsive robustness and beyond

@hackage/phonetic-languages-simplified-properties-array-old

Some properties of the data related to rhythmicity.

@hackage/semirings

two monoids as one, in holy haskimony

@hackage/bindings-saga-cmd

Wrapping saga_cmd

@hackage/interval-algebra

An implementation of Allen's interval algebra for temporal logic

@hackage/Lattices

A library for lattices

@hackage/polynomial-algebra

Multivariate polynomial rings

@hackage/mcmc-samplers

Combinators for MCMC sampling

@hackage/phonetic-languages-permutations

Commonly used versions of the phonetic-languages-common package

@hackage/word

Words of arbitrary size

@hackage/graphs

A simple monadic graph library

@hackage/igraph

Bindings to the igraph C library.

@hackage/unittyped

An extendable library for type-safe computations including units.

@hackage/quote-quot

Divide without division

@hackage/fftw-ffi

Low-level interface to FFTW (Fast Fourier Transform)

@hackage/glpk-hs

Comprehensive GLPK linear programming bindings

@hackage/variable-precision

variable-precision floating point

@hackage/OGDF

Haskell binding to OGDF

@hackage/frotate

Advanced rotation of backups and other things

@hackage/yices

Haskell programming interface to Yices SMT solver

@hackage/accelerate-fftw

Accelerate frontend to the FFTW library (Fourier transform)

@hackage/porcupine-core

Express portable, composable and reusable data tasks and pipelines

@hackage/digamma

A (deprecated) implementation of the digamma function

@hackage/data-nat

data Nat = Zero | Succ Nat

@hackage/pure-noise

Performant, modern noise generation for Haskell with minimal dependencies. Based on FastNoiseLite.

@hackage/gasp

A framework of algebraic classes

@hackage/dimensions

Safe type-level dimensionality for multidimensional data.

@hackage/arithmoi

Efficient basic number-theoretic functions.

@hackage/oeis

Interface to the Online Encyclopedia of Integer Sequences (OEIS)

@hackage/delaunayNd

Delaunay tessellation

@hackage/lapack-ffi

Auto-generated interface to Fortran LAPACK

@hackage/tensor

A completely type-safe library for linear algebra

@hackage/qhull-simple

Simple bindings to Qhull, a library for computing convex hulls

@hackage/haskell-eigen-util

Some utility functions for haskell-eigen library

@hackage/matrix-sized

Haskell matrix library with interface to C++ linear algebra libraries.

@hackage/phonetic-languages-constraints

Constraints to filter the needed permutations

@hackage/theta-functions

Theta-functions implemented as trigonometric series

@hackage/AC-Colour

Efficient RGB colour types.

@hackage/poker-eval

Binding to libpoker-eval

@hackage/pig

dice game

@hackage/phonetic-languages-simplified-examples-common

Some commonly used by phonetic-languages-simplified* series functions.

@hackage/AERN-Net

Compositional lazy dataflow networks for exact real number computation

@hackage/constructible

Exact computation with constructible real numbers

@hackage/dyckword

A library for working with binary Dyck words.

@hackage/polynom

Polynomial types and operations

@hackage/phonetic-languages-constraints-array

Constraints to filter the needed permutations

@hackage/numtype-tf

Type-level (low cardinality) integers, implemented using type families.

@hackage/geos

Bindings for GEOS.

@hackage/combinatorial

Count, enumerate, rank and unrank combinatorial objects

@hackage/phladiprelio-rhythmicity-shared

Allows to estimate some kind of the rhythmicity properties for the text

@hackage/quantizer

Library to provide the behaviour similar to quantum states superposition.

@hackage/resistor-cube

Compute total resistance of a cube of resistors

@hackage/groups-generic

Generically derive Group instances.

@hackage/vector-space-points

A type for points, as distinct from vectors.

@hackage/affine-invariant-ensemble-mcmc

General-purpose sampling

@hackage/ad-delcont

Reverse-mode automatic differentiation with delimited continuations

@hackage/lean-peano

A maximally lazy, simple implementation of the Peano numbers with minimal dependencies.

@hackage/MeanShift

Mean shift algorithm

@hackage/dense-linear-algebra

Simple and incomplete pure haskell implementation of linear algebra

@hackage/nat-sized-numbers

Variable-sized numbers from type-level nats.

@hackage/hmatrix-syntax

MATLAB-like syntax for hmatrix vectors and matrices

@hackage/caffegraph

@hackage/linear

Linear Algebra

@hackage/tropical-geometry

A Tropical Geometry package for Haskell

@hackage/linearEqSolver

Use SMT solvers to solve linear systems over integers and rationals

@hackage/casadi-bindings-ipopt-interface

low level bindings to casadi-ipopt_interface

@hackage/uncertain

Manipulating numbers with inherent experimental/measurement uncertainty

@hackage/topograph

Directed acyclic graphs.

@hackage/GaussQuadIntegration

Non-adaptive Gaussian quadrature for numeric integraton

@hackage/AC-Terminal

Trivial wrapper over ansi-terminal.

@hackage/numhask

A numeric class hierarchy.

@hackage/qd-vec

'Vec' instances for 'qd' types

@hackage/cl3-linear-interface

Interface to/from Cl3 and Linear.

@hackage/Mantissa

Reals in the interval [0,1), as machine words

@hackage/th-cas

Compile-time CAS(Computer Algebra System)

@hackage/hypergeomatrix

Hypergeometric function of a matrix argument

@hackage/elbow

Find the elbow point.

@hackage/erf-native

Native Haskell implementation of the interface from the erf package

@hackage/ieee

Utilities for dealing with IEEE floating point numbers

@hackage/reducers

Semigroups, specialized containers and a general map/reduce framework

@hackage/hmatrix-backprop

hmatrix operations lifted for backprop

@hackage/splines

B-Splines, other splines, and NURBS.

@hackage/finite-field

Finite Fields

@hackage/hspray

Multivariate polynomials and fractions of multivariate polynomials.

@hackage/rounding

Explicit floating point rounding mode wrappers

@hackage/wide-word-instances

Instances for wide-word

@hackage/blas-carray

Auto-generated interface to Fortran BLAS via CArrays

@hackage/grid

Tools for working with regular grids (graphs, lattices).

@hackage/left4deadrl

left4dead-inspired roguelike

@hackage/distribution-plot

Easily plot distributions from the distribution package..

@hackage/battleship-combinatorics

Compute number of possible arrangements in the battleship game

@hackage/cplex-hs

high-level CPLEX interface

@hackage/hgeometric

A geometric library with bindings to GPC.

@hackage/speedy-slice

Speedy slice sampling.

@hackage/phladiprelio-ukrainian-shared

A shared by different Ukrainian implementations of the PhLADiPreLiO functionality.

@hackage/mod

Fast type-safe modular arithmetic

@hackage/AC-Boolean

Handle Boolean values generatically.

@hackage/mighty-metropolis

The Metropolis algorithm.

@hackage/casadi-bindings-core

autogenerated low level bindings to casadi

@hackage/bin

Bin: binary natural numbers.

@hackage/calendar-recycling

List years with the same calendars

@hackage/fast-arithmetic

Fast functions on integers.

@hackage/Vec-Transform

This package is obsolete

@haskell/integer-gmp

Integer library based on GMP

@hackage/graph-rewriting-gl

OpenGL interface for interactive port graph rewriting

@hackage/Probnet

Geometric Extrapolation of Integer Sequences with error prediction

@hackage/graph-rewriting-layout

Force-directed node placement intended for incremental graph drawing

@hackage/free-vector-spaces

Instantiate the classes from the vector-space package with types from linear

@hackage/pos

positive numbers

@hackage/phonetic-languages-simplified-common

A simplified version of the phonetic-languages-functionality

@hackage/phladiprelio-ukrainian-simple

A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency.

@hackage/accelerate-blas

Numeric Linear Algebra in Accelerate

@hackage/math-grads

Library containing graph data structures and graph algorithms

@hackage/compensated

Compensated floating-point arithmetic

@hackage/combinatorics

Efficient computation of common combinatoric functions.

@hackage/foldl-statistics

Statistical functions from the statistics package implemented as Folds.

@hackage/rounded

Correctly-rounded arbitrary-precision floating-point arithmetic

@hackage/factory

Rational arithmetic in an irrational world.

@hackage/phonetic-languages-simplified-generalized-examples-array

Helps to create texts with the given phonetic properties (e. g. poetic).

@hackage/ZEBEDDE

Polymer growth simulation method

@hackage/hmatrix-sundials

hmatrix interface to sundials

@hackage/mersenne-random-pure64

Generate high quality pseudorandom numbers purely using a Mersenne Twister

@hackage/hcdt

2d Delaunay triangulation

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

@hackage/arrayfire

Haskell bindings to the ArrayFire general-purpose GPU library

@hackage/boolector

Haskell bindings for the Boolector SMT solver

@hackage/numerals

Convert numbers to number words

@hackage/coinor-clp

Linear Programming using COIN-OR/CLP and comfort-array

@hackage/combinat-compat

Generate and manipulate various combinatorial objects.

@hackage/ratio-int

Fast specialisation of Data.Ratio for Int.

@hackage/fadno-braids

Braid representations in Haskell

@hackage/goal-probability

Optimization on manifolds of probability distributions with Goal

@hackage/Smooth

A tiny, lazy SMT solver

@hackage/non-negative

Non-negative numbers

@hackage/numerical-integration

Numerical integration.

@hackage/semilattices

Semilattices

@hackage/stp

Simple Theorem Prover

@hackage/finite-semigroups

Operations and classification for finite semigroups

@hackage/terntup

a ternary library

@hackage/manifold-random

Sampling random points on general manifolds.

@hackage/gsl-random

Bindings the the GSL random number generation facilities.

@hackage/symengine-hs

SymEngine symbolic mathematics engine for Haskell

@hackage/HROOT-core

Haskell binding to ROOT Core modules

@hackage/jalaali

Jalaali calendar systems

@hackage/numeric-optimization-ad

Wrapper of numeric-optimization package for using with AD package

@hackage/integer-logarithms

Integer logarithms.

@hackage/wkt-types

A library for working with .wkt files.

@hackage/half

Half-precision floating-point

@hackage/sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT

@hackage/HNumeric

Haskell Numeric Library with pure functionality, R & MATLAB Syntax.

@hackage/probability

Probabilistic Functional Programming

@hackage/z3

Bindings for the Z3 Theorem Prover

@hackage/expressions

Expressions and Formulae a la carte

@hackage/linear-grammar

A simple grammar for building linear equations and inclusive inequalities.

@hackage/spatial-rotations

Rotate about any suitable axis

@hackage/mwc-random

Fast, high quality pseudo random number generation

@hackage/normaldistribution

Minimum fuss normally distributed random values.

@hackage/ascii-numbers

ASCII representations of numbers

@hackage/Cartesian

Coordinate systems

@hackage/phonetic-languages-permutations-array

Permutations and universal set related functions for the phonetic-languages series

@hackage/combinat-diagrams

Graphical representations for various combinatorial objects

@hackage/lens-aeson

Law-abiding lenses for aeson

@hackage/NumberTheory

A library for number theoretic computations, written in Haskell.

@hackage/sum-pyramid

Create Sum Pyramid (Additionstreppe) exercises

@hackage/approx

Easy-to-use emulation of approximate, ranges and tolerances in Haskell

@hackage/tdigest

On-line accumulation of rank-based statistics

@hackage/exp-pairs

Linear programming over exponent pairs

@hackage/converge

Limit operations for converging sequences

@haskell/ghc-bignum

GHC BigNum library

@hackage/sym-plot

Plot permutations; an addition to the sym package

@hackage/deka-tests

Tests for deka, decimal floating point arithmetic

@hackage/numhask-hedgehog

Laws and tests for numhask

@hackage/notzero

A data type for representing numeric values, except zero.

@hackage/knots

Khovanov homology computations

@hackage/AERN-Real

arbitrary precision real interval arithmetic

@hackage/applicative-numbers

Applicative-based numeric instances

@hackage/algebraic-graphs-io

I/O utilities and datasets for algebraic-graphs

@hackage/erf

The error function, erf, and related functions.

@hackage/SmithNormalForm

A lightweight Haskell implementation of Smith normal form over the integers.

@hackage/Paillier

a simple Paillier cryptosystem

@hackage/plot-gtk-ui

A quick way to use Mathematica like Manipulation abilities

@hackage/reservoir

Unweighted reservoir sampling

@hackage/LATS

Linear Algebra on Typed Spaces

@hackage/burst-detection

Burst detection algorithms

@hackage/blas

Bindings to the BLAS library

@hackage/vector-fft

Native FFT and IFFT for vector

@hackage/atp

Interface to automated theorem provers

@hackage/HaskellForMaths

Combinatorics, group theory, commutative algebra, non-commutative algebra

@hackage/NaperianNetCDF

Instances of NcStore for hypercuboids

@hackage/linear-code

A simple library for linear codes (coding theory, error correction)

@hackage/caldims

Calculation tool and library supporting units

@hackage/hmatrix-vector-sized

Conversions between hmatrix and vector-sized types

@hackage/HROOT-net

Haskell binding to ROOT Net modules

@hackage/finite-fields

Arithmetic in finite fields

@hackage/linear-programming

Linear Programming basic definitions

@hackage/ireal

Real numbers and intervals with relatively efficient exact arithmetic.

@hackage/phonetic-languages-simplified-properties-array-common

Common functionality for 'with-tuples' and old version of properties.

@hackage/goal-graphical

Optimization of latent variable and dynamical models with Goal

@hackage/uniqueness-periods-vector-general

Some kind of the optimization approach to data inner structure.

@hackage/cmaes

CMA-ES wrapper in Haskell

@hackage/RoundingFiasco

rounding variants floor, ceil and truncate for floating point operations +-*/√…

@hackage/iter-stats

iteratees for statistical processing

@hackage/HasBigDecimal

A library for arbitrary precision decimal numbers.

@hackage/ieee-utils-tempfix

ieee-utils

@hackage/factor

Factoring integers and polynomials

@hackage/cash

the Computer Algebra SHell

@hackage/equational-reasoning-induction

Proof assistant for Haskell using DataKinds & PolyKinds

@hackage/numeric-kinds

Type-level numeric types and classes

@hackage/dimensional-tf

Statically checked physical dimensions, implemented using type families.

@hackage/Data-Angle

Geometric angles

@hackage/numeric-quest

Math and quantum mechanics

@hackage/staf

Numerical statistics for Foldable containers

@hackage/reader-soup

Vinyl-based reader-like monad composition

@hackage/sym

Permutations, patterns, and statistics

@hackage/linear-circuit

Compute resistance of linear electrical circuits

@hackage/algebraic

General linear algebra structures.

@hackage/linear-algebra-cblas

A linear algebra library with bindings to BLAS and LAPACK

@hackage/hmatrix-mmap

Memory map Vector from disk into memory efficiently

@hackage/fractionizer

Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types.

@hackage/deka

Decimal floating point arithmetic

@hackage/hmatrix-svdlibc

SVDLIBC bindings for HMatrix

@hackage/real-dice

Random number generation based on physical media touched by humans

@hackage/mathexpr

Parse and evaluate math expressions with variables and functions

@hackage/linear-geo

Geographic coordinates, built on the linear package.

@hackage/dot

Datatypes and encoding for graphviz dot files

@hackage/pell

Package to solve the Generalized Pell Equation.

@hackage/fgl-arbitrary

QuickCheck support for fgl

@hackage/jacobi-roots

Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision

@hackage/wuerfelschlange

Code for the dice chain problem

@hackage/Logic

Logic

@hackage/integer-types

Integer, Natural, and Positive

@hackage/cmu

Unification in a Commutative Monoid

@hackage/moving-averages

This is a library for calculating moving averages on lists of numbers.

@hackage/permutation

A library for permutations and combinations.

@hackage/FiniteCategoriesGraphViz

Transform objects of the package FiniteCategories into graphs using GraphViz.

@hackage/lapack-carray

Auto-generated interface to Fortran LAPACK via CArrays

@hackage/units

A domain-specific type system for dimensional analysis

@hackage/phladiprelio-general-datatype

Extended functionality of PhLADiPreLiO

@hackage/spectral-clustering

Library for spectral clustering.

@hackage/logfloat

Log-domain floating point numbers

@hackage/chainweb-mining-client

Mining Client for Kadena Chainweb

@hackage/limp-cbc

bindings for integer linear programming solver Coin/CBC

@hackage/hz3

Bindings for the Z3 Theorem Prover

@hackage/pcubature

Integration over convex polytopes

@hackage/simple-units

Simple arithmetic with SI units using type-checked dimensional analysis.

@hackage/natural-numbers

Natural numbers

@hackage/gbu

planar graph embedding into a plane

@hackage/fixed-point-vector

Unbox instances for the fixed-point package

@hackage/MIP

Library for using Mixed Integer Programming (MIP)

@hackage/NumberSieves

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

@hackage/Vec-OpenGLRaw

Instances and functions to interoperate Vec and OpenGL.

@hackage/hgeometry-svg

Writing geometric primitives from HGeometry as SVG Files

@hackage/hafar

Affine arithmetic library for Haskell

@hackage/blas-ffi

Auto-generated interface to Fortran BLAS

@hackage/jinquantities

Unit conversion and manipulation library.

@hackage/AC-Angle

Angles in degrees and radians.

@hackage/mixed-strategies

Find optimal mixed strategies for two-player games

@hackage/Monocle

Symbolic computations in strict monoidal categories with LaTeX output.

@hackage/yx

Row-major coordinates

@hackage/nimber

Finite nimber arithmetic

@hackage/dirichlet

Multivariate Dirichlet distribution

@hackage/mmsyn2-array-ukrainian-data

Data that is taken from the ukrainian-phonetics-basic-array for optimization.

@hackage/opentheory-divides

The divides relation on natural numbers

@hackage/linearmap-category

Native, complete-ish, matrix-free linear algebra.

@hackage/rev-scientific

A library to provide special kind of big numbers writing.

@hackage/oalg-base

Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.

@hackage/netlib-comfort-array

Helper modules for comfort-array wrappers to BLAS and LAPACK

@hackage/primecount

Bindings to the primecount library

@hackage/set-cover

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

@hackage/fixed-point-vector-space

vector-space instances for the fixed-point package

@hackage/monoid-subclasses

Subclasses of Monoid

@hackage/nth-prime

Computing the nth prime

@hackage/uniqueness-periods-vector-common

Generalization of the dobutokO-poetry-general package functionality

@hackage/dual

Dual category

@hackage/jacobi-theta

Jacobi Theta Functions

@hackage/spsa

Simultaneous Perturbation Stochastic Approximation Optimization Algorithm

@hackage/graphviz

Bindings to Graphviz for graph visualisation.

@hackage/gray-extended

Gray encoding schemes

@hackage/mpolynomials

Simple multivariate polynomials.

@hackage/accelerate-arithmetic

Linear algebra and interpolation using the Accelerate framework

@hackage/AERN-RnToRm

polynomial function enclosures (PFEs) approximating exact real functions

@hackage/ContextAlgebra

Implementation of the context algebra.

@hackage/phonetic-languages-simplified-examples-array

Helps to create Ukrainian texts with the given phonetic properties.

@hackage/mdp

Tools for solving Markov Decision Processes.

@hackage/clipper

Haskell API to clipper (2d polygon union/intersection/xor/clipping API)

@hackage/closure

Depth- and breadth-first set closures

@hackage/graph-rewriting

Monadic graph rewriting of hypergraphs with ports and multiedges

@hackage/crf-chain1-constrained

First-order, constrained, linear-chain conditional random fields

@hackage/fibonacci

Fast computation of Fibonacci numbers.

@hackage/HROOT

Haskell binding to the ROOT data analysis framework

@hackage/coya

Coya monoids

@hackage/hgeometry-combinatorial

Data structures, and Data types.

@hackage/tower

A numeric tower

@hackage/directed-cubical

Finite directed cubical complexes and associated algorithms

@hackage/mathflow

Dependently typed tensorflow modeler

@hackage/free-algebras

Free algebras

@hackage/hipe

Support for reading and writing ipe7 files (http://ipe7.sourceforge.net)

@hackage/crf-chain1

First-order, linear-chain conditional random fields

@hackage/mfsolve

Equation solver and calculator à la metafont

@hackage/nonlinear-optimization

Various iterative algorithms for optimization of nonlinear functions.

@hackage/statistics

A library of statistical types, data, and functions

@hackage/arithmatic

do things with numbers

@hackage/AERN-Real-Interval

arbitrary precision real interval arithmetic

@hackage/uniqueness-periods-vector-stats

A very basic descriptive statistics.

@hackage/decimal-arithmetic

An implementation of the General Decimal Arithmetic Specification

@hackage/haskell-mpfr

Correctly-rounded arbitrary-precision floating-point arithmetic

@hackage/data-category

Category theory

@hackage/NTRU

NTRU Cryptography

@hackage/allen

A monadic way of calculating relations between intervals of time.

@hackage/hblas

Human friendly BLAS and Lapack bindings for Haskell.

@hackage/computational-algebra

Well-kinded computational algebra library, currently supporting Groebner basis.

@hackage/ghc-typelits-presburger

Presburger Arithmetic Solver for GHC Type-level natural numbers.

@hackage/lean

Bonds to Lean theorem prover

@hackage/DifferentialEvolution

Global optimization using Differential Evolution

@hackage/bed-and-breakfast

Efficient Matrix and Vector operations in 100% Haskell.

@hackage/sfmt

SIMD-oriented Fast Mersenne Twister(SFMT) binding.

@hackage/elliptic-integrals

Carlson Elliptic Integrals and Incomplete Elliptic Integrals

@hackage/hscharm

minimal ncurses-like library

@hackage/simple-smt

A simple way to interact with an SMT solver process.

@hackage/sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

@hackage/blas-comfort-array

Auto-generated interface to Fortran BLAS via comfort-array

@hackage/boltzmann-brain

Analytic sampler compiler for combinatorial systems.

@hackage/flat-mcmc

Painless general-purpose sampling.

@hackage/lowlin

Low dimensional linear algebra

@hackage/range-space

A Range type with vector-space instances

@hackage/hirt

Calculates IRT 2PL and 3PL models

@hackage/type-settheory

Sets and functions-as-relations in the type system

@hackage/float-binstring

C99 printf "%a" style formatting and parsing

@hackage/aern2-fun

Generic operations for real functions

@hackage/hmatrix-repa

Adaptors for interoperability between hmatrix and repa

@hackage/AERN-Real-Double

arbitrary precision real interval arithmetic

@hackage/accelerate-typelits

a typesafe way encode accelerate matrices and vectors

@hackage/AC-HalfInteger

Efficient half-integer type.

@hackage/partial-semigroup-test

Testing utilities for the partial-semigroup package

@hackage/lin-alg

Low-dimensional matrices and vectors for graphics and physics

@hackage/haar

Haar wavelet transforms

@hackage/BerlekampAlgorithm

Factorization of polynomials over finite field

@hackage/matrix

A native implementation of matrix operations.

@hackage/rvar

Random Variables

@hackage/half-space

Additive monoids generalising vector spaces

@hackage/kmn-programming

K_M,N quadratic programming

@hackage/arithmetic

Natural number arithmetic

@hackage/prob

Discrete probability monad

@hackage/comfort-blas

Numerical Basic Linear Algebra using BLAS

@hackage/ieee-utils

ieee-utils

@hackage/ms

metric spaces

@hackage/hsignal

Signal processing and EEG data analysis

@hackage/aern2-real

Real numbers as convergent sequences of intervals

@hackage/dozenal

A Haskell library for using Dozenal (Duodecimal - Base 12) numbers.

@hackage/HaskellLM

Pure Haskell implementation of the Levenberg-Marquardt algorithm

@hackage/rampart

Determine how intervals relate to each other.

@hackage/monoidplus

Extra classes/functions about monoids

@hackage/mersenne-random

Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister

@hackage/HsASA

A haskell interface to Lester Ingber's adaptive simulating annealing code

@hackage/log-domain

Log-domain arithmetic

@hackage/periodic-polynomials

A library for working with periodic polynomials (very basic functionality)

@hackage/species

Computational combinatorial species

@hackage/ipopt-hs

haskell binding to ipopt and nlopt including automatic differentiation

@hackage/bindings-levmar

Low level bindings to the C levmar (Levenberg-Marquardt) library

@hackage/collect-errors

Error monad with a Float instance

@hackage/mwc-probability

Sampling function-based probability distributions.

@hackage/exact-real

Exact real arithmetic

@hackage/math-programming-glpk

A GLPK backend to the math-programming library.

@hackage/intervals

Interval Arithmetic

@hackage/Modulo

Modular arithmetic via Numeric-Prelude

@hackage/hops

Handy Operations on Power Series

@hackage/mcmc

Sample from a posterior using Markov chain Monte Carlo

@hackage/weierstrass-functions

Weierstrass Elliptic Functions

@hackage/sdnv

Self-delimiting numeric values encoding library

@hackage/statistics-skinny

A library of statistical types, data, and functions

@hackage/math-programming

A library for formulating and solving math programs.

@hackage/vect

A low-dimensional linear algebra library, tailored to computer graphics.

@hackage/fplll

Haskell bindings to <https://fplll.github.io/fplll/ fplll>

@hackage/graql

Execute Graql queries on a Grakn graph

@hackage/fixed-point

Binary fixed-point arithmetic

@hackage/quadratic-irrational

An implementation of quadratic irrationals

@hackage/graph-rewriting-strategies

Evaluation strategies for port-graph rewriting systems

@hackage/subhask

Type safe interface for programming in subcategories of Hask

@hackage/accelerate-fourier-benchmark

Compare different implementations of the Fast Fourier Transform

@hackage/SGplus

(updated) Small geometry library for dealing with vectors and collision detection

@hackage/free-category

efficient data types for free categories and arrows

@hackage/casadi-bindings-snopt-interface

low level bindings to casadi-snopt_interface

@hackage/MIP-glpk

A GLPK backend to the MIP library.

@hackage/phonetic-languages-simplified-properties-lists-double

A generalization of the uniqueness-periods-vector-properties package.

@hackage/lawz

Common mathematical laws.

@hackage/random-cycle

Uniform draws of partitions and cycle-partitions, with thinning.

@hackage/poly

Polynomials

@hackage/hmatrix-nipals

NIPALS method for Principal Components Analysis on large data-sets.

@hackage/visibility

Simple computation of visibility polygons.

@hackage/plot-lab

A plotting tool with Mathematica like Manipulation abilities

@hackage/Vec-Boolean

Provides Boolean instances for the Vec package

@hackage/lapack-hmatrix

Conversion of objects between 'lapack' and 'hmatrix'

@hackage/libroman

Use Roman Numerals as a Numeric Datatype (sort of)

@hackage/splitmix-distributions

Random samplers for some common distributions, based on splitmix.

@hackage/dsp

Haskell Digital Signal Processing

@hackage/Flint2-Examples

Examples for the Flint2 library

@hackage/pandoc-symreg

A tool to convert symbolic regression expressions into different formats.

@hackage/declarative

DIY Markov Chains.

@hackage/cyclotomic

A subfield of the complex numbers for exact calculation.

@hackage/reduce-equations

Simplify a set of equations by removing redundancies

@hackage/conjugateGradient

Sparse matrix linear-equation solver

@hackage/ad

Automatic Differentiation

@hackage/magma

magma is an algebraic structure.

@hackage/category

Categorical types and classes

@hackage/bindings-mpdecimal

bindings to mpdecimal library

@hackage/exp-extended

floating point with extended exponent range

@hackage/dde

Delay differential equations

@hackage/FiniteCategories

Finite categories and usual categorical constructions on them.

@hackage/gamma

Gamma function and related functions.

@hackage/kmeans-vector

An implementation of the kmeans clustering algorithm based on the vector package

@hackage/explicit-determinant

explicit computation of determinant of small matrices

@hackage/regress

Linear and logistic regression through automatic differentiation

@hackage/involutive-semigroups

Semigroups with involution.

@hackage/tikzsd

A program for generating LaTeX code of string diagrams.

@hackage/bindings-eskit

Bindings to ESKit.

@hackage/DP

Pragmatic framework for dynamic programming

@hackage/integer-roots

Integer roots and perfect powers

@hackage/number-wall

Create number walls and save them as images

@hackage/mwc-random-monad

Monadic interface for mwc-random

@hackage/graph-rewriting-ski

Two interactive evalutors of the SKI combinator calculus

@hackage/haggle

A graph library offering mutable, immutable, and inductive graphs

@hackage/random-hypergeometric

Random variate generation from hypergeometric distributions

@hackage/jalla

Higher level functions for linear algebra. Wraps BLAS and LAPACKE.

@hackage/stern-brocot

Positive rational numbers represented as paths in the Stern-Brocot tree

@hackage/ApproxFun-hs

Function approximation

@hackage/inf-backprop

Automatic differentiation and backpropagation.

@hackage/kleene

Kleene algebra

@hackage/safe-tensor

Dependently typed tensor algebra

@hackage/hps-kmeans

A nice implementation of the k-Means algorithm.

@hackage/maxent

Compute Maximum Entropy Distributions

@hackage/SG

Small geometry library for dealing with vectors and collision detection

@hackage/vect-floating-accelerate

Accelerate instances for vect-floating types

@hackage/phladiprelio-general-shared

A shared by different general implementations of the PhLADiPreLiO functionality.

@hackage/numeric-logarithms

Integral and rational log2 algorithms

@hackage/irt

Item Response Theory functions for use in computerized adaptive testing

@hackage/srtree

A general library to work with Symbolic Regression expression trees.

@hackage/oalg-abg

Finitely generated abelian groups.

@hackage/ParserFunction

Parse and evaluate mathematical expressions.

@hackage/symengine

SymEngine symbolic mathematics engine for Haskell

@hackage/DigitGroup

Group the digits of numbers by lots

@hackage/convexHullNd

Convex hull

@hackage/rsagl-math

The RogueStar Animation and Graphics Library: Mathematics

@hackage/polynomial

Polynomials

@hackage/cmath

A binding to the standard C math library

@hackage/squares

The double category of Hask functors and profunctors

@hackage/wigner-symbols

CG coefficients and Wigner symbols.

@hackage/complex-generic

complex numbers with non-mandatory RealFloat

@hackage/extended-categories

Extended Categories

@hackage/sparse-linear-algebra

Numerical computing in native Haskell

@hackage/rounded-hw

Directed rounding for built-in floating types

@hackage/planar-graph

A representation of planar graphs

@hackage/partial-semigroup-hedgehog

Property testing for partial semigroups using Hedgehog

@hackage/vect-opengl

OpenGL support for the `vect' low-dimensional linear algebra library.

@hackage/limp

representation of Integer Linear Programs

@hackage/vect-floating

A low-dimensional linear algebra library, operating on the Floating typeclass

@hackage/estimator

State-space estimation algorithms such as Kalman Filters

@hackage/simple-vec3

Three-dimensional vectors of doubles with basic operations

@hackage/xorshift

Haskell implementation of the xorshift random generator.

@hackage/multi-instance

Typeclasses augmented with a phantom type parameter

@hackage/fpnla-examples

Example implementations for FPNLA library

@hackage/spatial-math

3d math including quaternions/euler angles/dcms and utility functions

@hackage/Persistence

A versatile library for topological data analysis.

@hackage/fast-math

Non IEEE-754 compliant compile-time floating-point optimisations

@hackage/vertexenum

Vertex enumeration

@hackage/linear-smc

Build SMC morphisms using linear types

@hackage/superbubbles

Find "superbubbles", as described in https://arxiv.org/abs/1307.7925

@hackage/connections

Orders, Galois connections, and lattices.

@hackage/dvda

Efficient automatic differentiation and code generation

@hackage/fgl-extras-decompositions

Graph decomposition algorithms

@hackage/Noise

A Haskell coherent noise generator based on libnoise

@hackage/simplex-method

Implementation of the two-phase simplex method in exact rational arithmetic

@hackage/polar

Complex numbers in polar form

@hackage/DifferenceLogic

A theory solver for conjunctions of literals in difference logic

@hackage/numeric-limits

Various floating point limit related constants.

@hackage/adjunction

See README for more info

@hackage/agum

Unification and Matching in an Abelian Group

@hackage/Homology

Compute the homology of a chain complex

@hackage/r-glpk-phonetic-languages-ukrainian-durations

Can be used to calculate the durations of the approximations of the Ukrainian phonemes.

@hackage/roman-numerals

Parsing and pretty printing of Roman numerals

@hackage/nix-graph

Reify the Nix build graph into a Haskell graph data structure

@hackage/spherical

Geometry on a sphere

@hackage/tilings

substitution tilings

@hackage/fixed-precision

Fixed Precision Arithmetic

@hackage/qhull

Delaunay triangulation, Voronoi diagrams and convex hulls.

@hackage/EqualitySolver

A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality

@hackage/Operads

Groebner basis computation for Operads.

@hackage/fizz-buzz

Functional Fizz/Buzz

@hackage/ieee754

Utilities for dealing with IEEE floating point numbers

@hackage/sys-process

A replacement for System.Exit and System.Process.

@hackage/statistics-linreg

Linear regression between two samples, based on the 'statistics' package.

@hackage/braid

Types and functions to work with braids and Khovanov homology.

@hackage/blas-hs

Low-level Haskell bindings to Blas.

@hackage/hascal

tiny calculator library and command-line program

@hackage/netlib-carray

Helper modules for CArray wrappers to BLAS and LAPACK

@hackage/linda

LINear Discriminant Analysis

@hackage/netlib-ffi

Helper modules for FFI to BLAS and LAPACK

@hackage/HQu

quantitative finance library

@hackage/GeomPredicates-SSE

Geometric predicates (Intel SSE)

@hackage/hgeometry

Geometric Algorithms, Data structures, and Data types.

@hackage/significant-figures

Calculate expressions involving significant figures.

@hackage/nonlinear-optimization-backprop

Wrapper of nonlinear-optimization package for using with backprop package

@hackage/sigma-ij

Thom polynomials of second order Thom-Boardman singularities

@hackage/geom2d

package for geometry in euklidean 2d space

@hackage/fgl-visualize

Convert FGL graphs to dot (graphviz) files

@hackage/probable

Easy and reasonably efficient probabilistic programming and random generation

@hackage/roots

Root-finding algorithms (1-dimensional)

@hackage/dataflow

Generate Graphviz documents from a Haskell representation.

@hackage/microlens-aeson

Law-abiding lenses for Aeson, using microlens

@hackage/glicko

Glicko-2 implementation in Haskell.

@hackage/phonetic-languages-simplified-base

A basics of the phonetic-languages functionality that can be groupped.

@hackage/comfort-glpk

Linear Programming using GLPK and comfort-array

@hackage/WeberLogic

Logic interpreter

@hackage/goal-core

Common, non-geometric tools for use with Goal

@hackage/oeis2

Interface for Online Encyclopedia of Integer Sequences (OEIS).

@hackage/primes

Efficient, purely functional generation of prime numbers

@hackage/phonetic-languages-rhythmicity

Allows to estimate the rhythmicity properties for the text

@hackage/group-theory

The theory of groups

@hackage/modular-arithmetic

A type for integers modulo some constant.

@hackage/stats

command line statistics

@hackage/safe-numeric

Safe arithmetic operations.

@hackage/deptrack-core

DepTrack Core types and model.

@hackage/manifolds-core

The basic classes for the manifolds hierarchy.

@hackage/calculator

A calculator repl, with variables, functions & Mathematica like dynamic plots.

@hackage/hmatrix-static

hmatrix with vector and matrix sizes encoded in types

@hackage/simd

simple interface to GHC's SIMD instructions

@hackage/tropical

A library for tropical mathematics.

@hackage/gnuplot

2D and 3D plots using gnuplot

@hackage/numeric-optimization-backprop

Wrapper of numeric-optimization package for using with backprop package

@hackage/continued-fraction

Types and functions for working with continued fractions in Haskell

@hackage/vector-fftw

A binding to the fftw library for one-dimensional vectors.

@hackage/graph-rewriting-cl

Interactive graph rewriting system implementing various well-known combinators

@hackage/fptest

IEEE754r floating point conformance tests

@hackage/natural-arithmetic

Arithmetic of natural numbers

@hackage/float128

FFI bindings for C _Float128

@hackage/primes-type

Type-safe prime numbers.

@hackage/nat-optics

Refinement types for natural numbers with an optics interface

@hackage/mathlist

Math using lists, including FFT and Wavelet

@hackage/safe-decimal

Safe and very efficient arithmetic operations on fixed decimal point numbers

@hackage/opentheory-fibonacci

Fibonacci numbers

@hackage/lbfgs

L-BFGS optimization

@hackage/aeson-diff-generic

Apply a json-patch to any haskell datatype.

@hackage/graph-utils

A simple wrapper & quasi quoter for fgl.

@hackage/jacobi-elliptic

Neville Theta Functions and Jacobi Elliptic Functions

@hackage/rad

Reverse Automatic Differentiation.

@hackage/simple-expr

Minimalistic toolkit for simple mathematical expression.

@hackage/hmatrix-tests

Tests for hmatrix

@hackage/hstats

Statistical Computing in Haskell

@hackage/repr

Render overloaded expressions to their textual representation.

@hackage/glpk-headers

Low-level Haskell bindings to the GLPK library

@hackage/uniqueness-periods-vector-examples

Usage examples for the uniqueness-periods-vector series of packages

@hackage/HABQT

Hierarchical adaptive Bayesian quantum tomography for quantum bits

@hackage/apportionment

Round a set of numbers while maintaining its sum

@hackage/buffon-machines

Perfect simulation of discrete random variables

@hackage/AERN-RnToRm-Plot

GL plotting of polynomial function enclosures (PFEs)

@hackage/statistics-fusion

An implementation of high performance, minimal statistics functions

@hackage/turing-machines

A simple simulator for Turing machines

@hackage/phonetic-languages-simplified-lists-examples

Simplified and somewhat optimized version of the phonetic-languages-examples.

@hackage/graphite

Graphs and networks library

@hackage/boolsimplifier

Simplification tools for simple propositional formulas.

@hackage/combinat

Generate and manipulate various combinatorial objects.

@hackage/knead-arithmetic

Linear algebra and interpolation using LLVM JIT

@hackage/Vec

Fixed-length lists and low-dimensional linear algebra.

@hackage/matrix-market-pure

Pure and composable reader and writer of the Matrix Market format.

@hackage/eigen

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

@hackage/hahp

Analytic Hierarchy Process

@hackage/cl3

Clifford Algebra of three dimensional space.

@hackage/numtype

Type-level (low cardinality) integers.

@hackage/colour-space

Instances of the manifold-classes for colour types

@hackage/fft

Bindings to the FFTW library.

@hackage/RANSAC

The RANSAC algorithm for parameter estimation.

@hackage/ProxN

Proximity sets in N dimensions

@hackage/casadi-bindings-internal

low level bindings to CasADi

@hackage/numhask-space

Numerical spaces.