## Packages tagged math

484 packages have this tag.

[Merge tag] (trustees only)Related tags: library (463), bsd3 (324), gpl (59), data (56), program (54), mit (53), numerical (42), statistics (28), benchmark (27), deprecated (25), graphics (22), algebra (18), lgpl (17), public-domain (17), algorithms (16), numeric (10), physics (6), theorem-provers (6), number-theory (5), bsd2 (4), data-structures (4), formal-methods (4), game (4), language (4), smt (4), symbolic-computation (4), system (4), apache (3), ffi (3), foreign (3), geometry (3), logic (3), natural-language-processing (3), bit-vectors (2), chemistry (2), clustering (2), console (2), linear-algebra (2), optimisation (2), optimization (2), parallelism (2), parsing (2), science (2), tools (2), type-system (2), agpl (1), codec (1), comonads (1), ...

Name |
DLs |
Rating |
Description |
Tags |
Maintainer |
---|---|---|---|---|---|

AC-Angle | 22 | 0.0 | Angles in degrees and radians. | (bsd3, data, library, math, numerical) | AndrewCoppin |

AC-Boolean | 32 | 0.0 | Handle Boolean values generatically. | (bsd3, data, library, logic, math) | AndrewCoppin |

AC-Colour | 76 | 0.0 | Efficient RGB colour types. | (bsd3, data, graphics, library, math, numerical) | AndrewCoppin |

AC-HalfInteger | 22 | 0.0 | Efficient half-integer type. | (bsd3, data, library, math, numerical) | AndrewCoppin |

AC-Terminal | 12 | 0.0 | Trivial wrapper over ansi-terminal. | (bsd3, data, library, math, numerical) | AndrewCoppin |

AC-Vector | 65 | 0.0 | Efficient geometric vectors and transformations. | (bsd3, data, graphics, library, math, numerical) | AndrewCoppin |

AC-Vector-Fancy | 31 | 0.0 | Fancy type-system stuff for AC-Vector | (bsd3, data, graphics, library, math, numerical) | AndrewCoppin |

AERN-Basics | 8 | 0.0 | foundational type classes for approximating exact real numbers | (bsd3, data, library, math, program) | MichalKonecny |

AERN-Net | 13 | 0.0 | Compositional lazy dataflow networks for exact real number computation | (bsd3, distributed-computing, library, math) | MichalKonecny |

AERN-Real | 67 | 0.0 | arbitrary precision real interval arithmetic | (bsd3, data, library, math) | MichalKonecny |

AERN-Real-Double | 10 | 0.0 | arbitrary precision real interval arithmetic | (bsd3, data, library, math, program) | MichalKonecny |

AERN-Real-Interval | 7 | 0.0 | arbitrary precision real interval arithmetic | (bsd3, data, library, math) | MichalKonecny |

AERN-RnToRm | 35 | 0.0 | polynomial function enclosures (PFEs) approximating exact real functions | (bsd3, data, library, math) | MichalKonecny |

AERN-RnToRm-Plot | 22 | 0.0 | GL plotting of polynomial function enclosures (PFEs) | (bsd3, data, library, math) | MichalKonecny |

ApproxFun-hs | 5 | 0.0 | Function approximation | (bsd3, library, math) | DominicSteinitz |

Baggins | 14 | 0.0 | Tools for self-assembly | (gpl, library, math) | pmeunier |

BerlekampAlgorithm | 3 | 0.0 | Factorization of polynomials over finite field | (bsd3, library, math) | AbdelwahebMiled |

Cartesian | 21 | 0.0 | Coordinate systems | (library, math, mit) | SwiftsNamesake |

ContextAlgebra | 16 | 0.0 | Implementation of the context algebra. | (bsd3, math, program) | jhahn |

DP | 8 | 0.0 | Pragmatic framework for dynamic programming | (algorithms, bsd3, library, math, natural-language-processing) | SashaRush |

Data-Angle | 14 | 0.0 | Geometric angles | (bsd3, data, library, math) | deadmanswitch |

Decimal | 121 | 0.0 | Decimal numbers with variable precision | (bsd3, library, math) | PaulJohnson |

DifferenceLogic | 12 | 0.0 | A theory solver for conjunctions of literals in difference logic | (bsd3, library, math) | dillonhuff |

Dist | 34 | 0.0 | A Haskell library for probability distributions | (library, math, mit) | wyager |

DistanceTransform | 8 | 0.0 | Distance transform function. | (bsd3, library, math) | AnthonyCowley |

Eq (deprecated) | 29 | 0.0 | Render math formula in ASCII, and perform some simplifications | (bsd3, deprecated, language, math, program) | VincentBerthoux |

EqualitySolver | 13 | 0.0 | A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality | (bsd3, library, math) | dillonhuff |

FirstOrderTheory | 9 | 0.0 | Grammar and typeclass for first order theories | (bsd3, library, math) | dillonhuff |

GaussQuadIntegration | 11 | 0.0 | Non-adaptive Gaussian quadrature for numeric integraton | (bsd3, library, math) | GrigorySarnitsky |

GeomPredicates | 8 | 0.0 | Geometric predicates | (bsd3, library, math) | NealAlexander |

GeomPredicates-SSE | 6 | 0.0 | Geometric predicates (Intel SSE) | (bsd3, library, math) | NealAlexander |

HERA | 7 | 0.0 | (bsd3, library, math) | LukePalmer | |

HROOT | 83 | 0.0 | Haskell binding to the ROOT data analysis framework | (graphics, lgpl, library, math, numerical, statistics) | IanWooKim |

HROOT-core | 14 | 0.0 | Haskell binding to ROOT Core modules | (graphics, lgpl, library, math, numerical, statistics) | IanWooKim |

HROOT-graf | 14 | 0.0 | Haskell binding to ROOT Graf modules | (graphics, lgpl, library, math, numerical, statistics) | IanWooKim |

HROOT-hist | 11 | 0.0 | Haskell binding to ROOT Hist modules | (graphics, lgpl, library, math, numerical, statistics) | IanWooKim |

HROOT-io | 13 | 0.0 | Haskell binding to ROOT IO modules | (graphics, lgpl, library, math, numerical, statistics) | IanWooKim |

HROOT-math | 14 | 0.0 | Haskell binding to ROOT Math modules | (graphics, lgpl, library, math, numerical, statistics) | IanWooKim |

HROOT-tree | 9 | 0.0 | Haskell binding to ROOT Tree modules | (graphics, lgpl, library, math, numerical, statistics) | IanWooKim |

HaskellForMaths | 118 | 0.0 | Combinatorics, group theory, commutative algebra, non-commutative algebra | (bsd3, library, math) | DavidAmos |

HaskellLM | 15 | 0.0 | Pure Haskell implementation of the Levenberg-Marquardt algorithm | (gpl, library, math) | KietLam |

HerbiePlugin | 9 | 0.0 | automatically improve your code's numeric stability | (bsd3, library, math) | MikeIzbicki |

Homology | 12 | 0.0 | Compute the homology of a chain complex | (gpl, library, math) | DamekDavis |

HsASA | 14 | 0.0 | A haskell interface to Lester Ingber's adaptive simulating annealing code | (bsd3, library, math) | DonaldStewart, MalcolmWallace |

Kalman (deprecated in favor of kalman) | 12 | 0.0 | A slightly extended Kalman filter | (bsd3, deprecated, library, math) | DominicSteinitz |

LargeCardinalHierarchy | 10 | 0.0 | A transfinite cardinal arithmetic library including all known large cardinals | (library, math, mathematics, maths, set-theory) | Stephen_E_A_Britton |

Lattices | 30 | 0.0 | A library for lattices | (gpl, library, math) | BartCoppens |

Logic | 7 | 0.0 | Logic | (library, math, mit) | gogotanaka |

MeanShift | 8 | 0.0 | Mean shift algorithm | (bsd3, library, math) | VilleTirronen |

Modulo | 15 | 0.0 | Modular arithmetic via Numeric-Prelude | (gpl, library, math) | NikolayMurzin |

Monocle | 17 | 0.0 | Symbolic computations in strict monoidal categories with LaTeX output. | (bsd3, library, math) | OsmanBineev |

NTRU | 13 | 0.0 | NTRU Cryptography | (cryptography, gpl, library, math) | mikewest |

NearContextAlgebra | 10 | 0.0 | Context Algebra of near | (bsd3, math, program) | jhahn |

Noise | 29 | 0.0 | A Haskell coherent noise generator based on libnoise | (bsd3, graphics, library, math, noise) | HugoGomes |

NumberSieves | 17 | 0.0 | Number Theoretic Sieves: primes, factorization, and Euler's Totient | (bsd3, library, math) | LeonSmith |

NumberTheory | 20 | 0.0 | A library for number theoretic computations, written in Haskell. | (gpl, library, math) | cfredric |

Operads | 30 | 0.0 | Groebner basis computation for Operads. | (bsd3, library, math) | MikaelVejdemoJohansson |

Ordinals | 16 | 0.0 | Ordinal arithmetic | (bsd3, library, math) | KiYungAhn |

Paillier | 13 | 0.0 | a simple Paillier cryptosystem | (bsd3, library, math) | onemouth |

ParserFunction (deprecated in favor of attoparsec) | 32 | 0.0 | Parse and evaluate mathematical expressions. | (bsd3, deprecated, library, math, parsing) | EnzoHaussecker |

ProxN | 8 | 0.0 | Proximity sets in N dimensions | (bsd3, library, math) | AndrasSlemmer |

RANSAC | 18 | 0.0 | The RANSAC algorithm for parameter estimation. | (bsd3, library, math, numerical) | AnthonyCowley |

SG | 8 | 0.0 | Small geometry library for dealing with vectors and collision detection | (bsd3, data, library, math) | NeilBrown |

SGplus | 13 | 0.0 | (updated) Small geometry library for dealing with vectors and collision detection | (bsd3, data, library, math) | donomii |

Smooth | 3 | 0.0 | A tiny, lazy SMT solver | (bsd3, library, math) | dillonhuff |

TeX-my-math | 25 | 0.0 | Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. | (gpl, library, math) | leftaroundabout |

Vec | 52 | 0.0 | Fixed-length lists and low-dimensional linear algebra. | (bsd3, data, library, math) | ScottDillard |

Vec-Boolean | 25 | 0.0 | Provides Boolean instances for the Vec package | (bsd3, data, library, math) | TobiasBexelius |

Vec-OpenGLRaw | 11 | 0.0 | Instances and functions to interoperate Vec and OpenGL. | (bsd3, graphics, library, math) | ChristopherLaneHinson |

Vec-Transform | 32 | 0.0 | This package is obsolete | (bsd3, graphics, library, math) | TobiasBexelius |

WeberLogic | 16 | 0.0 | Logic interpreter | (bsd3, library, math, program) | cameronbwhite |

Xorshift128Plus | 9 | 0.0 | Pure haskell implementation of xorshift128plus random number generator. | (library, math, public-domain) | hkanai |

ZEBEDDE (deprecated) | 22 | 0.0 | Polymer growth simulation method | (bsd3, deprecated, library, math) | hackrilege |

accelerate-arithmetic | 15 | 0.0 | Linear algebra and interpolation using the Accelerate framework | (bsd3, library, math) | HenningThielemann |

accelerate-blas | 48 | 0.0 | Numeric Linear Algebra in Accelerate | (bsd3, library, math) | TrevorMcDonell |

accelerate-cublas | 11 | 0.0 | Basic Linear Algebra using native CUBLAS library | (benchmark, bsd3, library, math, program) | HenningThielemann |

accelerate-cufft | 13 | 0.0 | Accelerate frontend to the CUFFT library (Fourier transform) | (bsd3, library, math) | HenningThielemann |

accelerate-fftw | 8 | 0.0 | Accelerate frontend to the FFTW library (Fourier transform) | (bsd3, library, math) | HenningThielemann |

accelerate-fourier | 11 | 0.0 | Fast Fourier transform and convolution using the Accelerate framework | (benchmark, bsd3, library, math) | HenningThielemann |

accelerate-fourier-benchmark | 9 | 0.0 | Compare different implementations of the Fast Fourier Transform | (bsd3, math, program) | HenningThielemann |

accelerate-typelits | 7 | 2.0 | a typesafe way encode accelerate matrices and vectors | (library, math) | epsilonhalbe |

ad | 262 | 2.5 | Automatic Differentiation | (benchmark, bsd3, library, math) | EdwardKmett, EricMertens, ryanglscott |

aern2-mp | 16 | 0.0 | Multi-precision floats via MPFR | (bsd3, library, math) | MichalKonecny |

aern2-real | 13 | 0.0 | Exact real numbers via Cauchy sequences and MPFR | (bsd3, library, math, program) | MichalKonecny |

algebra | 93 | 0.0 | Constructive abstract algebra | (algebra, bsd3, library, math) | EdwardKmett, HiromiIshii, WolfgangJeltsch |

algebraic | 10 | 0.0 | General linear algebra structures. | (algebra, bsd3, library, math) | danilo2, Korri, MarcinMikolajczyk |

algebraic-classes | 40 | 0.0 | Conversions between algebraic classes and F-algebras. | (bsd3, data, generics, library, math) | SjoerdVisscher |

antimirov | 8 | 0.0 | Define the language containment (=subtyping) relation on regulare expressions. | (gpl, language, library, math, program) | RickKaudewitz |

apportionment | 7 | 1.25 | Round a set of numbers while maintaining its sum | (bsd3, library, math) | HenningThielemann |

arb-fft | 8 | 0.0 | Pure Haskell arbitrary length FFT library | (bsd3, library, math, program) | IanRoss |

arithmatic | 13 | 0.0 | do things with numbers | (bsd3, library, math) | AlanHawkins |

arithmoi | 109 | 0.0 | Efficient basic number-theoretic functions. | (algorithms, library, math, mit, number-theory) | CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim |

bayes-stack | 7 | 0.0 | Framework for inferring generative probabilistic models with Gibbs sampling | (bsd3, library, math) | BenGamari |

bed-and-breakfast | 30 | 0.0 | Efficient Matrix operations in 100% Haskell. | (library, linear-algebra, math, mit, numeric) | JulianFleischer |

besout | 7 | 0.0 | Extended GCD of polynomials over F_p[x] | (bsd3, library, math) | AbdelwahebMiled |

bindings-mpdecimal (deprecated in favor of deka) | 8 | 0.0 | bindings to mpdecimal library | (bsd3, deprecated, library, math) | OmariNorman |

bindings-saga-cmd | 7 | 0.0 | Wrapping saga_cmd | (gpl, library, math, program) | michelk |

blas (deprecated in favor of hblas) | 20 | 0.0 | Bindings to the BLAS library | (bsd3, deprecated, library, math) | CarterSchonwald |

blas-hs | 9 | 0.0 | Low-level Haskell bindings to Blas. | (library, math, mit) | Rufflewind |

boolsimplifier | 15 | 0.0 | Simplification tools for simple propositional formulas. | (bsd3, language, library, math) | GershomBazerman |

braid | 7 | 0.0 | Types and functions to work with braids and Khovanov homology. | (bsd3, library, math, program) | saltza |

buffon | 5 | 0.0 | An implementation of Buffon machines. | (bsd2, library, math) | DerekElkins |

burst-detection | 4 | 0.0 | Burst detection algorithms | (benchmark, gpl, library, math) | AlexanderVershilov |

caffegraph | 6 | 2.0 | (bsd3, library, math) | ajtulloch | |

calculator | 37 | 2.0 | A calculator repl, with variables, functions & Mathematica like dynamic plots. | (gpl, math, program) | sumitsahrawat |

caldims | 1 | 0.0 | Calculation tool and library supporting units | (gpl, library, math, program) | RickKaudewitz |

calendar-recycling | 7 | 0.0 | List years with the same calendars | (bsd3, math, program) | HenningThielemann |

casadi-bindings | 54 | 0.0 | mid-level bindings to CasADi | (lgpl, library, math, numerical) | GregHorn |

casadi-bindings-control (deprecated in favor of casadi-bindings-core) | 1 | 0.0 | low level bindings to casadi-control | (deprecated, lgpl, library, math, numerical) | GregHorn |

casadi-bindings-core | 24 | 0.0 | autogenerated low level bindings to casadi | (lgpl, library, math, numerical) | GregHorn |

casadi-bindings-internal | 14 | 0.0 | low level bindings to CasADi | (lgpl, library, math, numerical) | GregHorn |

casadi-bindings-ipopt-interface (deprecated in favor of casadi-bindings-core) | 6 | 0.0 | low level bindings to casadi-ipopt_interface | (deprecated, lgpl, library, math, numerical) | GregHorn |

casadi-bindings-snopt-interface (deprecated in favor of casadi-bindings-core) | 3 | 0.0 | low level bindings to casadi-snopt_interface | (deprecated, lgpl, library, math, numerical) | GregHorn |

cash | 4 | 0.0 | the Computer Algebra SHell | (bsd3, computer-algebra, library, math) | ChrisBrown |

casui | 1 | 0.0 | Equation Manipulator | (math, mit, program) | EtienneLaurin |

category-traced | 7 | 0.0 | Traced monoidal categories | (bsd3, library, math) | MatthewFarkasDyck |

cayley-dickson | 18 | 0.0 | Complex numbers, quaternions, octonions, sedenions, etc. | (algebra, library, math, mit) | lmj |

cf | 12 | 2.0 | Exact real arithmetic using continued fractions | (library, math, mit) | mvr |

clac | 8 | 0.0 | Simple CLI RPN calculator | (gpl, math, program) | alexander |

clif | 7 | 0.0 | A Clifford algebra number type for Haskell | (algebra, benchmark, library, math, mit) | maaleske |

clifford | 22 | 0.0 | A Clifford algebra library | (benchmark, bsd3, library, math, numerical, program) | spacekitteh |

closure | 4 | 0.0 | Depth- and breadth-first set closures | (library, math, mit) | JosephAbrahamson |

clumpiness | 12 | 0.0 | Calculate the clumpiness of leaf properties in a tree | (gpl, library, math) | GregorySchwartz |

clustering | 13 | 2.0 | High performance clustering algorithms | (benchmark, library, math, mit) | kaizhang |

cmath | 16 | 0.0 | A binding to the standard C math library | (bsd3, library, math) | DonaldStewart |

coincident-root-loci | 10 | 0.0 | Equivariant CSM classes of coincident root loci | (bsd3, library, math) | BalazsKomuves |

combinat | 45 | 0.0 | Generate and manipulate various combinatorial objects. | (bsd3, library, math) | BalazsKomuves |

combinat-diagrams | 12 | 0.0 | Graphical representations for various combinatorial objects | (bsd3, library, math) | BalazsKomuves |

combinatorics (deprecated in favor of exact-combinatorics) | 9 | 0.0 | Efficient computation of common combinatoric functions. | (bsd3, deprecated, library, math, statistics) | WrenThornton |

commutative | 12 | 0.0 | Commutative binary operations. | (data, library, math, mit) | athanclark |

complex-generic | 16 | 0.0 | complex numbers with non-mandatory RealFloat | (bsd3, library, math) | ClaudeHeilandAllen |

complex-integrate | 8 | 0.0 | A simple integration function to integrate a complex-valued complex functions | (library, math, public-domain) | MarkSafronov |

computational-algebra | 37 | 2.0 | Well-kinded computational algebra library, currently supporting Groebner basis. | (benchmark, bsd3, library, math) | HiromiIshii |

computational-geometry | 113 | 0.0 | Collection of algorithms in Computational Geometry. | (bsd3, graphics, library, math) | MaksymilianOwsianny |

conjugateGradient | 15 | 0.0 | Sparse matrix linear-equation solver | (bsd3, library, math) | LeventErkok |

constructible | 5 | 0.0 | Exact computation with constructible real numbers | (bsd3, library, math) | AndersKaseorg |

constructive-algebra | 17 | 0.0 | A library of constructive algebra. | (algebra, bsd3, library, math) | AndersMortberg |

continued-fraction | 17 | 0.0 | Types and functions for working with continued fractions in Haskell | (bsd3, library, math) | vmchale |

continued-fractions | 16 | 0.0 | Continued fractions. | (library, math, numerical, public-domain) | JamesCook |

converge | 13 | 0.0 | Limit operations for converging sequences | (library, math, numerical, public-domain) | JamesCook |

cplex-hs | 9 | 2.0 | high-level CPLEX interface | (bsd3, library, math) | stefanjhlk |

crf-chain1 | 5 | 0.0 | First-order, linear-chain conditional random fields | (bsd3, library, math) | JakubWaszczuk |

crf-chain1-constrained | 11 | 0.0 | First-order, constrained, linear-chain conditional random fields | (bsd3, library, math) | JakubWaszczuk |

crf-chain2-generic | 6 | 0.0 | Second-order, generic, constrained, linear conditional random fields | (bsd3, library, math) | JakubWaszczuk |

cubicspline | 7 | 2.0 | Natural cubic spline interpolation. | (algorithms, bsd3, library, math) | GershomBazerman |

curve25519 | 12 | 0.0 | Fast implementations of the curve25519 elliptic curve primitives. | (bsd3, library, math) | AdamWick |

cyclotomic | 21 | 0.0 | A subfield of the complex numbers for exact calculation. | (gpl, library, math) | ScottWalck |

data-category | 48 | 0.0 | Category theory | (bsd3, library, math) | SjoerdVisscher |

data-interval | 60 | 0.0 | Interval datatype, interval arithmetic and interval-based containers | (bsd3, data, library, math) | MasahiroSakai |

data-nat | 8 | 0.0 | data Nat = Zero | Succ Nat | (bsd3, data, library, math) | GaborLehel |

decimal-literals | 10 | 0.0 | Preprocessing decimal literals more or less as they are (instead of via fractions) | (gpl, library, math) | leftaroundabout |

declarative | 21 | 0.0 | DIY Markov Chains. | (library, math, mit) | JaredTobin |

deeplearning-hs | 9 | 0.0 | Deep Learning in Haskell | (library, math, mit, program) | ajtulloch |

deka | 12 | 0.0 | Decimal floating point arithmetic | (bsd3, library, math) | OmariNorman |

deka-tests | 3 | 0.0 | Tests for deka, decimal floating point arithmetic | (bsd3, library, math, program) | OmariNorman |

derivation-trees | 6 | 0.0 | Typeset Derivation Trees via MetaPost | (gpl, graphics, library, math) | JeanPhilippeBernardy |

dfrac | 9 | 0.0 | A package for precise decimal arithmatic using rationals. | (library, math, mit) | georgerogers42 |

diagrams-solve | 944 | 0.0 | Pure Haskell solver routines used by diagrams | (bsd3, library, math) | BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers |

digamma (deprecated in favor of math-functions) | 10 | 0.0 | A (deprecated) implementation of the digamma function | (bsd3, deprecated, library, math) | BenGamari |

dimensional | 67 | 2.5 | Statically checked physical dimensions, using Type Families and Data Kinds. | (benchmark, bsd3, library, math, physics) | BjornBuckwalter, dmcclean |

dimensional-tf (deprecated in favor of dimensional) | 21 | 0.0 | Statically checked physical dimensions, implemented using type families. | (bsd3, deprecated, library, math, physics) | BjornBuckwalter |

dimensions | 46 | 0.0 | Safe type-level dimensionality for multidimensional data. | (bsd3, geometry, library, math) | achirkin |

diophantine | 12 | 0.0 | A quadratic diophantine equation solving library. | (gpl, library, math) | joejev |

directed-cubical | 7 | 0.0 | Finite directed cubical complexes and associated algorithms | (bsd3, library, math) | mmisamore |

distribution | 20 | 2.0 | Finite discrete probability distributions. | (apache, library, math) | RomainEdelmann |

distribution-plot | 5 | 0.0 | Easily plot distributions from the distribution package.. | (apache, library, math) | RomainEdelmann |

dozenal | 5 | 0.0 | A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. | (gpl, library, math) | siddhanathan |

dsp | 23 | 0.0 | Haskell Digital Signal Processing | (gpl, library, math, sound) | HenningThielemann |

dumb-cas | 21 | 0.0 | A computer “algebra” system that knows nothing about algebra, at the core. | (gpl, library, math) | leftaroundabout |

dvda (deprecated in favor of dynobud) | 18 | 0.0 | Efficient automatic differentiation and code generation | (bsd3, deprecated, library, math, numerical) | GregHorn |

dyckword | 25 | 0.0 | A library for working with binary Dyck words. | (bsd3, library, math) | arbelos |

ease | 13 | 0.0 | Robert Penner's easing equations | (bsd3, game, library, math) | fresheyeball |

easyplot | 31 | 0.0 | A tiny plotting library, utilizes gnuplot for plotting. | (graphics, library, math, mit, plotting) | JulianFleischer |

easytensor | 44 | 0.0 | Pure, type-indexed haskell vector, matrix, and tensor library. | (bsd3, geometry, library, math) | achirkin |

eigen | 31 | 2.0 | Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). | (algebra, algorithms, bsd3, data, library, math, numeric, statistics) | OlegSidorkin |

equational-reasoning | 54 | 1.5 | Proof assistant for Haskell using DataKinds & PolyKinds | (bsd3, library, math) | HiromiIshii |

erf | 1612 | 0.0 | The error function, erf, and related functions. | (bsd3, library, math) | LennartAugustsson |

erf-native | 8 | 0.0 | Native Haskell implementation of the interface from the erf package | (gpl, library, math) | JamesCook |

estimator | 18 | 0.0 | State-space estimation algorithms such as Kalman Filters | (bsd3, library, math, numerical, statistics) | AdamFoltzer, JameySharp |

euler | 19 | 0.0 | Mathematics utilities for Haskell | (benchmark, library, math, mit) | decomputed |

exact-combinatorics | 24 | 0.0 | Efficient exact computation of combinatoric functions. | (bsd3, library, math, statistics) | WrenThornton |

exact-cover | 14 | 0.0 | Efficient exact cover solver. | (algorithms, bsd3, library, math) | arthur |

exact-real | 25 | 2.0 | Exact real arithmetic | (benchmark, library, math, mit) | jophish |

exact-real-positional | 13 | 0.0 | Framework for Exact Real Arithmetic in the Positional Number System | (bsd3, library, math) | grlks |

exp-pairs | 17 | 0.0 | Linear programming over exponent pairs | (gpl, library, math) | Bodigrim |

explicit-determinant | 4 | 0.0 | explicit computation of determinant of small matrices | (gpl, library, math) | JohannesWaldmann |

expressions | 14 | 1.5 | Expressions and Formulae a la carte | (bsd3, data, library, logic, math) | jakubdaniel |

expressions-z3 | 8 | 0.0 | Encode and Decode expressions from Z3 ASTs | (bsd3, data, library, logic, math) | jakubdaniel |

extended-categories | 5 | 0.0 | Extended Categories | (bsd3, library, math) | ian_mi |

extended-reals | 49 | 0.0 | Extension of real numbers with positive/negative infinities | (bsd3, library, math) | MasahiroSakai |

factory | 32 | 0.0 | Rational arithmetic in an irrational world. | (gpl, library, math, number-theory, program) | AlistairWard, LennartAugustsson |

fad | 7 | 0.0 | Forward Automatic Differentiation. | (bsd3, library, math) | BjornBuckwalter |

fadno-braids | 32 | 0.0 | Braid representations in Haskell | (algebra, bsd2, data, library, math) | spopejoy |

fast-math | 73 | 0.0 | Non IEEE-754 compliant compile-time floating-point optimisations | (bsd3, library, math, numeric) | LiyangHu, MikeIzbicki |

fft | 45 | 0.0 | Bindings to the FFTW library. | (bsd3, library, math) | HenningThielemann, JedBrown |

fftwRaw | 13 | 0.0 | Low level bindings to FFTW. | (bsd3, library, math) | adamwalker |

find-clumpiness | 58 | 0.0 | Find the clumpiness of labels in a tree | (gpl, library, math, program) | GregorySchwartz |

finite-field | 50 | 0.0 | Finite Fields | (algebra, bsd3, data, library, math) | MasahiroSakai |

fixed-point (deprecated) | 13 | 0.0 | Binary fixed-point arithmetic | (data, deprecated, game, library, math, mit, numerical) | JakeMcArthur |

fixed-point-vector (deprecated) | 3 | 0.0 | Unbox instances for the fixed-point package | (data, deprecated, game, library, math, mit, numerical) | JakeMcArthur |

fixed-point-vector-space (deprecated) | 3 | 0.0 | vector-space instances for the fixed-point package | (data, deprecated, game, library, math, mit, numerical) | JakeMcArthur |

fixed-precision | 10 | 0.0 | Fixed Precision Arithmetic | (bsd3, library, math) | EdwardKmett |

fixedprec | 38 | 0.0 | A fixed-precision real number type | (bsd3, data, library, math) | PeterSelinger |

fizz-buzz | 16 | 0.0 | Functional Fizz/Buzz | (bsd3, library, math) | AlanHawkins |

flat-mcmc | 22 | 0.0 | Painless general-purpose sampling. | (library, math, mit) | JaredTobin |

foldl-statistics | 21 | 2.0 | Statistical functions from the statistics package implemented as Folds. | (benchmark, bsd3, library, math, statistics) | AlexMason |

fpnla | 7 | 0.0 | A library for NLA operations | (bsd3, library, math) | mblanco |

fpnla-examples | 2 | 0.0 | Example implementations for FPNLA library | (bsd3, library, math, parallelism) | mblanco |

fptest | 5 | 0.0 | IEEE754r floating point conformance tests | (bsd3, math, program) | jrp |

fractals | 5 | 0.0 | A collection of useful fractal curve encoders | (bsd3, library, math) | sdekker |

free-functors | 60 | 0.0 | Free functors, adjoint to functors that forget class constraints. | (bsd3, data, library, math) | SjoerdVisscher |

free-vector-spaces | 15 | 0.0 | Instantiate the classes from the vector-space package with types from linear | (bsd3, library, math) | leftaroundabout |

function-instances-algebra | 6 | 0.0 | Instances of the Algebra.* classes for functions | (bsd3, library, math) | TobiasBrandt |

game-probability | 6 | 0.0 | Simple probability library for dice rolls, card games and similar | (bsd3, library, math) | NeilBrown |

gamma | 19 | 0.0 | Gamma function and related functions. | (library, math, numerical, public-domain) | JamesCook |

garepinoh | 8 | 0.0 | reverse prefix notation calculator and calculation library | (console, library, math, program, public-domain, tools) | MekeorMelire |

geocalc | 7 | 0.0 | Libary for calculating distances between two coordinates in WSG84 | (bsd3, library, math) | GeroKriependorf |

geom2d | 9 | 0.0 | package for geometry in euklidean 2d space | (gpl, library, math) | seppeljordan |

ghc-typelits-presburger | 13 | 0.0 | Presburger Arithmetic Solver for GHC Type-level natural numbers. | (bsd3, library, math, type-system) | HiromiIshii |

glasso | 8 | 0.0 | Graphical Lasso algorithm | (bsd3, library, math) | kaizhang |

glicko | 20 | 0.0 | Glicko-2 implementation in Haskell. | (gpl, library, math) | rprecenth |

glpk-hs | 37 | 0.0 | Comprehensive GLPK linear programming bindings | (bsd3, library, math) | JeanPhilippeBernardy, LouisWasserman |

gnuplot | 81 | 0.0 | 2D and 3D plots using gnuplot | (bsd3, graphics, library, math) | HenningThielemann |

goal-core | 3 | 0.0 | Core imports for Geometric Optimization Libraries. | (bsd3, library, math, program) | alex404 |

goal-geometry | 1 | 0.0 | Scientific computing on geometric objects | (bsd3, library, math, program) | alex404 |

goal-probability | 1 | 0.0 | Manifolds of probability distributions | (bsd3, library, math, program) | alex404 |

goal-simulation | 2 | 0.0 | Mealy based simulation tools | (bsd3, library, math, program) | alex404 |

gray-extended | 14 | 0.0 | Gray encoding schemes | (bsd3, library, math) | AmyDeBuitleir |

grid | 66 | 0.0 | Tools for working with regular grids (graphs, lattices). | (bsd3, library, math) | AmyDeBuitleir |

groups | 1251 | 0.0 | Haskell 98 groups | (algebra, bsd3, data, library, math) | NathanVanDoorn |

gsl-random | 45 | 0.0 | Bindings the the GSL random number generation facilities. | (bsd3, library, math) | PatrickPerry |

gsl-random-fu | 6 | 0.0 | Instances for using gsl-random with random-fu | (library, math, public-domain) | JamesCook |

gutenberg-fibonaccis | 12 | 0.0 | The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. | (algorithms, gpl, library, math, numeric, numerical) | JustinHanekom |

hR | 6 | 0.0 | R bindings and interface | (bsd3, foreign, library, math) | DylanSimon |

hTensor | 22 | 0.0 | Multidimensional arrays and simple tensor computations. | (bsd3, library, math) | AlbertoRuiz |

haar | 9 | 0.0 | Haar wavelet transforms | (bsd3, library, math) | AmyDeBuitleir |

hahp | 8 | 0.0 | Analytic Hierarchy Process | (agpl, library, math, program) | taeradan, jpierre03 |

hascal | 23 | 0.0 | tiny calculator library and command-line program | (console, gpl, library, math, parsing, program, tools, utility, utils) | DagOdenhall, MekeorMelire |

haskell-eigen-util | 5 | 0.0 | Some utility functions for haskell-eigen library | (algebra, bsd3, library, math) | dilawars |

haskell-igraph | 15 | 0.0 | Imcomplete igraph bindings | (library, math, mit) | kaizhang |

haskell-mpfr | 3 | 2.0 | Correctly-rounded arbitrary-precision floating-point arithmetic | (lgpl, library, math, numeric) | ilist |

hbayes | 13 | 0.0 | Bayesian Networks | (bsd3, library, math) | alpheccar |

hblas | 14 | 2.0 | Human friendly BLAS and Lapack bindings for Haskell. | (bsd3, library, math) | CarterSchonwald |

hcg-minus | 8 | 0.0 | haskell cg (minus) | (bsd3, library, math) | RohanDrape |

hcg-minus-cairo | 6 | 0.0 | haskell cg (minus) (cairo rendering) | (bsd3, library, math) | RohanDrape |

hdr-histogram | 4 | 0.0 | Haskell implementation of High Dynamic Range (HDR) Histograms | (benchmark, gpl, library, math, statistics) | joshbohde |

hgeometric | 11 | 0.0 | A geometric library with bindings to GPC. | (library, math, mit) | DonaldStewart, GwernBranwen, MarcoSilva |

hieraclus | 14 | 0.0 | Automated clustering of arbitrary elements in Haskell. | (bsd3, clustering, library, math, statistics) | PhilippPribbernow |

hirt | 5 | 0.0 | Calculates IRT 2PL and 3PL models | (bsd3, math, program) | IvanLabath |

hlbfgsb | 5 | 0.0 | Haskell binding to L-BFGS-B version 3.0 | (bsd3, library, math) | IvanLabath |

hmatrix | 296 | 2.5 | Numeric Linear Algebra | (bsd3, library, math) | AlbertoRuiz |

hmatrix-banded | 6 | 0.0 | HMatrix interface to LAPACK functions for banded matrices | (bsd3, library, math) | HenningThielemann |

hmatrix-glpk | 26 | 0.0 | Linear Programming based on GLPK | (gpl, library, math) | AlbertoRuiz |

hmatrix-gsl | 36 | 0.0 | Numerical computation | (gpl, library, math) | AlbertoRuiz |

hmatrix-gsl-stats | 81 | 0.0 | GSL Statistics interface | (bsd3, ffi, library, math, statistics) | VivianMcPhail |

hmatrix-mmap | 10 | 0.0 | Memory map Vector from disk into memory efficiently | (bsd3, library, math, system) | AlanFalloon |

hmatrix-morpheus | 28 | 2.0 | Low-level machine learning auxiliary functions. | (benchmark, bsd3, library, math) | aignatyev17 |

hmatrix-nipals | 9 | 0.0 | NIPALS method for Principal Components Analysis on large data-sets. | (lgpl, library, math) | AlanFalloon |

hmatrix-quadprogpp | 11 | 0.0 | Bindings to the QuadProg++ quadratic programming library | (bsd3, library, math) | AkioTakano |

hmatrix-repa | 17 | 0.0 | Adaptors for interoperability between hmatrix and repa | (bsd3, data, library, math) | VivianMcPhail |

hmatrix-special | 19 | 0.0 | Interface to GSL special functions | (gpl, library, math) | AlbertoRuiz |

hmatrix-static | 9 | 0.0 | hmatrix with vector and matrix sizes encoded in types | (gpl, library, math) | ReinerPope |

hmatrix-svdlibc | 19 | 0.0 | SVDLIBC bindings for HMatrix | (benchmark, bsd3, library, math) | BenGamari |

hmatrix-syntax | 7 | 0.0 | MATLAB-like syntax for hmatrix vectors and matrices | (gpl, library, math) | ReinerPope |

hmatrix-tests | 18 | 0.0 | Tests for hmatrix | (benchmark, bsd3, library, math) | AlbertoRuiz |

hmm-hmatrix | 6 | 0.0 | Hidden Markov Models using HMatrix primitives | (bsd3, library, math) | HenningThielemann |

hmpfr | 60 | 2.0 | Haskell binding to the MPFR library | (bsd3, data, library, math) | AlesBizjak, MichalKonecny |

homeomorphic | 8 | 0.0 | Homeomorphic Embedding Test | (bsd3, library, math) | NeilMitchell |

hopfield-networks | 8 | 2.0 | Hopfield Networks for unsupervised learning in Haskell | (library, math, mit, program) | ajtulloch |

hops | 30 | 0.0 | Handy Operations on Power Series | (bsd3, library, math, program) | AndersClaesson |

hps-kmeans | 4 | 0.0 | A nice implementation of the k-Means algorithm. | (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics) | RodrigoGadea |

hsignal | 47 | 0.0 | Signal processing and EEG data analysis | (bsd3, library, math) | VivianMcPhail |

hsilop | 8 | 0.0 | RPN calculator | (math, mit, program) | rnhmjoj |

hstatistics | 44 | 0.0 | Statistics | (bsd3, library, math, statistics) | VivianMcPhail |

ieee (deprecated in favor of ieee754) | 23 | 0.0 | Utilities for dealing with IEEE floating point numbers | (bsd3, deprecated, library, math) | PatrickPerry |

ieee754 | 2678 | 2.0 | Utilities for dealing with IEEE floating point numbers | (bsd3, library, math) | PatrickPerry |

integer-logarithms | 11981 | 0.0 | Integer logarithms. | (algorithms, library, math, mit, number-theory) | phadej |

interpolation | 15 | 0.0 | piecewise linear and cubic Hermite interpolation | (bsd3, library, math) | HenningThielemann |

intervals | 986 | 2.0 | Interval Arithmetic | (bsd3, library, math) | EdwardKmett, EricMertens, ryanglscott |

ipopt-hs | 19 | 0.0 | haskell binding to ipopt and nlopt including automatic differentiation | (bsd3, library, math, numeric, optimisation) | AdamVogt |

ireal | 15 | 1.5 | Real numbers and intervals with relatively efficient exact arithmetic. | (bsd3, data, library, math) | sydow |

irt | 17 | 0.0 | Item Response Theory functions for use in computerized adaptive testing | (bsd3, library, math) | ElliotRobinson |

iter-stats | 4 | 0.0 | iteratees for statistical processing | (bsd3, library, math) | JohnLato |

jacobi-roots | 11 | 0.0 | Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision | (bsd3, library, math) | GregHorn |

jalaali | 6 | 0.0 | Convert Jalaali and Gregorian calendar systems to each other | (benchmark, library, math, mit) | behrang |

jalla | 10 | 0.0 | Higher level functions for linear algebra. Wraps BLAS and LAPACKE. | (gpl, library, math) | ChristianGosch |

kalman | 8 | 0.0 | Kalman and particle filters and smoothers | (library, math, mit) | DominicSteinitz |

kmeans-vector | 13 | 0.0 | An implementation of the kmeans clustering algorithm based on the vector package | (benchmark, bsd3, library, math, program) | AlpMestanogullari |

knead-arithmetic | 2 | 0.0 | Linear algebra and interpolation using LLVM JIT | (bsd3, library, math) | HenningThielemann |

knots | 2 | 0.0 | Khovanov homology computations | (library, math, mit, program) | maltem |

ks-test | 6 | 0.0 | Kolmogorov distribution and Kolmogorov-Smirnov test. | (library, math, numerical, public-domain) | JamesCook |

l-bfgs-b | 8 | 0.0 | Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization | (bsd3, library, math) | GardSpreemann |

lagrangian | 16 | 0.0 | Solve Lagrange multiplier problems | (bsd3, library, math) | JonathanFischoff, pash |

lattices | 110 | 2.0 | Fine-grained library for constructing and manipulating lattices | (bsd3, library, math) | MaxBolingbroke, phadej |

lazysplines | 7 | 2.0 | Differential solving with lazy splines | (bsd3, library, math) | GershomBazerman |

levmar | 38 | 0.0 | An implementation of the Levenberg-Marquardt algorithm | (bsd3, library, math, numerical) | BasVanDijk, RoelVanDijk |

lfst | 11 | 0.0 | L-Fuzzy Set Theory implementation in Haskell | (gpl, library, math) | claudiogreco |

libroman | 27 | 2.0 | Use Roman Numerals as a Numeric Datatype (sort of) | (bsd3, data, library, math, numerical) | ahakki |

lin-alg | 12 | 0.0 | Low-dimensional matrices and vectors for graphics and physics | (bsd3, library, math) | JasonDagit |

linda | 13 | 0.0 | LINear Discriminant Analysis | (bsd3, library, math, statistics) | LennartSchmitt |

linear | 1483 | 2.5 | Linear Algebra | (algebra, bsd3, library, math) | AnthonyCowley, EdwardKmett, EricMertens, ryanglscott |

linear-accelerate | 64 | 0.0 | Lifting linear vector spaces into Accelerate | (algebra, bsd3, compilers-interpreters, concurrency, data, library, math, parallelism) | EdwardKmett, TrevorMcDonell, ryanglscott |

linear-algebra-cblas | 6 | 0.0 | A linear algebra library with bindings to BLAS and LAPACK | (bsd3, library, math, program) | CarterSchonwald |

linear-circuit | 4 | 0.0 | Compute resistance of linear electrical circuits | (bsd3, library, math) | HenningThielemann |

linear-grammar | 22 | 0.0 | A simple grammar for building linear equations and inclusive inequalities. | (algebra, bsd3, library, math) | athanclark |

linear-vect | 5 | 0.0 | A low-dimensional linear algebra library, operating on the Num typeclass | (bsd3, library, math) | capsjac |

linearEqSolver | 10 | 0.0 | Use SMT solvers to solve linear systems over integers and rationals | (bsd3, library, math, smt) | LeventErkok |

linearmap-category | 17 | 0.0 | Native, complete, matrix-free linear algebra. | (gpl, library, math) | leftaroundabout |

logfloat | 52 | 0.0 | Log-domain floating point numbers | (bsd3, data, library, math, natural-language-processing, statistics) | WrenThornton |

logic-TPTP | 41 | 0.0 | Import, export etc. for TPTP, a syntax for first-order logic | (codec, gpl, library, math, theorem-provers) | DanielSchuessler, KiYungAhn |

magico | 6 | 0.0 | Compute solutions for Magico puzzle | (bsd3, math, program) | HenningThielemann |

magma | 14 | 0.0 | magma is an algebraic structure consisting a set together with an binary operation. | (algebra, bsd3, data, data-structures, library, math) | KatsutoshiItoh |

manifold-random | 10 | 0.0 | Sampling random points on general manifolds. | (gpl, library, math) | leftaroundabout |

manifolds | 20 | 0.0 | Coordinate-free hypersurfaces | (gpl, library, math) | leftaroundabout |

manifolds-core | 15 | 0.0 | The basic classes for the manifolds hierarchy. | (gpl, library, math) | leftaroundabout |

math-functions | 2533 | 0.0 | Special functions and Chebyshev polynomials | (bsd3, library, math, numeric) | AlexeyKhudyakov, BryanOSullivan |

mathexpr | 16 | 0.0 | Parse and evaluate math expressions with variables and functions | (gpl, library, math) | mdibaiee |

mathflow | 12 | 0.0 | Dependently typed tensorflow modeler | (bsd3, library, math) | junjihashimoto |

matlab | 5 | 0.0 | Matlab bindings and interface | (bsd3, foreign, library, math) | DylanSimon, bmsherman |

matrix | 200 | 0.0 | A native implementation of matrix operations. | (benchmark, bsd3, library, math) | DanielDiaz |

matrix-market | 8 | 0.0 | Read and write NIST Matrix Market files | (bsd3, library, math, system) | PatrickPerry |

matrix-market-pure | 8 | 0.0 | Pure and composable reader and writer of the Matrix Market format. | (bsd3, library, math) | SergeyAstanin |

maxent | 17 | 0.0 | Compute Maximum Entropy Distributions | (bsd3, library, math) | JonathanFischoff, pash |

mcl | 8 | 0.0 | Bindings to mcl, a generic and fast pairing-based cryptography library | (benchmark, bsd3, crypto, library, math) | arybczak |

mcmc-samplers | 5 | 0.0 | Combinators for MCMC sampling | (bsd3, library, machine-learning, math, numeric, statistics) | pravnar, z |

mcmc-types | 15 | 0.0 | Common types for sampling. | (library, math, mit, numeric) | JaredTobin |

mdp | 9 | 0.0 | Tools for solving Markov Decision Processes. | (algorithms, library, math, mit, program) | prsteele |

mersenne-random | 21 | 0.0 | Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister | (bsd3, library, math, system) | DonaldStewart |

mersenne-random-pure64 | 527 | 0.0 | Generate high quality pseudorandom numbers purely using a Mersenne Twister | (bsd3, library, math, system) | BenGamari, DonaldStewart |

mfsolve | 74 | 2.0 | Equation solver and calculator à la metafont | (bsd3, library, math) | KristofBastiaensen |

miniball | 10 | 0.0 | Bindings to Miniball, a smallest enclosing ball library | (gpl, library, math) | GardSpreemann |

mixed-strategies | 2 | 0.0 | Find optimal mixed strategies for two-player games | (library, math, mit, program) | BartonMassey |

mixed-types-num | 39 | 0.0 | Alternative Prelude with numeric and logic expressions typed bottom-up | (bsd3, library, math) | MichalKonecny |

mltool | 15 | 2.0 | Machine Learning Toolbox | (bsd3, library, math) | aignatyev, aignatyev17 |

modular-arithmetic | 21 | 2.0 | A type for integers modulo some constant. | (bsd3, library, math) | TikhonJelvis |

monad-lrs | 9 | 0.0 | a monad to calculate linear recursive sequence | (bsd3, library, math) | BinJin |

monoidplus | 5 | 0.0 | Extra classes/functions about monoids | (data, library, math, public-domain) | AaronBlack |

monoids (deprecated in favor of reducers) | 26 | 0.0 | Deprecated: Use 'reducers' | (bsd3, data, deprecated, library, math, numerical) | DanielWagner, EdwardKmett |

monte-carlo | 33 | 0.0 | A monad and transformer for Monte Carlo calculations. | (bsd3, library, math) | PatrickPerry |

ms | 7 | 0.0 | metric spaces | (bsd2, library, math) | RickyElrod |

multiset-comb | 27 | 0.0 | Combinatorial algorithms over multisets | (bsd3, library, math) | BrentYorgey |

mwc-probability | 33 | 0.0 | Sampling function-based probability distributions. | (library, math, mit) | JaredTobin |

mwc-random | 2913 | 2.0 | Fast, high quality pseudo random number generation | (bsd3, library, math, statistics) | AlexeyKhudyakov, BryanOSullivan |

mwc-random-monad | 22 | 2.0 | Monadic interface for mwc-random | (bsd3, library, math, statistics) | AlexeyKhudyakov |

nat | 10 | 0.0 | Lazy binary natural numbers | (bsd3, data, library, math) | JanChristiansen |

natural-numbers | 75 | 0.0 | Natural numbers | (bsd3, data, library, math) | WolfgangJeltsch |

network-topic-models | 1 | 0.0 | A few network topic model implementations for bayes-stack | (bsd3, math, program) | BenGamari |

nimber | 10 | 0.0 | Finite nimber arithmetic | (bsd3, library, math) | AndersKaseorg, PatrickHurst |

noether | 8 | 0.0 | Math in Haskell. | (benchmark, library, math, mit, program) | mrkgnao |

non-negative | 110 | 0.0 | Non-negative numbers | (gpl, library, math) | HenningThielemann |

nonlinear-optimization | 18 | 0.0 | Various iterative algorithms for optimization of nonlinear functions. | (gpl, library, math) | FelipeLessa |

nonlinear-optimization-ad | 9 | 0.0 | Wrapper of nonlinear-optimization package for using with AD package | (algorithms, gpl, library, math, optimisation, optimization) | MasahiroSakai |

normaldistribution | 48 | 0.0 | Minimum fuss normally distributed random values. | (bsd3, library, math, statistics) | BjornBuckwalter |

np-extras | 24 | 0.0 | NumericPrelude extras | (bsd3, library, math) | BrentYorgey |

np-linear | 13 | 0.0 | Linear algebra for the numeric-prelude framework | (bsd3, library, math) | AriePeterson |

number | 9 | 0.0 | A library for real numbers | (library, math, mit) | rnhmjoj |

numbers | 80 | 2.0 | Various number types | (bsd3, data, library, math) | CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor |

numeric-extras | 16 | 0.0 | Useful tools from the C standard library | (bsd3, library, math) | EdwardKmett, EricMertens |

numeric-ode | 9 | 0.0 | Ode solvers | (bsd3, library, math, program) | DominicSteinitz |

numeric-prelude | 39 | 2.0 | An experimental alternative hierarchy of numeric type classes | (bsd3, library, math) | HenningThielemann |

numeric-quest | 13 | 0.0 | Math and quantum mechanics | (gpl, library, math) | HenningThielemann |

numeric-tools | 11 | 0.0 | Collection of numerical tools for integration, differentiation etc. | (bsd3, library, math, numerical) | AlexeyKhudyakov |

numericpeano | 7 | 0.0 | Peano numbers with attendant bells and whistles. | (apache, library, math) | jtapolczai, jtapolczai2 |

numtype | 15 | 0.0 | Type-level (low cardinality) integers. | (bsd3, library, math) | BjornBuckwalter |

numtype-dk | 68 | 0.0 | Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. | (bsd3, library, math) | BjornBuckwalter, dmcclean |

numtype-tf | 7 | 0.0 | Type-level (low cardinality) integers, implemented using type families. | (bsd3, library, math) | BjornBuckwalter |

nurbs | 7 | 0.0 | NURBS | (bsd3, geometry, library, linear-algebra, math) | AlexandrRuchkin |

oeis | 89 | 0.0 | Interface to the Online Encyclopedia of Integer Sequences (OEIS) | (bsd3, library, math) | BrentYorgey, BrianLewis, niteria |

optimization | 11 | 0.0 | Numerical optimization | (bsd3, library, math) | BenGamari |

pareto | 6 | 0.0 | A library for cause-effect relationships. | (bsd3, library, math) | bwe |

peano | 8 | 0.0 | Peano numbers | (data, library, math) | MatthewFarkasDyck |

pell | 12 | 0.0 | Package to solve the Generalized Pell Equation. | (algorithms, library, math, mit, number-theory) | lbrunjes |

permutation | 35 | 0.0 | A library for permutations and combinations. | (bsd3, data-structures, library, math) | PatrickPerry, spacekitteh |

plot-gtk-ui | 20 | 0.0 | A quick way to use Mathematica like Manipulation abilities | (gpl, library, math) | sumitsahrawat |

plot-lab (deprecated in favor of plot-gtk-ui, calculator) | 9 | 0.0 | A plotting tool with Mathematica like Manipulation abilities | (deprecated, gpl, math, program) | sumitsahrawat |

poker-eval | 12 | 0.0 | Binding to libpoker-eval | (library, math, public-domain) | DavidHimmelstrup |

polar | 7 | 0.0 | Complex numbers in polar form | (bsd3, library, math) | StefanKersten |

polynom | 4 | 0.0 | Polynomial types and operations | (library, math) | MatthewFarkasDyck |

polynomial | 33 | 2.0 | Polynomials | (library, math, numerical, public-domain) | JamesCook |

polynomials-bernstein | 13 | 0.0 | A solver for systems of polynomial equations in bernstein form | (gpl, library, math) | JeanPhilippeBernardy, PierreEtienneMeunier |

primesieve | 17 | 0.0 | FFI bindings for the primesieve library. | (algorithms, foreign, library, math, mit, number-theory, program) | sighingnow |

probability | 68 | 0.0 | Probabilistic Functional Programming | (bsd3, graphics, library, math, monads) | HenningThielemann |

probable | 100 | 2.0 | Easy and reasonably efficient probabilistic programming and random generation | (bsd3, library, math, statistics) | AlpMestanogullari |

pure-fft | 23 | 0.0 | Fast Fourier Transform | (bsd3, library, math, numerical) | MattMorrow |

qd | 15 | 0.0 | double-double and quad-double number type via libqd | (bsd3, library, math) | ClaudeHeilandAllen |

qd-vec | 6 | 0.0 | 'Vec' instances for 'qd' types | (bsd3, library, math) | ClaudeHeilandAllen |

qhull-simple | 7 | 0.0 | Simple bindings to Qhull, a library for computing convex hulls | (bsd3, library, math) | GardSpreemann |

quadratic-irrational | 14 | 0.0 | An implementation of quadratic irrationals | (algorithms, data, library, math, mit) | ion |

quantities | 33 | 0.0 | Unit conversion and manipulation library. | (bsd3, data, library, math, physics, program) | jdreaver |

rad (deprecated in favor of ad) | 18 | 0.0 | Reverse Automatic Differentiation. | (bsd3, deprecated, library, math) | EdwardKmett |

random-extras | 24 | 0.0 | Additional functions for random values. | (bsd3, data, library, math) | AristidBreitkreuz |

random-fu | 78 | 0.0 | Random number generation | (math, public-domain) | DominicSteinitz, JamesCook |

random-fu-multivariate | 9 | 0.0 | Multivariate distributions for random-fu | (bsd3, library, math) | DominicSteinitz |

random-hypergeometric | 4 | 0.0 | Random variate generation from hypergeometric distributions | (library, math, mit) | srijs |

random-source | 59 | 0.0 | Generic basis for random number generators | (library, math, public-domain) | DominicSteinitz, JamesCook |

range-space | 17 | 0.0 | A Range type with vector-space instances | (bsd3, library, math) | JohnLato |

ratio-int | 14 | 0.0 | Fast specialisation of Data.Ratio for Int. | (bsd3, library, math) | RaphaelJavaux |

rclient | 5 | 0.0 | Haskell client for Rserve | (bsd3, library, math, network, statistics) | TomDoris |

reduce-equations | 4 | 0.0 | Simplify a set of equations by removing redundancies | (bsd3, library, math, program) | chriswarbo |

reducers | 809 | 0.0 | Semigroups, specialized containers and a general map/reduce framework | (bsd3, data, library, math, numerical, semigroups) | EdwardKmett, EricMertens, ryanglscott |

regress | 6 | 0.0 | Linear and logistic regression through automatic differentiation | (bsd3, library, math) | AlpMestanogullari |

resistor-cube | 9 | 0.0 | Compute total resistance of a cube of resistors | (bsd3, math, program) | HenningThielemann |

rivers | 3 | 0.0 | Rivers are like Streams, but different. | (bsd3, comonads, data, library, math) | DrewDay |

roots | 9 | 0.0 | Root-finding algorithms (1-dimensional) | (library, math, numerical, public-domain) | JamesCook |

rounding (deprecated) | 5 | 0.0 | Explicit floating point rounding mode wrappers | (bsd3, deprecated, library, math) | EdwardKmett |

rsagl-math | 2 | 0.0 | The RogueStar Animation and Graphics Library: Mathematics | (bsd3, library, math) | ChristopherLaneHinson |

ruff | 15 | 0.0 | relatively useful fractal functions | (bsd3, library, math) | ClaudeHeilandAllen |

rvar | 61 | 0.0 | Random Variables | (library, math, public-domain) | DominicSteinitz, JamesCook |

sampling | 15 | 0.0 | Sample values from collections. | (benchmark, library, math, mit) | JaredTobin |

sbv | 402 | 2.5 | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. | (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | LeventErkok |

sbvPlugin | 21 | 0.0 | Formally prove properties of Haskell programs using SBV/SMT | (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | LeventErkok |

science-constants | 8 | 0.0 | Mathematical/physical/chemical constants | (chemistry, library, math, physics, science) | cbou |

science-constants-dimensional | 5 | 0.0 | Mathematical/physical/chemical constants | (bsd3, chemistry, library, math, physics, science) | cbou |

sde-solver | 7 | 0.0 | Distributed SDE solver | (bsd3, library, math, numerical) | DavidNilsson |

search | 5 | 2.0 | Infinite search in finite time with Hilbert's epsilon | (bsd3, library, math, search, topology) | EdwardKmett |

semigroups | 14587 | 2.75 | Anything that associates | (algebra, bsd3, data, data-structures, library, math) | EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott |

semigroups-actions | 4 | 0.0 | Semigroups actions | (algebra, bsd3, data, data-structures, library, math) | PetrPudlak |

semiring | 7 | 0.0 | Semirings, ring-like structures used for dynamic programming applications | (bsd3, math, natural-language-processing) | SashaRush |

semiring-simple | 11 | 0.0 | A module for dealing with semirings. | (bsd3, library, math) | pharpend |

set-cover | 23 | 0.0 | Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube | (algorithms, bsd3, library, math) | HenningThielemann |

sets | 19 | 0.0 | Ducktyped set interface for Haskell containers. | (benchmark, data, library, math, mit) | athanclark |

sfmt | 5 | 0.0 | SIMD-oriented Fast Mersenne Twister(SFMT) binding. | (bsd3, library, math, random) | HirotomoMoriwaki |

sgd | 20 | 0.0 | Stochastic gradient descent | (algorithms, bsd3, library, math) | JakubWaszczuk |

sigma-ij | 11 | 0.0 | Thom polynomials of second order Thom-Boardman singularities | (bsd3, library, math, program) | BalazsKomuves |

sign | 49 | 0.0 | Arithmetic over signs and sets of signs | (algebra, bsd3, data, library, math) | MasahiroSakai |

simd | 6 | 0.0 | simple interface to GHC's SIMD instructions | (bsd3, library, math) | MikeIzbicki |

simple-smt | 324 | 0.0 | A simple way to interact with an SMT solver process. | (bsd3, library, math) | IavorDiatchki |

simple-vec3 | 11 | 0.0 | Three-dimensional vectors of doubles with basic operations | (benchmark, bsd3, library, math, numerical) | DmitryDzhus |

simplex-basic (deprecated) | 4 | 0.0 | Very basic simplex implementation. | (algebra, bsd3, deprecated, library, math) | athanclark |

sloane | 49 | 0.0 | A command line interface to Sloane's OEIS. | (bsd3, math, program) | AndersClaesson |

som | 59 | 2.0 | Self-Organising Maps. | (bsd3, library, math) | AmyDeBuitleir |

sparse-lin-alg | 12 | 2.0 | Effective linear algebra on sparse matrices | (bsd3, library, math) | AlexeyAlekhin |

spatial-math | 38 | 0.0 | 3d math including quaternions/euler angles/dcms and utility functions | (bsd3, library, math) | GregHorn |

spe | 19 | 0.0 | Combinatorial species lite | (bsd3, library, math) | AndersClaesson |

species | 130 | 0.0 | Computational combinatorial species | (bsd3, library, math) | BrentYorgey |

speedy-slice | 20 | 0.0 | Speedy slice sampling. | (library, math, mit) | JaredTobin |

spline3 | 3 | 0.0 | A parallel implementation of the Sorokina/Zeilfelder spline scheme. | (gpl, math, program) | MichaelOrlitzky |

splines | 9 | 0.0 | B-Splines, other splines, and NURBS. | (benchmark, graphics, library, math, numerical, public-domain) | JamesCook |

spsa | 9 | 0.0 | Simultaneous Perturbation Stochastic Approximation Optimization Algorithm | (benchmark, library, math, mit, optimization) | yanatan16 |

stable-maps | 11 | 0.0 | Heterogeneous maps keyed by StableNames | (bsd3, library, math) | EdwardKmett |

staf | 11 | 0.0 | Numerical statistics for Foldable containers | (library, math) | lovasko |

statistics | 1997 | 2.0 | A library of statistical types, data, and functions | (bsd2, library, math, statistics) | AlexeyKhudyakov, BryanOSullivan |

statistics-dirichlet | 12 | 0.0 | Functions for working with Dirichlet densities and mixtures on vectors. | (bsd3, library, math) | FelipeLessa |

statistics-fusion (deprecated in favor of statistics) | 11 | 0.0 | An implementation of high performance, minimal statistics functions | (bsd3, deprecated, library, math) | DonaldStewart |

statistics-hypergeometric-genvar | 3 | 0.0 | Random variate generation from hypergeometric distributions | (library, math, mit, statistics) | srijs |

statistics-linreg | 53 | 0.0 | Linear regression between two samples, based on the 'statistics' package. | (library, math, mit, statistics) | AlpMestanogullari |

stats | 5 | 0.0 | command line statistics | (gpl, math, program) | cheecheeo |

stochastic | 7 | 0.0 | Monadic composition of probabilistic functions and sampling. | (gpl, library, math) | chokboy |

svm-light-utils | 16 | 0.0 | Parsers and formatters for the SVMlight input file format | (bsd3, library, math) | BenGamari |

sym | 35 | 0.0 | Permutations, patterns, and statistics | (bsd3, library, math) | AndersClaesson |

sym-plot | 6 | 0.0 | Plot permutations; an addition to the sym package | (bsd3, library, math) | AndersClaesson |

symengine | 6 | 0.0 | SymEngine symbolic mathematics engine for Haskell | (ffi, library, math, mit, symbolic-computation) | bollu |

symengine-hs | 7 | 0.0 | SymEngine symbolic mathematics engine for Haskell | (ffi, library, math, mit, program, symbolic-computation) | bollu |

tau | 10 | 0.0 | Tau, the ratio between any circle's circumference and radius. | (bsd3, library, math) | BrentYorgey |

tensor | 16 | 0.0 | A completely type-safe library for linear algebra | (data, gpl, library, math) | NicolaSquartini |

terntup | 5 | 2.0 | a ternary library | (bsd3, library, math) | mcandre |

th-cas | 10 | 0.0 | Compile-time CAS(Computer Algebra System) | (library, math, mit, numeric) | junjihashimoto |

theta-functions | 8 | 0.0 | Theta-functions implemented as trigonometric series | (library, math, public-domain) | MarkSafronov |

tilings | 6 | 0.0 | substitution tilings | (bsd3, library, math) | ClaudeHeilandAllen |

tropical | 8 | 0.0 | A library for tropical mathematics. | (bsd3, library, math) | pharpend |

turing-machines | 6 | 0.0 | A simple simulator for Turing machines | (library, math, mit) | jariazavalverde |

turingMachine | 7 | 0.0 | An implementation of Turing Machine and Automaton | (gpl, library, math) | sanjorgek |

type-natural | 52 | 2.0 | Type-level natural and proofs of their properties. | (bsd3, library, math) | HiromiIshii |

type-settheory | 8 | 0.0 | Sets and functions-as-relations in the type system | (bsd3, language, library, math, type-system) | DanielSchuessler |

uncertain | 11 | 0.0 | Manipulating numbers with inherent experimental/measurement uncertainty | (bsd3, library, math) | jle |

units | 24 | 2.0 | A domain-specific type system for dimensional analysis | (bsd3, library, math) | RichardEisenberg |

unittyped | 4 | 0.0 | An extendable library for type-safe computations including units. | (lgpl, library, math, physics) | ThijsAlkemade |

variable-precision | 9 | 0.0 | variable-precision floating point | (bsd3, library, math) | ClaudeHeilandAllen |

vect | 21 | 2.0 | A low-dimensional linear algebra library, tailored to computer graphics. | (bsd3, graphics, library, math) | BalazsKomuves |

vect-floating (deprecated in favor of linear) | 6 | 0.0 | A low-dimensional linear algebra library, operating on the Floating typeclass | (bsd3, deprecated, library, math) | cdurham |

vect-floating-accelerate (deprecated in favor of linear-accelerate) | 7 | 0.0 | Accelerate instances for vect-floating types | (bsd3, deprecated, library, math) | cdurham |

vect-opengl | 6 | 0.0 | OpenGL support for the `vect' low-dimensional linear algebra library. | (bsd3, graphics, library, math) | BalazsKomuves |

vector-fftw | 33 | 0.0 | A binding to the fftw library for one-dimensional vectors. | (bsd3, library, math) | BenGamari, JudahJacobson |

vector-space | 516 | 2.5 | Vector & affine spaces, linear maps, and derivatives | (bsd3, math) | ConalElliott |

vector-space-map | 11 | 0.0 | vector-space operations for finite maps using Data.Map | (library, math, mit) | ChristianConkle |

vector-space-opengl | 7 | 0.0 | Instances of vector-space classes for OpenGL types | (bsd3, graphics, library, math) | AdamFoltzer |

vector-space-points | 27 | 0.0 | A type for points, as distinct from vectors. | (bsd3, library, math) | BrentYorgey, RyanYates, jeffreyrosenbluth, bergey |

vowpal-utils | 6 | 0.0 | Vowpal Wabbit utilities | (bsd3, library, math) | CarterSchonwald |

wigner-symbols | 7 | 0.0 | CG coefficients and Wigner symbols. | (benchmark, library, math, mit) | Rufflewind |

xorshift | 7 | 0.0 | Haskell implementation of the xorshift random generator. | (lgpl, library, math) | RobertClausecker |

yices | 15 | 0.0 | Haskell programming interface to Yices SMT solver | (bsd3, library, math) | KiYungAhn |

yices-easy | 1 | 0.0 | Simple interface to the Yices SMT (SAT modulo theories) solver. | (algorithms, bsd3, library, math, theorem-provers) | KeeganMcAllister |

yices-painless | 8 | 0.0 | An embedded language for programming the Yices SMT solver | (bsd3, formal-methods, library, math, theorem-provers) | DonaldStewart |

z3 | 41 | 2.0 | Bindings for the Z3 Theorem Prover | (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers) | IagoAbal |