# Packages tagged math

739 packages have this tag.

[Merge tag] (trustees only)Related tags: library (710), bsd3 (478), mit (113), program (90), data (78), gpl (66), deprecated (57), numerical (50), language (41), statistics (37), algebra (34), numeric (31), game (28), algorithms (24), graphics (24), phonetic-languages (21), lgpl (18), public-domain (17), optimization (11), theorem-provers (11), number-theory (10), optimisation (10), data-structures (9), formal-methods (9), physics (9), bsd2 (8), geometry (7), Ukrainian (6), smt (6), apache (5), mathematics (5), maths (5), mpl (5), music (5), system (5), PhLADiPreLiO (4), bit-vectors (4), ffi (4), logic (4), phonetics (4), symbolic-computation (4), writing-systems (4), accelerate (3), agpl (3), category-theory (3), chemistry (3), foreign (3), linear-algebra (3), natural-language-processing (3), science (3), sound (3), testing (3), type-system (3), uniqueness (3), clustering (2), console (2), control (2), csv (2), dependent-types (2), finance (2), groups (2), json (2), machine-learning (2), numerics (2), parsing (2), phladiprelio (2), prosodic-languages (2), prosody (2), singletons (2), tools (2), uniqueness-periods (2), #AncientEgypt (1), adjunctions (1), ai (1), ats (1), charts (1), codec (1), coherency (1), combinatorics (1), comonads (1), computer-algebra (1), crypto (1), ...

Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|

AC-Angle | 14 | 0.0 | 5 | Angles in degrees and radians. | (bsd3, data, library, math, numerical) | 2010-07-23 | 1.0 | AndrewCoppin |

AC-Boolean | 13 | 0.0 | 1 | Handle Boolean values generatically. | (bsd3, data, library, logic, math) | 2010-11-09 | 1.1.0 | AndrewCoppin |

AC-Colour | 17 | 0.0 | 1 | Efficient RGB colour types. | (bsd3, data, graphics, library, math, numerical) | 2014-01-12 | 1.1.6 | AndrewCoppin |

AC-HalfInteger | 10 | 0.0 | 1 | Efficient half-integer type. | (bsd3, data, library, math, numerical) | 2009-08-12 | 1.2.1 | AndrewCoppin |

AC-Terminal | 6 | 0.0 | 1 | Trivial wrapper over ansi-terminal. | (bsd3, data, library, math, numerical) | 2010-10-28 | 1.0 | AndrewCoppin |

AC-Vector | 36 | 2.0 | 8 | Efficient geometric vectors and transformations. | (bsd3, data, graphics, library, math, numerical) | 2024-03-17 | 2.4.0 | AndrewCoppin, JanRochel |

AC-Vector-Fancy | 15 | 0.0 | 1 | Fancy type-system stuff for AC-Vector | (bsd3, data, graphics, library, math, numerical) | 2010-08-15 | 2.4.0 | AndrewCoppin |

AERN-Basics (deprecated in favor of aern2-mp, aern2-real) | 6 | 0.0 | 4 | foundational type classes for approximating exact real numbers | (bsd3, data, deprecated, library, math, program) | 2011-05-11 | 2011.1.0.1 | MichalKonecny |

AERN-Net (deprecated in favor of aern2-mp, aern2-real) | 8 | 0.0 | 1 | Compositional lazy dataflow networks for exact real number computation | (bsd3, deprecated, distributed-computing, library, math) | 2009-07-29 | 0.2.1.1 | MichalKonecny |

AERN-Real (deprecated in favor of aern2-mp, aern2-real) | 29 | 0.0 | 6 | arbitrary precision real interval arithmetic | (bsd3, data, deprecated, library, math) | 2011-05-11 | 2011.1.0.1 | MichalKonecny |

AERN-Real-Double (deprecated in favor of aern2-mp, aern2-real) | 7 | 0.0 | 1 | arbitrary precision real interval arithmetic | (bsd3, data, deprecated, library, math, program) | 2011-05-11 | 2011.1.0.2 | MichalKonecny |

AERN-Real-Interval (deprecated in favor of aern2-mp, aern2-real) | 5 | 0.0 | 2 | arbitrary precision real interval arithmetic | (bsd3, data, deprecated, library, math) | 2011-05-11 | 2011.1.0.1 | MichalKonecny |

AERN-RnToRm (deprecated) | 26 | 0.0 | 3 | polynomial function enclosures (PFEs) approximating exact real functions | (bsd3, data, deprecated, library, math) | 2009-07-29 | 0.5.0.1 | MichalKonecny |

AERN-RnToRm-Plot (deprecated) | 14 | 0.0 | 1 | GL plotting of polynomial function enclosures (PFEs) | (bsd3, data, deprecated, library, math) | 2009-08-01 | 0.2.0.3 | MichalKonecny |

ApproxFun-hs | 4 | 0.0 | 1 | Function approximation | (bsd3, library, math) | 2015-04-26 | 0.1.0.0 | DominicSteinitz |

Baggins | 5 | 0.0 | 1 | Tools for self-assembly | (gpl, library, math) | 2014-06-12 | 1.0 | pmeunier |

BerlekampAlgorithm | 5 | 0.0 | 1 | Factorization of polynomials over finite field | (bsd3, library, math) | 2013-06-10 | 0.1.0.0 | AbdelwahebMiled |

BesselJ | 18 | 0.0 | 0 | Bessel J-function, Anger J-function, Weber E-function, and Anger-Weber function. | (bsd3, library, math) | 2023-09-22 | 0.2.0.1 | stla |

Cartesian | 10 | 0.0 | 1 | Coordinate systems | (library, math, mit) | 2016-10-10 | 0.6.0.0 | SwiftsNamesake |

ContextAlgebra | 8 | 0.0 | 0 | Implementation of the context algebra. | (bsd3, math, program) | 2016-08-24 | 1.0.0.0 | jhahn |

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

Data-Angle | 9 | 0.0 | 1 | Geometric angles | (bsd3, data, library, math) | 2017-03-26 | 0.9 | deadmanswitch |

Decimal | 92 | 0.0 | 31 | Decimal numbers with variable precision | (bsd3, library, math) | 2021-03-14 | 0.5.2 | PaulJohnson |

DifferenceLogic | 8 | 0.0 | 2 | A theory solver for conjunctions of literals in difference logic | (bsd3, library, math) | 2014-11-05 | 0.1.0.4 | dillonhuff |

DigitGroup | 3 | 0.0 | 0 | Group the digits of numbers by lots | (bsd3, library, math) | 2022-01-19 | 0.1.0.0 | AlanHawkins |

Dist | 14 | 0.0 | 1 | A Haskell library for probability distributions | (library, math, mit) | 2019-06-16 | 0.5.0 | wyager |

DistanceTransform | 9 | 0.0 | 1 | Distance transform function. | (bsd3, library, math) | 2013-02-16 | 0.1.2 | AnthonyCowley |

Eq (deprecated) | 16 | 0.0 | 1 | Render math formula in ASCII, and perform some simplifications | (bsd3, deprecated, language, math, program) | 2013-05-28 | 1.1.3 | VincentBerthoux |

EqualitySolver | 10 | 0.0 | 1 | A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality | (bsd3, library, math) | 2014-11-02 | 0.1.0.2 | dillonhuff |

FirstOrderTheory | 7 | 0.0 | 3 | Grammar and typeclass for first order theories | (bsd3, library, math) | 2014-11-05 | 0.1.0.6 | dillonhuff |

Flint2 | 30 | 0.0 | 1 | Haskell bindings for the flint library for number theory | (gpl, library, math) | 2023-11-17 | 0.1.0.5 | monien |

Flint2-Examples | 14 | 0.0 | 0 | Examples for the Flint2 library | (gpl, math, program) | 2023-11-17 | 0.1.0.2 | monien |

GaussQuadIntegration | 12 | 0.0 | 1 | Non-adaptive Gaussian quadrature for numeric integraton | (bsd3, library, math) | 2011-09-15 | 0.1 | GrigorySarnitsky |

GeomPredicates | 11 | 0.0 | 2 | Geometric predicates | (bsd3, library, math) | 2010-06-27 | 0.1 | NealAlexander |

GeomPredicates-SSE | 5 | 0.0 | 1 | Geometric predicates (Intel SSE) | (bsd3, library, math) | 2010-06-27 | 0.2 | NealAlexander |

HABQT | 4 | 0.0 | 0 | Hierarchical adaptive Bayesian quantum tomography for quantum bits | (bsd3, library, math, program, quantum) | 2018-07-01 | 0.1.0.0 | LeonidBelinsky |

HERA | 5 | 0.0 | 1 | (bsd3, library, math) | 2008-12-05 | 0.2 | LukePalmer | |

HQu | 19 | 2.0 | 0 | quantitative finance library | (finance, library, math, mit) | 2021-07-09 | 0.0.0.5 | ghais |

HROOT | 42 | 0.0 | 1 | Haskell binding to the ROOT data analysis framework | (graphics, lgpl, library, math, numerical, statistics) | 2023-07-29 | 0.10.0.3 | IanWooKim |

HROOT-core | 13 | 0.0 | 8 | Haskell binding to ROOT Core modules | (graphics, lgpl, library, math, numerical, statistics) | 2023-07-29 | 0.10.0.3 | IanWooKim |

HROOT-graf | 22 | 0.0 | 2 | Haskell binding to ROOT Graf modules | (graphics, lgpl, library, math, numerical, statistics) | 2023-07-29 | 0.10.0.3 | IanWooKim |

HROOT-hist | 23 | 0.0 | 3 | Haskell binding to ROOT Hist modules | (graphics, lgpl, library, math, numerical, statistics) | 2023-07-29 | 0.10.0.3 | IanWooKim |

HROOT-io | 15 | 0.0 | 3 | Haskell binding to ROOT IO modules | (graphics, lgpl, library, math, numerical, statistics) | 2023-07-29 | 0.10.0.3 | IanWooKim |

HROOT-math | 16 | 0.0 | 2 | Haskell binding to ROOT Math modules | (graphics, lgpl, library, math, numerical, statistics) | 2023-07-29 | 0.10.0.3 | IanWooKim |

HROOT-net | 12 | 0.0 | 1 | Haskell binding to ROOT Net modules | (lgpl, library, math, numerical, raphics, statistics) | 2023-07-29 | 0.10.0.3 | IanWooKim |

HROOT-tree | 11 | 0.0 | 1 | Haskell binding to ROOT Tree modules | (graphics, lgpl, library, math, numerical, statistics) | 2023-07-29 | 0.10.0.3 | IanWooKim |

HasBigDecimal | 28 | 2.25 | 3 | A library for arbitrary precision decimal numbers. | (apache, library, math, program) | 2022-09-01 | 0.2.0.0 | thma |

HaskellForMaths | 52 | 0.0 | 4 | Combinatorics, group theory, commutative algebra, non-commutative algebra | (bsd3, library, math) | 2018-12-15 | 0.4.9 | DavidAmos |

HaskellLM | 8 | 0.0 | 1 | Pure Haskell implementation of the Levenberg-Marquardt algorithm | (library, math) | 2012-02-29 | 0.1.2 | KietLam |

HerbiePlugin | 7 | 0.0 | 7 | automatically improve your code's numeric stability | (bsd3, library, math) | 2015-09-28 | 0.2.0.0 | MikeIzbicki |

Homology | 11 | 0.0 | 1 | Compute the homology of a chain complex | (library, math) | 2012-06-24 | 0.1.1 | DamekDavis |

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

Kalman (deprecated in favor of kalman) | 5 | 0.0 | 1 | A slightly extended Kalman filter | (bsd3, deprecated, library, math) | 2015-04-05 | 0.1.0.1 | DominicSteinitz |

LPPaver | 10 | 0.0 | 0 | An automated prover targeting problems that involve nonlinear real arithmetic | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification) | 2023-03-13 | 0.0.5.0 | JunaidRasheed |

LargeCardinalHierarchy | 5 | 0.0 | 1 | A transfinite cardinal arithmetic library including all known large cardinals | (library, math, mathematics, maths, set-theory) | 2014-09-07 | 0.0.1 | Stephen_E_A_Britton |

Lattices | 18 | 0.0 | 2 | A library for lattices | (library, math) | 2018-09-21 | 0.0.3 | BartCoppens |

LetsBeRational | 6 | 0.0 | 0 | European option implied vol calculation | (finance, library, math, mit, numeric, quant) | 2021-12-19 | 1.0.0.0 | ghais |

Logic | 4 | 0.0 | 1 | Logic | (library, math, mit) | 2014-12-29 | 0.1.0.0 | gogotanaka |

MIP | 14 | 0.0 | 2 | Library for using Mixed Integer Programming (MIP) | (algorithms, bsd3, library, math, optimisation, optimization) | 2020-12-26 | 0.1.1.0 | MasahiroSakai |

MIP-glpk | 5 | 0.0 | 0 | A GLPK backend to the MIP library. | (algorithms, gpl, library, math, optimisation, optimization) | 2020-12-26 | 0.1.1.0 | MasahiroSakai |

MeanShift | 5 | 0.0 | 1 | Mean shift algorithm | (bsd3, library, math) | 2012-04-30 | 0.1 | VilleTirronen |

Modulo | 14 | 0.0 | 1 | Modular arithmetic via Numeric-Prelude | (gpl, library, math) | 2013-08-08 | 0.2.0.1 | NikolayMurzin |

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

MultipletCombiner | 31 | 0.0 | 0 | A Haskell implementation for combining SU(n) multiplets | (bsd3, groups, library, math, physics, science) | 2023-09-10 | 0.0.7 | dressel |

NTRU | 14 | 0.0 | 1 | NTRU Cryptography | (cryptography, library, math) | 2020-01-27 | 1.1.0.0 | mikewest, Bodigrim |

Naperian | 6 | 0.0 | 2 | Naperian Functors for APL-like programming | (library, math) | 2019-03-28 | 0.1.1.0 | DominicSteinitz |

NaperianNetCDF | 7 | 0.0 | 0 | Instances of NcStore for hypercuboids | (bsd3, library, math, program) | 2019-04-18 | 0.1.0.1 | DominicSteinitz |

NearContextAlgebra | 8 | 0.0 | 1 | Context Algebra of near | (bsd3, math, program) | 2015-10-25 | 0.1.0.2 | jhahn |

Noise | 22 | 0.0 | 1 | A Haskell coherent noise generator based on libnoise | (bsd3, graphics, library, math, noise) | 2013-02-25 | 1.0.6 | HugoGomes |

NumberSieves | 9 | 0.0 | 1 | Number Theoretic Sieves: primes, factorization, and Euler's Totient | (bsd3, library, math) | 2012-08-21 | 0.1.2 | LeonSmith |

NumberTheory | 6 | 0.0 | 1 | A library for number theoretic computations, written in Haskell. | (gpl, library, math) | 2016-02-17 | 0.1.0.1 | cfredric |

Operads | 15 | 0.0 | 1 | Groebner basis computation for Operads. | (bsd3, library, math) | 2009-08-14 | 1.0 | MikaelVejdemoJohansson |

Ordinals | 12 | 0.0 | 1 | Ordinal arithmetic | (bsd3, library, math) | 2010-07-09 | 0.0.0.2 | KiYungAhn |

Paillier | 9 | 0.0 | 1 | a simple Paillier cryptosystem | (bsd3, library, math) | 2013-12-11 | 0.1.0.3 | onemouth, abhiroop |

ParserFunction (deprecated in favor of attoparsec) | 25 | 0.0 | 1 | Parse and evaluate mathematical expressions. | (bsd3, deprecated, library, math, parsing) | 2014-05-14 | 0.1.0 | EnzoHaussecker |

Persistence | 21 | 0.0 | 1 | A versatile library for topological data analysis. | (bsd3, data, library, math) | 2019-08-19 | 2.0.3 | Ebanflo |

Probnet | 16 | 2.25 | 0 | Geometric Extrapolation of Integer Sequences with error prediction | (ai, forecasting, library, math, mit, sequences) | 2021-06-02 | 0.1.0.4 | vnos |

PropaFP | 9 | 0.0 | 1 | Auto-active verification of floating-point programs | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers) | 2023-03-12 | 0.1.2.0 | JunaidRasheed |

ProxN | 18 | 0.0 | 1 | Proximity sets in N dimensions | (bsd3, library, math) | 2012-01-28 | 0.0.1 | AndrasSlemmer |

RANSAC | 17 | 0.0 | 1 | The RANSAC algorithm for parameter estimation. | (bsd3, library, math, numerical) | 2015-11-19 | 0.1.0.2 | AnthonyCowley |

SG | 6 | 0.0 | 3 | Small geometry library for dealing with vectors and collision detection | (bsd3, data, library, math) | 2009-03-17 | 1.0 | NeilBrown |

SGplus | 4 | 0.0 | 1 | (updated) Small geometry library for dealing with vectors and collision detection | (bsd3, data, library, math) | 2016-09-01 | 1.1 | donomii |

SmithNormalForm | 3 | 0.0 | 0 | A lightweight Haskell implementation of Smith normal form over the integers. | (library, linearalgebra, math, mit) | 2021-12-31 | 0.1.0.0 | BrianHwang |

Smooth | 4 | 0.0 | 1 | A tiny, lazy SMT solver | (bsd3, library, math) | 2014-11-05 | 0.1.0.1 | dillonhuff |

SpatialMath | 17 | 0.0 | 3 | 3d math including quaternions/euler angles/dcms and utility functions | (bsd3, library, math) | 2023-09-16 | 0.2.7.1 | ScottWalck |

TeX-my-math | 19 | 0.0 | 2 | Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. | (gpl, library, math, program) | 2023-04-26 | 0.203.0.0 | leftaroundabout |

Vec | 36 | 0.0 | 15 | Fixed-length lists and low-dimensional linear algebra. | (bsd3, data, library, math) | 2014-08-06 | 1.0.5 | ScottDillard |

Vec-Boolean | 13 | 0.0 | 2 | Provides Boolean instances for the Vec package | (bsd3, data, library, math) | 2012-08-05 | 1.0.6 | TobiasBexelius |

Vec-OpenGLRaw | 10 | 0.0 | 3 | Instances and functions to interoperate Vec and OpenGL. | (bsd3, graphics, library, math) | 2010-06-28 | 0.2.0.1 | ChristopherLaneHinson |

Vec-Transform | 15 | 0.0 | 3 | This package is obsolete | (bsd3, graphics, library, math) | 2012-08-05 | 1.1 | TobiasBexelius |

WeberLogic | 11 | 0.0 | 1 | Logic interpreter | (bsd3, library, math, program) | 2014-03-17 | 0.1.2 | cameronbwhite |

Xorshift128Plus | 6 | 0.0 | 1 | Pure haskell implementation of xorshift128plus random number generator. | (library, math, public-domain) | 2015-04-14 | 0.1.0.1 | hkanai |

ZEBEDDE (deprecated) | 4 | 0.0 | 1 | Polymer growth simulation method | (bsd3, deprecated, library, math) | 2015-07-29 | 0.1.0.0 | hackrilege |

accelerate-arithmetic | 13 | 0.0 | 3 | Linear algebra and interpolation using the Accelerate framework | (bsd3, library, math) | 2018-03-17 | 1.0.0.1 | HenningThielemann |

accelerate-blas | 12 | 0.0 | 1 | Numeric Linear Algebra in Accelerate | (accelerate, bsd3, library, math) | 2020-08-28 | 0.3.0.0 | TrevorMcDonell |

accelerate-cublas | 6 | 0.0 | 1 | Basic Linear Algebra using native CUBLAS library | (bsd3, library, math, program) | 2017-04-23 | 0.1 | HenningThielemann |

accelerate-cufft | 10 | 0.0 | 1 | Accelerate frontend to the CUFFT library (Fourier transform) | (bsd3, library, math) | 2017-12-15 | 1.0 | HenningThielemann |

accelerate-fft | 17 | 0.0 | 2 | FFT using the Accelerate library | (accelerate, bsd3, library, math) | 2020-08-28 | 1.3.0.0 | TrevorMcDonell |

accelerate-fftw | 6 | 0.0 | 1 | Accelerate frontend to the FFTW library (Fourier transform) | (bsd3, library, math) | 2018-03-17 | 1.0.0.1 | HenningThielemann |

accelerate-fourier | 10 | 0.0 | 2 | Fast Fourier transform and convolution using the Accelerate framework | (bsd3, library, math) | 2018-03-17 | 1.0.0.5 | HenningThielemann |

accelerate-fourier-benchmark | 7 | 0.0 | 1 | Compare different implementations of the Fast Fourier Transform | (bsd3, math, program) | 2017-04-23 | 0.0.0.1 | HenningThielemann |

accelerate-typelits | 5 | 2.0 | 1 | a typesafe way encode accelerate matrices and vectors | (library, math) | 2016-05-17 | 0.1.0.0 | epsilonhalbe |

acts | 11 | 0.0 | 0 | Semigroup actions and torsors. | (algebra, bsd3, library, math) | 2022-12-03 | 0.3.1.1 | sheaf |

ad | 294 | 2.5 | 24 | Automatic Differentiation | (bsd3, library, math) | 2024-05-01 | 4.5.6 | EdwardKmett, EricMertens, ryanglscott |

ad-delcont | 23 | 2.25 | 0 | Reverse-mode automatic differentiation with delimited continuations | (bsd3, library, machine-learning, math, numeric, optimisation, optimization) | 2023-07-03 | 0.5.0.0 | ocramz |

adjunction | 6 | 0.0 | 0 | See README for more info | (adjunctions, bsd3, library, math) | 2020-02-01 | 0.0.0.0 | |

aern2-fun | 6 | 0.0 | 1 | Generic operations for real functions | (bsd3, library, math) | 2022-07-14 | 0.2.9.0 | MichalKonecny |

aern2-mfun | 6 | 0.0 | 2 | Multi-variate real function optimisation and proving | (bsd3, library, math, program) | 2022-07-14 | 0.2.9.0 | MichalKonecny |

aern2-mp | 58 | 0.0 | 5 | Multi-precision ball (interval) arithmetic | (bsd3, library, math) | 2023-08-19 | 0.2.15.1 | MichalKonecny |

aern2-real | 58 | 0.0 | 1 | Real numbers as convergent sequences of intervals | (bsd3, library, math) | 2023-04-11 | 0.2.15 | MichalKonecny |

affine | 10 | 0.0 | 1 | Affine spaces (generalized) | (bsd3, library, math) | 2018-05-17 | 0.1.1.0 | |

alg (deprecated) | 52 | 0.0 | 8 | Algebraic structures | (bsd3, deprecated, library, math) | 2019-12-24 | 0.2.13.1 | |

algebra | 110 | 0.0 | 12 | Constructive abstract algebra | (algebra, bsd3, library, math) | 2017-12-25 | 4.3.1 | EdwardKmett, HiromiIshii, WolfgangJeltsch |

algebraic | 8 | 0.0 | 1 | General linear algebra structures. | (algebra, bsd3, library, math) | 2014-06-17 | 0.1.0.2 | danilo2, Korri, MarcinMikolajczyk, iamrecursion |

algebraic-classes | 36 | 0.0 | 2 | Conversions between algebraic classes and F-algebras. | (bsd3, data, generics, library, math) | 2020-01-06 | 0.9.4 | SjoerdVisscher |

antimirov | 4 | 0.0 | 1 | Define the language containment (=subtyping) relation on regulare expressions. | (language, library, math, program) | 2009-01-30 | 0.1.0 | RickKaudewitz |

apportionment | 22 | 1.25 | 1 | Round a set of numbers while maintaining its sum | (bsd3, library, math) | 2022-01-02 | 0.0.0.4 | HenningThielemann |

arb-fft | 7 | 0.0 | 1 | Pure Haskell arbitrary length FFT library | (bsd3, library, math, program) | 2016-04-24 | 0.3.0.0 | IanRoss |

arithmatic | 12 | 0.0 | 1 | do things with numbers | (bsd3, library, math) | 2017-01-26 | 0.1.0.3 | AlanHawkins |

arithmoi | 131 | 2.0 | 23 | Efficient basic number-theoretic functions. | (algorithms, library, math, mit, number-theory) | 2023-07-29 | 0.13.0.0 | CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim |

arrayfire | 13 | 2.25 | 1 | Haskell bindings to the ArrayFire general-purpose GPU library | (bsd3, library, math, program) | 2022-10-02 | 0.7.0.0 | DavidJohnson |

atp | 5 | 0.0 | 0 | Interface to automated theorem provers | (formal-methods, gpl, library, logic, math, theorem-provers) | 2021-01-25 | 0.1.0.0 | EK |

atrophy | 6 | 0.0 | 0 | Faster integer division and modulus operations | (library, math, mit) | 2022-08-21 | 0.1.0.0 | goolord |

automata | 6 | 0.0 | 0 | automata | (bsd3, data, library, math) | 2019-01-22 | 0.1.0.0 | chessai |

backprop | 64 | 2.25 | 8 | Heterogeneous automatic differentation | (bsd3, library, math) | 2023-07-23 | 0.2.6.5 | jle |

battleship-combinatorics | 14 | 0.0 | 0 | Compute number of possible arrangements in the battleship game | (bsd3, library, math, program) | 2021-11-18 | 0.0.1 | HenningThielemann |

bayes-stack | 4 | 0.0 | 1 | Framework for inferring generative probabilistic models with Gibbs sampling | (bsd3, library, math) | 2012-10-27 | 0.2.0.1 | BenGamari |

bed-and-breakfast | 29 | 0.0 | 2 | Efficient Matrix and Vector operations in 100% Haskell. | (library, linear-algebra, math, mit, numeric) | 2018-10-22 | 0.5 | JulianFleischer |

besout | 7 | 0.0 | 2 | Extended GCD of polynomials over F_p[x] | (bsd3, library, math) | 2014-06-21 | 0.2.0.1 | AbdelwahebMiled |

bin | 167 | 0.0 | 5 | Bin: binary natural numbers. | (data, dependent-types, gpl, library, math, singletons) | 2024-06-08 | 0.1.4 | phadej |

bindings-mpdecimal (deprecated in favor of deka) | 8 | 0.0 | 1 | bindings to mpdecimal library | (bsd3, deprecated, library, math) | 2014-01-20 | 0.8.0.0 | OmariNorman |

bindings-saga-cmd | 12 | 0.0 | 1 | Wrapping saga_cmd | (gpl, library, math, program) | 2015-06-16 | 0.1.1.1 | michelk |

bins | 17 | 0.0 | 1 | Aggregate continuous values into discrete bins | (bsd3, library, math) | 2019-10-04 | 0.1.2.0 | jle |

blas (deprecated in favor of hblas) | 19 | 0.0 | 1 | Bindings to the BLAS library | (bsd3, deprecated, library, math) | 2009-01-14 | 0.7.6 | CarterSchonwald |

blas-carray | 23 | 0.0 | 1 | Auto-generated interface to Fortran BLAS via CArrays | (bsd3, library, math) | 2023-02-16 | 0.1.0.2 | HenningThielemann |

blas-comfort-array | 16 | 0.0 | 0 | Auto-generated interface to Fortran BLAS via comfort-array | (bsd3, library, math) | 2021-08-06 | 0.0.0.3 | HenningThielemann |

blas-ffi | 24 | 0.0 | 4 | Auto-generated interface to Fortran BLAS | (bsd3, library, math) | 2018-12-20 | 0.1 | HenningThielemann |

blas-hs | 14 | 0.0 | 3 | Low-level Haskell bindings to Blas. | (library, math, mit) | 2014-12-27 | 0.1.1.0 | Rufflewind |

boltzmann-brain | 6 | 0.0 | 0 | Analytic sampler compiler for combinatorial systems. | (bsd3, library, math, program) | 2019-12-09 | 1.6 | mbendkowski |

boolector | 27 | 0.0 | 1 | Haskell bindings for the Boolector SMT solver | (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers) | 2020-08-20 | 0.0.0.13 | DeianStefan |

boolsimplifier | 20 | 0.0 | 1 | Simplification tools for simple propositional formulas. | (bsd3, language, library, math) | 2014-12-15 | 0.1.8 | GershomBazerman |

braid | 5 | 0.0 | 1 | Types and functions to work with braids and Khovanov homology. | (bsd3, library, math, program) | 2016-01-18 | 0.1.0.0 | saltza |

buffon | 5 | 0.0 | 1 | An implementation of Buffon machines. | (bsd2, library, math) | 2018-03-26 | 0.1.0.1 | DerekElkins |

buffon-machines | 11 | 0.0 | 0 | Perfect simulation of discrete random variables | (bsd3, library, math) | 2019-09-16 | 1.1.1.1 | mbendkowski |

burst-detection | 5 | 0.0 | 1 | Burst detection algorithms | (gpl, library, math) | 2013-11-08 | 1.0 | |

ca | 9 | 0.0 | 1 | Cellular Automata | (bsd3, library, math) | 2018-04-22 | 0.0.0.1 | |

caffegraph | 11 | 2.0 | 1 | (bsd3, library, math) | 2015-02-17 | 0.1.0.2 | ajtulloch | |

cal-layout | 10 | 0.0 | 0 | Calendar Layout Algorithm | (bsd3, library, math, program) | 2019-01-03 | 0.1.0.2 | bor0 |

calculator | 48 | 2.0 | 1 | A calculator repl, with variables, functions & Mathematica like dynamic plots. | (gpl, math, program) | 2016-10-10 | 0.4.1.2 | sumitsahrawat |

caldims | 3 | 0.0 | 1 | Calculation tool and library supporting units | (library, math, program) | 2008-11-05 | 0.1.0 | RickKaudewitz |

calendar-recycling | 10 | 0.0 | 1 | List years with the same calendars | (bsd3, math, program) | 2018-08-31 | 0.0.0.1 | HenningThielemann |

canon | 14 | 0.0 | 1 | Arithmetic for Psychedelically Large Numbers | (library, math, mit) | 2019-09-03 | 0.1.1.4 | grandpascorpion |

casadi-bindings | 93 | 0.0 | 2 | mid-level bindings to CasADi | (lgpl, library, math, numerical) | 2018-12-15 | 3.4.5.0 | GregHorn |

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

casadi-bindings-core | 39 | 0.0 | 6 | autogenerated low level bindings to casadi | (lgpl, library, math, numerical) | 2018-12-15 | 3.4.5.0 | GregHorn |

casadi-bindings-internal | 17 | 0.0 | 7 | low level bindings to CasADi | (lgpl, library, math, numerical) | 2018-12-15 | 0.1.6.1 | GregHorn |

casadi-bindings-ipopt-interface (deprecated in favor of casadi-bindings-core) | 7 | 0.0 | 1 | low level bindings to casadi-ipopt_interface | (deprecated, lgpl, library, math, numerical) | 2014-05-27 | 1.9.0.3 | GregHorn |

casadi-bindings-snopt-interface (deprecated in favor of casadi-bindings-core) | 5 | 0.0 | 1 | low level bindings to casadi-snopt_interface | (deprecated, lgpl, library, math, numerical) | 2014-05-27 | 1.9.0.3 | GregHorn |

cash | 6 | 0.0 | 1 | the Computer Algebra SHell | (bsd3, computer-algebra, library, math) | 2012-03-26 | 0.1.0.1 | ChrisBrown |

casui | 5 | 0.0 | 1 | Equation Manipulator | (math, mit, program) | 2011-06-04 | 0.3 | EtienneLaurin |

category (deprecated) | 39 | 1.25 | 11 | Categorical types and classes | (bsd3, control, deprecated, library, math) | 2019-12-24 | 0.2.5.0 | |

category-traced (deprecated in favor of category) | 7 | 1.25 | 1 | Traced monoidal categories | (bsd3, deprecated, library, math) | 2016-02-24 | 0.1.0.1 | |

cayley-dickson | 25 | 0.0 | 1 | Complex numbers, quaternions, octonions, sedenions, etc. | (algebra, library, math, mit) | 2015-11-30 | 0.3.1.0 | lmj |

cf | 15 | 2.25 | 1 | Exact real arithmetic using continued fractions | (library, math, mit) | 2015-09-03 | 0.4.2 | mvr |

checksum | 16 | 0.0 | 1 | Compute and verify checksums of ISBN, IBAN, etc. | (bsd3, library, math) | 2023-01-14 | 0.0.0.1 | HenningThielemann |

circular | 30 | 0.0 | 1 | Circular fixed-sized mutable vectors | (bsd3, data-structures, library, math) | 2022-07-10 | 0.4.0.3 | dschrempf |

cl3 | 16 | 2.0 | 2 | Clifford Algebra of three dimensional space. | (algebra, bsd3, library, math) | 2022-04-10 | 3.0.0.0 | nwaivio |

cl3-hmatrix-interface | 15 | 0.0 | 1 | Interface to/from Cl3 and HMatrix. | (algebra, bsd3, library, math) | 2020-07-21 | 2.0.0.0 | nwaivio |

cl3-linear-interface | 14 | 0.0 | 1 | Interface to/from Cl3 and Linear. | (algebra, bsd3, library, math) | 2020-07-21 | 2.0.0.0 | nwaivio |

clac | 10 | 0.0 | 1 | Simple CLI RPN calculator | (gpl, math, program) | 2015-03-18 | 0.5.0 | alexander |

clif | 5 | 0.0 | 1 | A Clifford algebra number type for Haskell | (algebra, library, math, mit) | 2018-04-10 | 0.1.1.0 | maaleske |

clifford | 20 | 0.0 | 1 | A Clifford algebra library | (bsd3, library, math, numerical, program) | 2014-03-29 | 0.1.0.14 | spacekitteh |

closure | 4 | 0.0 | 1 | Depth- and breadth-first set closures | (library, math, mit) | 2013-10-21 | 0.1.0.0 | JosephAbrahamson |

clumpiness | 16 | 0.0 | 1 | Calculate the clumpiness of leaf properties in a tree | (gpl, library, math) | 2019-01-21 | 0.17.0.2 | GregorySchwartz |

clustering | 20 | 2.0 | 4 | High performance clustering algorithms | (library, math, mit) | 2019-01-08 | 0.4.1 | kaizhang |

cmath | 9 | 0.0 | 3 | A binding to the standard C math library | (bsd3, library, math) | 2008-03-15 | 0.3 | DonaldStewart |

coincident-root-loci | 6 | 2.0 | 1 | Equivariant CSM classes of coincident root loci | (bsd3, library, math) | 2021-07-26 | 0.3 | BalazsKomuves |

coinor-clp | 14 | 0.0 | 0 | Linear Programming using COIN-OR/CLP and comfort-array | (bsd3, library, math) | 2024-01-03 | 0.0.0.2 | HenningThielemann |

collect-errors | 37 | 0.0 | 7 | Error monad with a Float instance | (bsd3, library, math) | 2024-04-10 | 0.1.6.0 | MichalKonecny |

combinat | 57 | 2.0 | 8 | Generate and manipulate various combinatorial objects. | (bsd3, library, math) | 2023-10-13 | 0.2.10.1 | BalazsKomuves |

combinat-compat | 12 | 0.0 | 1 | Generate and manipulate various combinatorial objects. | (bsd3, library, math) | 2018-04-03 | 0.2.8.2 | vmchale |

combinat-diagrams | 5 | 0.0 | 1 | Graphical representations for various combinatorial objects | (bsd3, library, math) | 2015-10-30 | 0.2 | BalazsKomuves |

combinatorial | 18 | 0.0 | 2 | Count, enumerate, rank and unrank combinatorial objects | (bsd3, library, math, statistics) | 2023-02-15 | 0.1.1 | HenningThielemann |

combinatorics (deprecated in favor of exact-combinatorics) | 10 | 0.0 | 1 | Efficient computation of common combinatoric functions. | (bsd3, deprecated, library, math, statistics) | 2012-01-29 | 0.1.0 | WrenThornton |

comfort-blas | 24 | 0.0 | 1 | Numerical Basic Linear Algebra using BLAS | (bsd3, library, math) | 2024-05-18 | 0.0.3 | HenningThielemann |

comfort-fftw | 9 | 0.0 | 0 | High-level interface to FFTW (Fast Fourier Transform) based on comfort-array | (bsd3, library, math) | 2023-04-22 | 0.0.0.1 | HenningThielemann |

comfort-glpk | 12 | 0.0 | 0 | Linear Programming using GLPK and comfort-array | (bsd3, library, math) | 2023-05-11 | 0.1 | HenningThielemann |

commutative-semigroups | 245 | 0.0 | 7 | Commutative semigroups | (algebra, bsd3, data, library, math) | 2024-05-18 | 0.2.0.1 | JohnEricson, MarioBlazevic, RyanTrinkle, abrar |

complex-generic | 6 | 0.0 | 3 | complex numbers with non-mandatory RealFloat | (bsd3, library, math) | 2017-04-03 | 0.1.1.1 | ClaudeHeilandAllen |

complex-integrate | 11 | 0.0 | 1 | A simple integration function to integrate a complex-valued complex functions | (library, math, public-domain) | 2012-01-21 | 1.0.0 | MarkSafronov |

computational-algebra | 32 | 2.25 | 1 | Well-kinded computational algebra library, currently supporting Groebner basis. | (bsd3, library, math) | 2017-12-07 | 0.5.1.0 | HiromiIshii |

computational-geometry | 8 | 0.0 | 1 | Collection of algorithms in Computational Geometry. | (bsd3, graphics, library, math) | 2017-10-13 | 0.1.0.3 | MaksymilianOwsianny |

conjugateGradient | 20 | 0.0 | 1 | Sparse matrix linear-equation solver | (bsd3, library, math) | 2013-04-20 | 2.2 | LeventErkok |

connections | 31 | 0.0 | 2 | Orders, Galois connections, and lattices. | (bsd3, library, math, numerical, program) | 2021-09-16 | 0.3.2 | cmk |

constructible | 8 | 0.0 | 1 | Exact computation with constructible real numbers | (bsd3, library, math) | 2021-11-09 | 0.1.2 | AndersKaseorg |

constructive-algebra | 17 | 0.0 | 1 | A library of constructive algebra. | (algebra, bsd3, library, math) | 2011-03-31 | 0.3.0 | AndersMortberg |

continued-fraction | 24 | 2.0 | 1 | Types and functions for working with continued fractions in Haskell | (bsd3, library, math) | 2018-08-18 | 0.1.0.11 | vmchale |

continued-fractions | 19 | 0.0 | 2 | Continued fractions. | (library, math, numerical, public-domain) | 2019-01-29 | 0.10.0.2 | JamesCook, rockbmb |

converge | 11 | 0.0 | 3 | Limit operations for converging sequences | (library, math, numerical, public-domain) | 2011-08-15 | 0.1.0.1 | JamesCook |

convexHullNd | 6 | 0.0 | 0 | Convex hull | (geometry, gpl, library, math) | 2023-11-22 | 0.1.0.0 | stla |

covariance | 26 | 0.0 | 1 | Well-conditioned estimation of large-dimensional covariance matrices | (gpl, library, math, statistics) | 2022-07-10 | 0.2.0.1 | dschrempf |

coya | 13 | 0.0 | 0 | Coya monoids | (bsd3, data, library, math) | 2020-07-09 | 0.1.0.1 | chessai |

cplex-hs | 14 | 2.0 | 1 | high-level CPLEX interface | (bsd3, library, math) | 2016-11-05 | 0.5.0.2 | stefanjhlk |

crf-chain1 | 7 | 0.0 | 2 | First-order, linear-chain conditional random fields | (bsd3, library, math) | 2019-11-30 | 0.2.3 | JakubWaszczuk |

crf-chain1-constrained | 15 | 0.0 | 3 | First-order, constrained, linear-chain conditional random fields | (bsd3, library, math) | 2018-10-30 | 0.6.0 | JakubWaszczuk |

crf-chain2-generic | 7 | 0.0 | 2 | Second-order, generic, constrained, linear conditional random fields | (bsd3, library, math) | 2013-01-09 | 0.3.0 | JakubWaszczuk |

cubicspline | 15 | 2.0 | 1 | Natural cubic spline interpolation. | (algorithms, bsd3, library, math) | 2015-10-18 | 0.1.2 | GershomBazerman |

curve25519 | 34 | 0.0 | 2 | Fast implementations of the curve25519 elliptic curve primitives. | (bsd3, library, math) | 2023-12-12 | 0.2.8 | AdamWick, EricMertens |

cyclotomic | 58 | 0.0 | 2 | A subfield of the complex numbers for exact calculation. | (gpl, library, math) | 2023-03-17 | 1.1.2 | ScottWalck |

data-category | 46 | 2.25 | 1 | Category theory | (bsd3, category-theory, library, math) | 2023-03-27 | 0.11 | SjoerdVisscher |

data-interval | 60 | 0.0 | 6 | Interval datatype, interval arithmetic and interval-based containers | (bsd3, data, library, math) | 2023-12-21 | 2.1.2 | MasahiroSakai, Bodigrim |

data-nat | 8 | 0.0 | 1 | data Nat = Zero | Succ Nat | (bsd3, data, library, math) | 2012-09-23 | 0.1.2 | GaborLehel |

dde | 19 | 2.0 | 1 | Delay differential equations | (bsd3, library, math, program) | 2018-07-08 | 0.3.0 | penkovsky |

decimal-literals | 5 | 0.0 | 2 | Preprocessing decimal literals more or less as they are (instead of via fractions) | (gpl, library, math) | 2019-02-20 | 0.1.0.1 | leftaroundabout |

declarative | 28 | 0.0 | 1 | DIY Markov Chains. | (library, math, mit) | 2021-02-23 | 0.5.4 | JaredTobin |

deeplearning-hs | 8 | 0.0 | 1 | Deep Learning in Haskell | (library, math, mit, program) | 2014-05-05 | 0.1.0.2 | ajtulloch |

deka | 14 | 0.0 | 2 | Decimal floating point arithmetic | (bsd3, library, math) | 2014-07-16 | 0.6.0.2 | OmariNorman |

deka-tests | 5 | 0.0 | 1 | Tests for deka, decimal floating point arithmetic | (bsd3, library, math, program) | 2014-07-16 | 0.6.0.2 | OmariNorman |

delaunayNd | 17 | 0.0 | 1 | Delaunay tessellation | (geometry, gpl, library, math) | 2023-11-20 | 0.1.0.2 | stla |

dense-linear-algebra | 132 | 0.0 | 2 | Simple and incomplete pure haskell implementation of linear algebra | (bsd2, library, math, numeric, statistics) | 2018-10-11 | 0.1.0.0 | AlexeyKhudyakov |

derivation-trees | 7 | 0.0 | 1 | Typeset Derivation Trees via MetaPost | (graphics, library, math) | 2010-11-18 | 0.7.3 | JeanPhilippeBernardy |

detour-via-sci | 15 | 0.0 | 2 | JSON and CSV encoding for rationals as decimal point numbers. | (csv, data, json, library, math, mpl, numeric) | 2018-06-22 | 1.0.0 | philderbeast |

detour-via-uom | 5 | 0.0 | 1 | JSON and CSV encoding for quantities. | (csv, data, json, library, math, mpl, numeric, physics) | 2018-06-22 | 1.0.0 | philderbeast |

dfrac | 13 | 0.0 | 1 | A package for precise decimal arithmatic using rationals. | (library, math, mit) | 2014-08-15 | 0.1.2.0 | georgerogers42 |

diagrams-solve | 87 | 0.0 | 2 | Pure Haskell solver routines used by diagrams | (bsd3, library, math) | 2021-02-13 | 0.1.3 | BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers |

digamma (deprecated in favor of math-functions) | 9 | 0.0 | 2 | A (deprecated) implementation of the digamma function | (bsd3, deprecated, library, math) | 2016-04-13 | 1.0 | BenGamari |

dimensional | 81 | 2.5 | 11 | Statically checked physical dimensions | (bsd3, library, math, physics) | 2022-06-22 | 1.5 | BjornBuckwalter, dmcclean |

dimensional-tf (deprecated in favor of dimensional) | 19 | 0.0 | 3 | Statically checked physical dimensions, implemented using type families. | (bsd3, deprecated, library, math, physics) | 2016-12-07 | 0.3.0.4 | BjornBuckwalter |

dimensions | 24 | 0.0 | 6 | Safe type-level dimensionality for multidimensional data. | (bsd3, geometry, library, math) | 2021-04-04 | 2.1.1.0 | achirkin |

diophantine | 5 | 0.0 | 1 | A quadratic diophantine equation solving library. | (gpl, library, math) | 2014-11-24 | 0.2.1.0 | joejev |

directed-cubical | 6 | 0.0 | 1 | Finite directed cubical complexes and associated algorithms | (bsd3, library, math) | 2014-06-08 | 0.1.2.0 | mmisamore |

dirichlet | 25 | 0.0 | 2 | Multivariate Dirichlet distribution | (bsd3, library, math) | 2022-07-10 | 0.1.0.7 | dschrempf |

distribution | 10 | 2.0 | 2 | Finite discrete probability distributions. | (apache, library, math) | 2017-06-29 | 1.1.1.0 | RomainEdelmann |

distribution-plot | 4 | 0.0 | 1 | Easily plot distributions from the distribution package.. | (apache, library, math) | 2014-08-04 | 1.0.0.0 | RomainEdelmann |

downhill | 8 | 2.0 | 0 | Reverse mode automatic differentiation | (library, math, mit) | 2023-03-04 | 0.4.0.0 | andriusstank |

dozenal | 4 | 0.0 | 1 | A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. | (gpl, library, math) | 2015-04-11 | 0.1.0.0 | siddhanathan |

dsp | 36 | 2.0 | 2 | Haskell Digital Signal Processing | (gpl, library, math, sound) | 2022-09-21 | 0.2.5.2 | HenningThielemann |

dual (deprecated) | 23 | 0.0 | 5 | Dual category | (bsd3, deprecated, library, math) | 2020-01-20 | 0.1.1.1 | |

dumb-cas | 15 | 0.0 | 2 | A computer “algebra” system that knows nothing about algebra, at the core. | (gpl, library, math) | 2023-01-27 | 0.2.1.1 | leftaroundabout |

dvda (deprecated in favor of dynobud) | 30 | 0.0 | 1 | Efficient automatic differentiation and code generation | (bsd3, deprecated, library, math, numerical) | 2014-04-05 | 0.4 | GregHorn |

dyckword | 10 | 0.0 | 1 | A library for working with binary Dyck words. | (bsd3, library, math) | 2017-05-01 | 0.1.0.4 | arbelos |

earcut | 18 | 0.0 | 1 | Binding to C++ earcut library. | (library, math) | 2020-07-11 | 0.1.0.4 | DavidHimmelstrup |

ease | 13 | 0.0 | 1 | Robert Penner's easing equations | (bsd3, game, library, math) | 2020-10-01 | 0.1.0.2 | fresheyeball |

easyplot | 19 | 0.0 | 2 | A tiny plotting library, utilizes gnuplot for plotting. | (graphics, library, math, mit, plotting) | 2013-03-26 | 1.0 | JulianFleischer |

easytensor | 29 | 0.0 | 2 | Pure, type-indexed haskell vector, matrix, and tensor library. | (bsd3, geometry, library, math) | 2021-04-07 | 2.1.1.1 | achirkin |

easytensor-vulkan | 23 | 0.0 | 1 | Use easytensor with vulkan-api. | (bsd3, geometry, graphics, library, math, opengl, vulkan) | 2021-04-05 | 2.0.2.1 | achirkin |

egyptian-fractions | 13 | 0.0 | 1 | Egyptian fractions in Haskell | (bsd3, library, math) | 2018-06-25 | 0.1.0.2 | vmchale |

eigen | 43 | 1.5 | 6 | Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). | (algebra, algorithms, bsd3, data, library, math, numeric, statistics) | 2018-12-11 | 3.3.7.0 | OlegSidorkin, chessai |

elbow | 9 | 0.0 | 1 | Find the elbow point. | (gpl, library, math) | 2020-02-20 | 0.2.0.0 | GregorySchwartz |

elliptic-integrals | 5 | 0.0 | 2 | Carlson Elliptic Integrals and Incomplete Elliptic Integrals | (bsd3, library, math, numeric) | 2023-03-01 | 0.1.0.1 | stla |

emd | 44 | 0.0 | 1 | Empirical Mode Decomposition and Hilbert-Huang Transform | (bsd3, library, math) | 2019-10-31 | 0.2.0.0 | jle |

equational-reasoning | 93 | 1.5 | 9 | Proof assistant for Haskell using DataKinds & PolyKinds | (bsd3, library, math) | 2024-05-17 | 0.7.0.3 | HiromiIshii |

equational-reasoning-induction | 5 | 0.0 | 0 | Proof assistant for Haskell using DataKinds & PolyKinds | (bsd3, library, math) | 2019-02-08 | 0.6.0.0 | HiromiIshii |

erf | 124 | 0.0 | 17 | The error function, erf, and related functions. | (bsd3, library, math) | 2011-05-26 | 2.0.0.0 | LennartAugustsson |

erf-native | 7 | 0.0 | 2 | Native Haskell implementation of the interface from the erf package | (library, math) | 2012-01-03 | 1.0.0.1 | JamesCook |

estimator | 16 | 0.0 | 1 | State-space estimation algorithms such as Kalman Filters | (bsd3, library, math, numerical, statistics) | 2016-07-19 | 1.2.0.0 | AdamFoltzer, JameySharp |

euler | 26 | 0.0 | 1 | Mathematics utilities for Haskell | (library, math, mit) | 2020-05-25 | 0.10.1 | decomputed, luisonthekeyboard |

exact-combinatorics | 37 | 0.0 | 6 | Efficient exact computation of combinatoric functions. | (bsd3, library, math, statistics) | 2021-11-03 | 0.2.0.11 | WrenThornton, WrenRomano |

exact-cover | 4 | 0.0 | 1 | Efficient exact cover solver. | (algorithms, bsd3, library, math) | 2017-04-22 | 0.1.0.0 | arthur |

exact-kantorovich | 6 | 0.0 | 0 | Exact Kantorovich distance between finite probability measures. | (bsd3, library, math, optimization) | 2024-05-08 | 0.1.0.0 | stla |

exact-real | 67 | 2.25 | 2 | Exact real arithmetic | (library, math, mit) | 2021-12-13 | 0.12.5.1 | jophish, expipiplus1 |

exact-real-positional | 4 | 0.0 | 1 | Framework for Exact Real Arithmetic in the Positional Number System | (bsd3, library, math) | 2017-07-20 | 0.0.0 | grlks |

exp-pairs | 29 | 0.0 | 1 | Linear programming over exponent pairs | (gpl, library, math) | 2020-10-03 | 0.2.1.0 | Bodigrim |

explicit-determinant | 5 | 0.0 | 1 | explicit computation of determinant of small matrices | (gpl, library, math) | 2014-07-03 | 0.1.0.0 | JohannesWaldmann |

expressions | 28 | 1.5 | 1 | Expressions and Formulae a la carte | (bsd3, data, library, logic, math) | 2019-04-30 | 0.5 | jakubdaniel |

expressions-z3 | 23 | 0.0 | 1 | Encode and Decode expressions from Z3 ASTs | (bsd3, data, library, logic, math) | 2019-04-30 | 0.5 | jakubdaniel |

extended-categories | 5 | 0.0 | 1 | Extended Categories | (bsd3, library, math) | 2014-11-23 | 0.2.0 | ian_mi |

extended-reals | 29 | 0.0 | 8 | Extension of real numbers with positive/negative infinities | (bsd3, library, math) | 2020-03-28 | 0.2.4.0 | MasahiroSakai, Bodigrim |

factory | 31 | 0.0 | 5 | Rational arithmetic in an irrational world. | (gpl, library, math, number-theory, program) | 2021-08-25 | 0.3.2.3 | AlistairWard, LennartAugustsson |

fad | 16 | 0.0 | 1 | Forward Automatic Differentiation. | (bsd3, library, math) | 2012-12-22 | 1.1.0.1 | BjornBuckwalter |

fadno-braids | 19 | 0.0 | 2 | Braid representations in Haskell | (algebra, bsd2, data, library, math) | 2024-01-20 | 0.2 | spopejoy |

fast-arithmetic | 94 | 2.0 | 1 | Fast functions on integers. | (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics) | 2022-01-17 | 0.6.7.0 | vmchale |

fast-math | 48 | 0.0 | 2 | Non IEEE-754 compliant compile-time floating-point optimisations | (bsd3, library, math, numeric) | 2015-08-01 | 1.0.2 | LiyangHu, MikeIzbicki |

fft | 44 | 2.0 | 7 | Bindings to the FFTW library. | (bsd3, library, math) | 2021-05-21 | 0.1.8.7 | HenningThielemann, JedBrown |

fftw-ffi | 16 | 0.0 | 1 | Low-level interface to FFTW (Fast Fourier Transform) | (bsd3, library, math) | 2021-07-26 | 0.1 | HenningThielemann |

fftwRaw | 11 | 0.0 | 1 | Low level bindings to FFTW. | (bsd3, library, math) | 2018-09-04 | 0.1.0.2 | adamwalker |

fib | 11 | 0.0 | 0 | fibonacci algebra | (bsd3, library, math) | 2020-07-09 | 0.1.0.1 | chessai |

fin | 184 | 2.0 | 14 | Nat and Fin: peano naturals and finite numbers | (bsd3, data, dependent-types, library, math, singletons) | 2024-06-08 | 0.3.1 | phadej |

find-clumpiness | 10 | 0.0 | 1 | Find the clumpiness of labels in a tree | (gpl, library, math, program) | 2019-01-21 | 0.2.3.2 | GregorySchwartz |

finite-field | 29 | 0.0 | 4 | Finite Fields | (algebra, bsd3, data, library, math) | 2021-01-02 | 0.10.0 | MasahiroSakai |

finite-fields | 16 | 2.0 | 0 | Arithmetic in finite fields | (bsd3, library, math) | 2023-11-08 | 0.2.0.1 | BalazsKomuves |

finite-semigroups | 6 | 0.0 | 0 | Operations and classification for finite semigroups | (library, math, mit) | 2023-10-26 | 0.1.0.0 | dakotah_lambert |

fixed-point (deprecated) | 15 | 0.0 | 3 | Binary fixed-point arithmetic | (data, deprecated, game, library, math, mit, numerical) | 2011-08-27 | 0.5.0.1 | JakeMcArthur |

fixed-point-vector (deprecated) | 7 | 0.0 | 1 | Unbox instances for the fixed-point package | (data, deprecated, game, library, math, mit, numerical) | 2011-08-27 | 0.5.0.1 | JakeMcArthur |

fixed-point-vector-space (deprecated) | 9 | 0.0 | 1 | vector-space instances for the fixed-point package | (data, deprecated, game, library, math, mit, numerical) | 2011-08-27 | 0.5.0.1 | JakeMcArthur |

fixed-precision | 7 | 0.0 | 1 | Fixed Precision Arithmetic | (bsd3, library, math) | 2010-06-15 | 0.4.0 | EdwardKmett |

fixedprec | 45 | 0.0 | 2 | A fixed-precision real number type | (bsd3, data, library, math) | 2018-11-06 | 0.2.2.2 | PeterSelinger |

fizz-buzz | 12 | 0.0 | 1 | Functional Fizz/Buzz | (bsd3, library, math) | 2017-01-26 | 0.1.0.3 | AlanHawkins |

flat-mcmc | 26 | 0.0 | 1 | Painless general-purpose sampling. | (library, math, mit) | 2020-10-11 | 1.5.2 | JaredTobin |

float128 | 11 | 0.0 | 3 | FFI bindings for C _Float128 | (bsd3, library, math) | 2020-06-15 | 0.1 | ClaudeHeilandAllen |

foldl-statistics | 25 | 2.0 | 1 | Statistical functions from the statistics package implemented as Folds. | (bsd3, library, math, statistics) | 2018-09-25 | 0.1.5.1 | AlexMason |

fp-ieee | 16 | 0.0 | 1 | IEEE 754-2019 compliant operations | (bsd3, library, math, numeric) | 2024-02-18 | 0.1.0.4 | aratamizuki |

fplll | 4 | 0.0 | 0 | Haskell bindings to <https://fplll.github.io/fplll/ fplll> | (lgpl, library, math) | 2019-12-05 | 0.1.0.0 | lanceroy |

fpnla | 11 | 0.0 | 2 | A library for NLA operations | (bsd3, library, math) | 2014-02-04 | 0.1.1 | mblanco |

fpnla-examples | 5 | 0.0 | 1 | Example implementations for FPNLA library | (bsd3, library, math, parallelism) | 2014-02-04 | 0.1.1 | mblanco |

fptest | 10 | 0.0 | 1 | IEEE754r floating point conformance tests | (bsd3, math, program) | 2018-11-15 | 0.2.3.0 | jrp |

fractals | 4 | 0.0 | 1 | A collection of useful fractal curve encoders | (bsd3, library, math) | 2015-08-10 | 0.1.0.0 | sdekker |

fractionizer | 68 | 0.0 | 0 | Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types. | (#AncientEgypt, language, library, math, mit, music, sound) | 2023-10-19 | 0.17.0.0 | OleksandrZhabenko |

free-functors | 65 | 0.0 | 1 | Free functors, adjoint to functors that forget class constraints. | (bsd3, category-theory, data, library, math) | 2020-10-05 | 1.2.1 | SjoerdVisscher |

free-vector-spaces | 21 | 0.0 | 4 | Instantiate the classes from the vector-space package with types from linear | (bsd3, library, math) | 2022-06-01 | 0.1.5.2 | leftaroundabout |

frotate | 8 | 0.0 | 0 | Advanced rotation of backups and other things | (math, program, system) | 2019-08-31 | 0.1.1 | ip1981 |

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

functor (deprecated in favor of category) | 5 | 0.0 | 1 | Functors | (bsd3, control, deprecated, library, math) | 2017-11-16 | 0.1.0.0 | |

game-probability | 7 | 0.0 | 1 | Simple probability library for dice rolls, card games and similar | (bsd3, library, math) | 2010-09-08 | 1.1 | NeilBrown |

gamma | 10 | 0.0 | 9 | Gamma function and related functions. | (library, math, numerical, public-domain) | 2019-02-03 | 0.10.0.0 | JamesCook, rockbmb |

garepinoh | 7 | 0.0 | 1 | reverse prefix notation calculator and calculation library | (console, library, math, program, public-domain, tools) | 2014-01-21 | 0.9.9.2.1 | MekeorMelire |

geocalc | 8 | 0.0 | 1 | Libary for calculating distances between two coordinates in WSG84 | (bsd3, library, math) | 2011-07-01 | 1.0.0 | GeroKriependorf |

geom2d | 10 | 0.0 | 1 | package for geometry in euklidean 2d space | (gpl, library, math) | 2015-11-01 | 0.2.2 | seppeljordan |

ghc-typelits-presburger | 85 | 1.75 | 4 | Presburger Arithmetic Solver for GHC Type-level natural numbers. | (bsd3, library, math, type-system) | 2024-06-09 | 0.7.4.0 | HiromiIshii |

glasso | 14 | 0.0 | 2 | Graphical Lasso algorithm | (bsd3, library, math) | 2015-04-15 | 0.1.0 | kaizhang |

glicko | 18 | 0.0 | 1 | Glicko-2 implementation in Haskell. | (gpl, library, math) | 2021-01-13 | 0.3.0.2 | rprecenth |

glpk-headers | 14 | 0.0 | 3 | Low-level Haskell bindings to the GLPK library | (bsd3, library, math) | 2023-01-28 | 0.5.1 | prsteele |

glpk-hs | 37 | 0.0 | 6 | Comprehensive GLPK linear programming bindings | (bsd3, library, math, program) | 2021-01-29 | 0.8 | JeanPhilippeBernardy, LouisWasserman |

gnuplot | 156 | 1.5 | 10 | 2D and 3D plots using gnuplot | (bsd3, graphics, library, math) | 2022-02-13 | 0.5.7 | HenningThielemann |

goal-core | 5 | 0.0 | 4 | Common, non-geometric tools for use with Goal | (bsd3, library, math) | 2021-08-31 | 0.20 | alex404 |

goal-geometry | 5 | 0.0 | 3 | The basic geometric type system of Goal | (bsd3, library, math) | 2021-08-31 | 0.20 | alex404 |

goal-graphical | 3 | 0.0 | 0 | Optimization of latent variable and dynamical models with Goal | (bsd3, library, math) | 2021-08-31 | 0.20 | alex404 |

goal-probability | 5 | 0.0 | 2 | Optimization on manifolds of probability distributions with Goal | (bsd3, library, math) | 2021-08-31 | 0.20 | alex404 |

goal-simulation | 5 | 0.0 | 0 | Mealy based simulation tools | (bsd3, library, math, program) | 2015-12-22 | 0.1 | alex404 |

gray-extended | 30 | 0.0 | 2 | Gray encoding schemes | (bsd3, library, math) | 2021-08-18 | 1.5.9 | AmyDeBuitleir |

grid | 76 | 2.25 | 4 | Tools for working with regular grids (graphs, lattices). | (bsd3, library, math) | 2021-08-18 | 7.8.15 | AmyDeBuitleir |

group-theory | 12 | 2.25 | 0 | The theory of groups | (algebra, bsd3, groups, library, math, permutations) | 2021-05-18 | 0.2.2 | ReedMullanix, topos |

groups | 160 | 0.0 | 23 | Groups | (algebra, bsd3, data, library, math) | 2021-05-14 | 0.5.3 | NathanVanDoorn |

groups-generic | 14 | 0.0 | 0 | Generically derive Group instances. | (algebra, bsd3, library, math) | 2022-12-04 | 0.3.1.0 | sheaf |

gsl-random | 30 | 0.0 | 4 | Bindings the the GSL random number generation facilities. | (bsd3, library, math) | 2017-09-15 | 0.5.3 | PatrickPerry |

gsl-random-fu | 3 | 0.0 | 1 | Instances for using gsl-random with random-fu | (library, math, public-domain) | 2009-05-20 | 0.0.0.1 | JamesCook |

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

hR (deprecated) | 8 | 0.0 | 1 | R bindings and interface | (bsd3, deprecated, foreign, library, math) | 2012-03-05 | 0.1.1 | DylanSimon |

hTensor | 14 | 0.0 | 2 | Multidimensional arrays and simple tensor computations. | (bsd3, library, math) | 2016-11-02 | 0.9.1 | AlbertoRuiz, DominicSteinitz |

haar | 5 | 2.0 | 1 | Haar wavelet transforms | (bsd3, library, math) | 2014-09-22 | 0.1 | AmyDeBuitleir |

hahp | 9 | 0.0 | 0 | Analytic Hierarchy Process | (agpl, library, math, program) | 2016-02-22 | 0.1.3 | taeradan, jpierre03 |

half-space | 7 | 0.0 | 1 | Additive monoids generalising vector spaces | (gpl, library, math) | 2023-05-21 | 0.1.1.0 | leftaroundabout |

hascal | 22 | 0.0 | 1 | tiny calculator library and command-line program | (console, library, math, parsing, program, tools, utility, utils) | 2017-02-27 | 3.0.1 | DagOdenhall, MekeorMelire |

haskell-eigen-util | 13 | 0.0 | 1 | Some utility functions for haskell-eigen library | (algebra, bsd3, library, math) | 2016-08-18 | 0.1.0.4 | dilawars |

haskell-igraph | 22 | 0.0 | 1 | Bindings to the igraph C library (v0.8.0). | (library, math, mit) | 2020-02-21 | 0.8.0 | kaizhang |

haskell-mpfr | 4 | 2.0 | 2 | Correctly-rounded arbitrary-precision floating-point arithmetic | (library, math, numeric) | 2016-02-01 | 0.1 | ilist |

hbayes | 21 | 0.0 | 1 | Bayesian Networks | (bsd3, library, math) | 2016-05-13 | 0.5.2 | alpheccar |

hblas | 19 | 2.0 | 1 | Human friendly BLAS and Lapack bindings for Haskell. | (bsd3, library, math) | 2018-01-31 | 0.4.0.1 | CarterSchonwald |

hcg-minus (deprecated) | 19 | 0.0 | 8 | haskell cg (minus) | (bsd3, deprecated, library, math) | 2017-11-22 | 0.16 | RohanDrape |

hcg-minus-cairo (deprecated) | 11 | 0.0 | 2 | haskell cg (minus) (cairo rendering) | (bsd3, deprecated, library, math) | 2017-11-22 | 0.16 | RohanDrape |

hdr-histogram | 3 | 0.0 | 1 | Haskell implementation of High Dynamic Range (HDR) Histograms | (gpl, library, math, statistics) | 2016-01-03 | 0.1.0.0 | joshbohde |

heyting-algebras | 15 | 0.0 | 1 | Heyting and Boolean algebras | (bsd3, library, math) | 2021-03-27 | 0.2.0.1 | coot |

hgeometric | 7 | 0.0 | 1 | A geometric library with bindings to GPC. | (library, math, mit) | 2009-06-25 | 0.0.2.2 | DonaldStewart, GwernBranwen, MarcoSilva |

hieraclus | 12 | 0.0 | 1 | Automated clustering of arbitrary elements in Haskell. | (bsd3, clustering, library, math, statistics) | 2011-09-29 | 0.1.2.1 | PhilippPribbernow |

highs-lp | 7 | 0.0 | 0 | Linear Programming using HiGHS and comfort-array | (bsd3, library, math) | 2023-12-22 | 0.0 | HenningThielemann |

hirt | 5 | 0.0 | 1 | Calculates IRT 2PL and 3PL models | (bsd3, math, program) | 2012-05-14 | 0.0.1.1 | IvanLabath |

hlbfgsb | 4 | 0.0 | 1 | Haskell binding to L-BFGS-B version 3.0 | (bsd3, library, math) | 2012-05-04 | 0.0.1.0 | IvanLabath |

hmatrix | 164 | 2.5 | 123 | Numeric Linear Algebra | (bsd3, library, math) | 2021-03-08 | 0.20.2 | AlbertoRuiz, DominicSteinitz |

hmatrix-backprop | 26 | 0.0 | 1 | hmatrix operations lifted for backprop | (bsd3, library, math) | 2019-08-18 | 0.1.3.0 | jle |

hmatrix-banded (deprecated in favor of lapack) | 7 | 0.0 | 1 | HMatrix interface to LAPACK functions for banded matrices | (bsd3, deprecated, library, math) | 2019-03-19 | 0.0.0.3 | HenningThielemann |

hmatrix-glpk | 45 | 0.0 | 2 | Linear Programming based on GLPK | (gpl, library, math) | 2018-04-22 | 0.19.0.0 | AlbertoRuiz, DominicSteinitz |

hmatrix-gsl | 40 | 0.0 | 13 | Numerical computation | (gpl, library, math) | 2018-04-22 | 0.19.0.1 | AlbertoRuiz, DominicSteinitz |

hmatrix-gsl-stats | 86 | 0.0 | 7 | GSL Statistics interface | (bsd3, ffi, library, math, statistics) | 2019-06-11 | 0.4.1.8 | VivianMcPhail |

hmatrix-mmap | 8 | 0.0 | 1 | Memory map Vector from disk into memory efficiently | (bsd3, library, math, system) | 2011-02-22 | 0.0.5 | AlanFalloon |

hmatrix-morpheus | 30 | 2.25 | 1 | Low-level machine learning auxiliary functions. | (bsd3, library, math) | 2018-06-10 | 0.1.1.2 | aignatyev17 |

hmatrix-nipals | 7 | 0.0 | 1 | NIPALS method for Principal Components Analysis on large data-sets. | (lgpl, library, math) | 2011-02-22 | 0.2 | AlanFalloon |

hmatrix-quadprogpp | 19 | 0.0 | 1 | Bindings to the QuadProg++ quadratic programming library | (bsd3, library, math) | 2017-12-15 | 0.4.0.0 | AkioTakano |

hmatrix-repa | 16 | 0.0 | 1 | Adaptors for interoperability between hmatrix and repa | (bsd3, data, library, math) | 2016-09-22 | 0.1.2.2 | VivianMcPhail |

hmatrix-sparse | 5 | 0.0 | 1 | Sparse linear solver | (bsd3, library, math) | 2018-04-22 | 0.19.0.0 | DominicSteinitz |

hmatrix-special | 29 | 0.0 | 7 | Interface to GSL special functions | (gpl, library, math) | 2018-04-22 | 0.19.0.0 | AlbertoRuiz, DominicSteinitz |

hmatrix-static | 8 | 0.0 | 1 | hmatrix with vector and matrix sizes encoded in types | (library, math) | 2010-09-12 | 0.3.0.2 | ReinerPope |

hmatrix-sundials | 7 | 2.0 | 1 | hmatrix interface to sundials | (bsd3, library, math) | 2019-08-26 | 0.20.1.0 | DominicSteinitz |

hmatrix-svdlibc | 20 | 0.0 | 3 | SVDLIBC bindings for HMatrix | (bsd3, library, math) | 2018-09-13 | 0.5.0.1 | BenGamari |

hmatrix-syntax | 7 | 0.0 | 1 | MATLAB-like syntax for hmatrix vectors and matrices | (gpl, library, math) | 2012-03-31 | 0.1.2.1 | ReinerPope |

hmatrix-tests | 15 | 0.0 | 1 | Tests for hmatrix | (bsd3, library, math) | 2018-04-22 | 0.19.0.0 | AlbertoRuiz, DominicSteinitz |

hmatrix-vector-sized | 25 | 0.0 | 2 | Conversions between hmatrix and vector-sized types | (bsd3, library, math) | 2020-02-11 | 0.1.3.0 | jle |

hmm-hmatrix (deprecated in favor of hmm-lapack) | 10 | 0.0 | 1 | Hidden Markov Models using HMatrix primitives | (bsd3, deprecated, library, math) | 2018-11-13 | 0.1.1 | HenningThielemann |

hmm-lapack | 20 | 0.0 | 0 | Hidden Markov Models using LAPACK primitives | (bsd3, library, math) | 2023-01-15 | 0.5.0.1 | HenningThielemann |

hmpfr | 47 | 2.0 | 4 | Haskell binding to the MPFR library | (bsd3, data, library, math) | 2022-12-01 | 0.4.5 | AlesBizjak, MichalKonecny |

homeomorphic | 3 | 0.0 | 2 | Homeomorphic Embedding Test | (bsd3, library, math) | 2008-04-03 | 0.1 | NeilMitchell |

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

hops | 28 | 0.0 | 0 | Handy Operations on Power Series | (bsd3, library, math, program) | 2017-07-03 | 0.7.2 | AndersClaesson |

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

hs-functors (deprecated) | 21 | 0.0 | 8 | Functors from products of Haskell and its dual to Haskell | (bsd3, deprecated, library, math) | 2020-08-04 | 0.1.7.1 | |

hsignal | 62 | 0.0 | 1 | Signal processing and EEG data analysis | (bsd3, library, math) | 2016-11-14 | 0.2.7.5 | VivianMcPhail |

hsilop | 16 | 0.0 | 1 | RPN calculator | (math, mit, program) | 2015-09-19 | 0.2.0.0 | rnhmjoj |

hspray | 80 | 0.0 | 3 | Multivariate polynomials and fractions of multivariate polynomials. | (algebra, gpl, library, math) | 2024-06-03 | 0.5.3.0 | stla |

hstatistics | 62 | 0.0 | 2 | Statistics | (bsd3, library, math, statistics) | 2020-08-06 | 0.3.1 | VivianMcPhail |

hypergeomatrix | 11 | 0.0 | 0 | Hypergeometric function of a matrix argument | (bsd3, library, math, numeric) | 2024-03-25 | 1.1.0.2 | stla |

hypergeometric | 15 | 2.25 | 0 | Hypergeometric functions | (agpl, library, math, statistics) | 2022-12-05 | 0.1.4.0 | vmchale |

hz3 (deprecated) | 10 | 0.0 | 0 | Bindings for the Z3 Theorem Prover | (bit-vectors, bsd3, deprecated, formal-methods, library, math, smt, theorem-provers) | 2019-10-01 | 96.0.0.0 | |

ieee (deprecated in favor of ieee754) | 32 | 0.0 | 2 | Utilities for dealing with IEEE floating point numbers | (bsd3, deprecated, library, math) | 2010-09-20 | 0.7 | PatrickPerry |

ieee754 | 93 | 2.0 | 27 | Utilities for dealing with IEEE floating point numbers | (bsd3, library, math) | 2017-01-30 | 0.8.0 | PatrickPerry |

integer-logarithms | 248 | 0.0 | 26 | Integer logarithms. | (algorithms, library, math, mit, number-theory) | 2020-11-01 | 1.0.3.1 | phadej |

integer-roots | 57 | 0.0 | 5 | Integer roots and perfect powers | (algorithms, library, math, mit, number-theory) | 2021-11-22 | 1.0.2.0 | Bodigrim |

interpolation | 24 | 0.0 | 1 | piecewise linear and cubic Hermite interpolation | (bsd3, library, math) | 2021-08-07 | 0.1.1.2 | HenningThielemann |

interval-patterns | 41 | 0.0 | 0 | Intervals, and monoids thereof | (algebra, bsd3, charts, data-structures, library, math, statistics) | 2024-04-18 | 0.8.0 | melaniebrown |

intervals | 95 | 2.0 | 7 | Interval Arithmetic | (bsd3, library, math) | 2021-02-17 | 0.9.2 | EdwardKmett, EricMertens, ryanglscott |

involutive-semigroups | 12 | 0.0 | 0 | Semigroups with involution. | (algebra, bsd3, data, library, math) | 2020-07-30 | 0.1.0.0 | nosewings |

ipopt-hs | 21 | 0.0 | 1 | haskell binding to ipopt and nlopt including automatic differentiation | (bsd3, library, math, numeric, optimisation) | 2016-01-12 | 0.5.1.0 | AdamVogt |

irt | 7 | 0.0 | 1 | Item Response Theory functions for use in computerized adaptive testing | (bsd3, library, math) | 2017-08-03 | 0.2.0.1 | ElliotRobinson |

iter-stats | 10 | 0.0 | 1 | iteratees for statistical processing | (bsd3, library, math) | 2015-01-05 | 0.1.0.4 | JohnLato |

jackpolynomials | 88 | 0.0 | 0 | Jack, zonal, Schur, and Hall-Littlewood polynomials | (algebra, gpl, library, math) | 2024-06-07 | 1.4.4.0 | stla |

jacobi-elliptic | 10 | 0.0 | 0 | Neville Theta Functions and Jacobi Elliptic Functions | (bsd3, library, math, numeric) | 2023-10-18 | 0.1.3.0 | stla |

jacobi-roots | 14 | 0.0 | 2 | Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision | (bsd3, library, math) | 2014-05-27 | 0.2.0.4 | GregHorn |

jacobi-theta | 30 | 0.0 | 2 | Jacobi Theta Functions | (bsd3, library, math, numeric) | 2023-10-31 | 0.2.2.2 | stla |

jalla | 12 | 0.0 | 1 | Higher level functions for linear algebra. Wraps BLAS and LAPACKE. | (library, math) | 2015-06-26 | 0.2.0.1 | ChristianGosch |

jinquantities | 6 | 2.0 | 1 | Unit conversion and manipulation library. | (bsd3, data, library, math, physics, program) | 2018-09-12 | 0.1.1 | Novadiscovery |

kalman | 7 | 2.0 | 1 | Kalman and particle filters and smoothers | (library, math, mit) | 2016-12-14 | 1.0.0.2 | DominicSteinitz |

kleene | 8 | 2.0 | 1 | Kleene algebra | (bsd3, library, math) | 2019-04-25 | 0.1 | phadej |

kmeans-vector | 10 | 0.0 | 1 | An implementation of the kmeans clustering algorithm based on the vector package | (bsd3, library, math, program) | 2015-07-30 | 0.3.2 | AlpMestanogullari |

kmn-programming | 5 | 0.0 | 0 | K_M,N quadratic programming | (bsd3, math, program) | 2021-12-20 | 0.9.2 | PeterDivianszky |

knead-arithmetic | 6 | 0.0 | 1 | Linear algebra and interpolation using LLVM JIT | (bsd3, library, math) | 2016-10-09 | 0.0.0.1 | HenningThielemann |

knots | 6 | 0.0 | 1 | Khovanov homology computations | (library, math, mit, program) | 2015-04-09 | 0.1.0.1 | maltem |

ks-test | 4 | 0.0 | 1 | Kolmogorov distribution and Kolmogorov-Smirnov test. | (library, math, numerical, public-domain) | 2010-09-10 | 0.1 | JamesCook |

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

lagrangian | 20 | 0.0 | 2 | Solve Lagrange multiplier problems | (bsd3, library, math) | 2014-10-09 | 0.6.0.1 | JonathanFischoff, pash |

lapack | 58 | 0.0 | 4 | Numerical Linear Algebra using LAPACK | (bsd3, library, math) | 2024-05-18 | 0.5.2 | HenningThielemann |

lapack-carray | 12 | 0.0 | 1 | Auto-generated interface to Fortran LAPACK via CArrays | (bsd3, library, math) | 2019-01-23 | 0.0.3 | HenningThielemann |

lapack-comfort-array | 12 | 0.0 | 0 | Auto-generated interface to Fortran LAPACK via comfort-array | (bsd3, library, math) | 2021-08-06 | 0.0.1 | HenningThielemann |

lapack-ffi | 15 | 0.0 | 3 | Auto-generated interface to Fortran LAPACK | (bsd3, library, math) | 2021-03-14 | 0.0.3 | HenningThielemann |

lapack-ffi-tools | 35 | 0.0 | 1 | Generator for Haskell interface to Fortran LAPACK | (bsd3, math, program) | 2023-01-14 | 0.1.3.1 | HenningThielemann |

lapack-hmatrix | 11 | 0.0 | 0 | Conversion of objects between 'lapack' and 'hmatrix' | (bsd3, library, math) | 2023-01-14 | 0.0.0.2 | HenningThielemann |

lattices | 138 | 2.25 | 28 | Fine-grained library for constructing and manipulating lattices | (bsd3, library, math) | 2024-05-16 | 2.2.1 | MaxBolingbroke, phadej |

lawz | 12 | 0.0 | 4 | Common mathematical laws. | (bsd3, library, math, testing) | 2020-02-11 | 0.1.1 | cmk |

lazysplines | 14 | 2.0 | 1 | Differential solving with lazy splines | (bsd3, library, math) | 2019-02-07 | 0.3 | GershomBazerman |

lean (deprecated) | 4 | 0.0 | 0 | Bonds to Lean theorem prover | (bsd3, deprecated, library, math) | 2019-05-15 | 0.0.0.1 | |

left4deadrl | 14 | 0.0 | 1 | left4dead-inspired roguelike | (bsd3, math, program) | 2018-04-06 | 0.0.2 | AndrewPennebaker |

levmar | 32 | 0.0 | 2 | An implementation of the Levenberg-Marquardt algorithm | (bsd3, library, math, numerical) | 2018-05-07 | 1.2.1.8 | BasVanDijk, RoelVanDijk |

libroman | 32 | 2.0 | 1 | Use Roman Numerals as a Numeric Datatype (sort of) | (bsd3, data, library, math, numerical) | 2016-10-10 | 3.1.1 | ahakki |

lie | 4 | 0.0 | 0 | Lie Algebras | (bsd3, library, math, program) | 2019-06-08 | 0.1.0.0 | jumper149 |

lin-alg | 21 | 0.0 | 1 | Low-dimensional matrices and vectors for graphics and physics | (bsd3, library, math) | 2016-11-05 | 0.1.0.3 | JasonDagit |

linda | 8 | 0.0 | 1 | LINear Discriminant Analysis | (bsd3, library, math, statistics) | 2011-09-24 | 0.1.2 | LennartSchmitt |

linear | 426 | 2.5 | 152 | Linear Algebra | (algebra, bsd3, library, math) | 2024-04-15 | 1.23 | AnthonyCowley, EdwardKmett, EricMertens, ryanglscott |

linear-accelerate | 17 | 0.0 | 2 | Lifting linear vector spaces into Accelerate | (accelerate, algebra, bsd3, library, math) | 2020-08-28 | 0.7.0.0 | EdwardKmett, TrevorMcDonell, ryanglscott |

linear-algebra-cblas | 5 | 0.0 | 2 | A linear algebra library with bindings to BLAS and LAPACK | (bsd3, library, math, program) | 2013-04-18 | 0.1 | CarterSchonwald |

linear-circuit | 18 | 0.0 | 1 | Compute resistance of linear electrical circuits | (bsd3, library, math) | 2021-12-05 | 0.1.0.4 | HenningThielemann |

linear-code | 9 | 2.0 | 1 | A simple library for linear codes (coding theory, error correction) | (gpl, library, math) | 2018-08-30 | 0.2.0 | wchresta |

linear-geo | 5 | 0.0 | 0 | Geographic coordinates, built on the linear package. | (library, math, mit) | 2023-12-21 | 0.1.0.0 | TravisWhitaker |

linear-grammar | 37 | 0.0 | 1 | A simple grammar for building linear equations and inclusive inequalities. | (algebra, bsd3, library, math) | 2015-06-13 | 0.0.2.1 | athanclark |

linear-programming | 16 | 0.0 | 3 | Linear Programming basic definitions | (bsd3, library, math) | 2023-12-22 | 0.0.1 | HenningThielemann |

linear-smc | 25 | 0.0 | 0 | Build SMC morphisms using linear types | (lgpl, library, math) | 2023-06-20 | 2.2.3 | JeanPhilippeBernardy |

linear-tests | 13 | 0.0 | 0 | Linear Algebra | (algebra, bsd3, library, math, testing) | 2020-03-27 | 0.1.2.0 | pdlla |

linear-vect | 6 | 0.0 | 2 | A low-dimensional linear algebra library, operating on the Num typeclass | (bsd3, library, math) | 2014-10-05 | 0.1.1.0 | capsjac |

linearEqSolver | 27 | 0.0 | 1 | Use SMT solvers to solve linear systems over integers and rationals | (bsd3, library, math, smt) | 2020-05-13 | 2.3 | LeventErkok |

linearmap-category | 32 | 0.0 | 4 | Native, complete-ish, matrix-free linear algebra. | (gpl, library, math) | 2023-05-20 | 0.6.0.1 | leftaroundabout |

logfloat | 57 | 0.0 | 13 | Log-domain floating point numbers | (bsd3, data, library, math, natural-language-processing, statistics) | 2023-03-19 | 0.14.0 | WrenThornton, WrenRomano |

logic-TPTP | 36 | 0.0 | 1 | Import, export etc. for TPTP, a syntax for first-order logic | (codec, library, math, theorem-provers) | 2020-02-28 | 0.5.0.0 | DanielSchuessler, KiYungAhn, MasahiroSakai |

long-double | 16 | 0.0 | 2 | FFI bindings for C long double | (bsd3, math) | 2023-03-10 | 0.1.1.1 | ClaudeHeilandAllen |

lowlin | 13 | 0.0 | 0 | Low dimensional linear algebra | (bsd3, library, linear-algebra, math) | 2020-05-06 | 0.2.0.1 | jodak |

magico | 25 | 0.0 | 1 | Compute solutions for Magico puzzle | (bsd3, math, program) | 2021-12-05 | 0.0.2.3 | HenningThielemann |

magma | 18 | 0.0 | 1 | magma is an algebraic structure. | (algebra, bsd3, data, data-structures, library, math) | 2023-04-19 | 0.6.1.1 | KatsutoshiItoh |

magmas | 9 | 0.0 | 2 | Magma-like objects. | (bsd3, library, math, numerical) | 2020-02-20 | 0.0.1 | cmk |

manifold-random | 27 | 0.0 | 1 | Sampling random points on general manifolds. | (gpl, library, math) | 2023-07-04 | 0.6.1.0 | leftaroundabout |

manifolds | 42 | 0.0 | 4 | Coordinate-free hypersurfaces | (gpl, library, math) | 2023-07-04 | 0.6.1.0 | leftaroundabout |

manifolds-core | 30 | 0.0 | 5 | The basic classes for the manifolds hierarchy. | (gpl, library, math) | 2023-05-18 | 0.6.1.0 | leftaroundabout |

math-extras | 23 | 0.0 | 0 | A variety of mathematical utilities | (bsd3, library, math, numeric) | 2020-03-03 | 0.1.1.0 | zliu41 |

math-functions | 331 | 2.25 | 40 | Collection of tools for numeric computations | (bsd2, library, math, numeric) | 2024-03-30 | 0.3.4.4 | AlexeyKhudyakov, BryanOSullivan |

math-grads | 10 | 2.0 | 0 | Library containing graph data structures and graph algorithms | (bsd3, graph, library, math) | 2020-04-02 | 0.1.6.7 | AlexKane |

math-programming | 11 | 0.0 | 2 | A library for formulating and solving math programs. | (bsd3, library, math) | 2023-01-28 | 0.5.1 | prsteele |

math-programming-glpk | 12 | 0.0 | 0 | A GLPK backend to the math-programming library. | (bsd3, library, math) | 2023-01-28 | 0.5.1 | prsteele |

math-programming-tests | 9 | 0.0 | 0 | Utility functions for testing implementations of the math-programming library. | (bsd3, library, math) | 2023-01-28 | 0.5.1 | prsteele |

mathexpr | 19 | 0.0 | 1 | Parse and evaluate math expressions with variables and functions | (gpl, library, math) | 2022-07-14 | 0.3.1.0 | mdibaiee |

mathflow | 4 | 0.0 | 1 | Dependently typed tensorflow modeler | (bsd3, library, math) | 2017-08-08 | 0.1.0.0 | junjihashimoto |

mathlist | 19 | 0.0 | 0 | Math using lists, including FFT and Wavelet | (bsd3, education, library, math, numerics) | 2023-05-22 | 0.2.0.0 | djsamperi |

matlab | 9 | 0.0 | 1 | Matlab bindings and interface | (bsd3, foreign, library, math, program) | 2020-07-28 | 0.3.0.0 | DylanSimon, bmsherman, bebarker |

matrix | 102 | 2.25 | 42 | A native implementation of matrix operations. | (library, math, mit) | 2023-11-18 | 0.3.6.3 | DanielDiaz |

matrix-lens | 11 | 0.0 | 0 | Optics for the "matrix" package | (bsd3, library, math) | 2020-07-07 | 0.1.0.0 | lgastako |

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

matrix-market-pure | 9 | 0.0 | 1 | Pure and composable reader and writer of the Matrix Market format. | (bsd3, library, math) | 2011-02-21 | 0.2 | SergeyAstanin |

matrix-sized | 15 | 0.0 | 0 | Haskell matrix library with interface to C++ linear algebra libraries. | (bsd3, library, math) | 2020-06-22 | 0.1.1 | kaizhang |

matrix-static | 20 | 2.0 | 1 | Type-safe matrix operations | (bsd3, library, math) | 2020-02-18 | 0.3 | wchresta |

maxent | 19 | 0.0 | 1 | Compute Maximum Entropy Distributions | (bsd3, library, math) | 2014-10-09 | 0.7 | JonathanFischoff, pash |

mcl | 7 | 0.0 | 2 | Bindings to mcl, a generic and fast pairing-based cryptography library | (bsd3, crypto, library, math) | 2017-05-09 | 1.0.1 | arybczak |

mcmc | 53 | 0.0 | 0 | Sample from a posterior using Markov chain Monte Carlo | (gpl, library, math, statistics) | 2023-05-03 | 0.8.2.0 | dschrempf |

mcmc-samplers | 9 | 2.0 | 1 | Combinators for MCMC sampling | (bsd3, library, machine-learning, math, numeric, statistics) | 2014-11-10 | 0.1.1.1 | pravnar, z |

mcmc-types | 16 | 1.75 | 5 | Common types for sampling. | (library, math, mit, numeric) | 2016-12-04 | 1.0.3 | JaredTobin |

mdp | 7 | 0.0 | 0 | Tools for solving Markov Decision Processes. | (algorithms, library, math, mit, program) | 2016-11-29 | 0.1.1.0 | prsteele |

mersenne-random | 29 | 0.0 | 9 | Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister | (bsd3, library, math, system) | 2011-06-18 | 1.0.0.1 | DonaldStewart |

mersenne-random-pure64 | 61 | 0.0 | 25 | Generate high quality pseudorandom numbers purely using a Mersenne Twister | (bsd3, library, math, system) | 2016-08-29 | 0.2.2.0 | BenGamari, DonaldStewart |

mfsolve | 81 | 2.0 | 2 | Equation solver and calculator à la metafont | (bsd3, library, math) | 2023-07-10 | 0.3.2.2 | BrentYorgey, KristofBastiaensen |

miniball | 13 | 0.0 | 1 | Bindings to Miniball, a smallest enclosing ball library | (gpl, library, math) | 2013-04-04 | 0.1.0.2 | GardSpreemann |

mixed-strategies | 4 | 0.0 | 1 | Find optimal mixed strategies for two-player games | (library, math, mit, program) | 2012-12-14 | 0.1.0.0 | BartonMassey |

mixed-types-num | 84 | 0.0 | 7 | Alternative Prelude with numeric and logic expressions typed bottom-up | (bsd3, library, math) | 2023-08-14 | 0.5.12 | MichalKonecny |

mltool | 12 | 2.0 | 2 | Machine Learning Toolbox | (bsd3, library, math) | 2018-06-10 | 0.2.0.1 | aignatyev, aignatyev17 |

mmsyn2-array-ukrainian-data | 7 | 0.0 | 1 | Data that is taken from the ukrainian-phonetics-basic-array for optimization. | (data, language, library, math, mit) | 2023-01-31 | 0.2.0.0 | OleksandrZhabenko |

mod | 181 | 2.0 | 6 | Fast type-safe modular arithmetic | (library, math, mit, number-theory) | 2023-02-13 | 0.2.0.1 | Bodigrim |

modular | 25 | 0.0 | 1 | Type-safe modular arithmetic | (bsd3, library, math) | 2018-11-05 | 0.1.0.8 | pgujjula |

modular-arithmetic | 41 | 2.25 | 5 | A type for integers modulo some constant. | (bsd3, library, math) | 2023-06-08 | 2.0.0.3 | TikhonJelvis |

monad-lrs (deprecated) | 8 | 0.0 | 1 | a monad to calculate linear recursive sequence | (bsd3, deprecated, library, math) | 2012-03-04 | 0.0.2.1 | BinJin |

monoidplus | 7 | 0.0 | 1 | Extra classes/functions about monoids | (data, library, math, public-domain) | 2011-11-12 | 0.1.0.1 | AaronBlack |

monoids (deprecated in favor of reducers) | 38 | 0.0 | 2 | Deprecated: Use 'reducers' | (bsd3, data, deprecated, library, math, numerical) | 2012-02-09 | 0.3.2 | DanielWagner, EdwardKmett |

monte-carlo | 18 | 0.0 | 1 | A monad and transformer for Monte Carlo calculations. | (bsd3, library, math) | 2017-09-15 | 0.6.2 | PatrickPerry |

mpolynomials | 9 | 0.0 | 1 | Simple multivariate polynomials. | (algebra, gpl, library, math) | 2022-12-11 | 0.1.1.0 | stla |

ms | 10 | 0.0 | 1 | metric spaces | (bsd2, library, math) | 2015-07-21 | 0.2.1 | RickyElrod |

multiset-comb | 20 | 0.0 | 3 | Combinatorial algorithms over multisets | (bsd3, library, math) | 2023-02-27 | 0.2.4.2 | BrentYorgey |

mwc-probability | 47 | 0.0 | 14 | Sampling function-based probability distributions. | (library, math, mit) | 2020-07-31 | 2.3.1 | JaredTobin, ocramz |

mwc-random | 308 | 2.0 | 123 | Fast, high quality pseudo random number generation | (bsd3, library, math, statistics) | 2021-08-15 | 0.15.0.2 | AlexeyKhudyakov, BryanOSullivan |

mwc-random-monad | 22 | 2.0 | 4 | Monadic interface for mwc-random | (bsd3, library, math, statistics) | 2015-05-20 | 0.7.3.1 | AlexeyKhudyakov |

nat | 16 | 0.0 | 1 | Lazy binary natural numbers | (bsd3, data, library, math) | 2012-08-13 | 0.3 | JanChristiansen |

natural-arithmetic | 70 | 0.0 | 15 | Arithmetic of natural numbers | (bsd3, library, math) | 2024-02-03 | 0.2.1.0 | andrewthad, l3c_amartin |

natural-induction (deprecated) | 23 | 0.0 | 4 | Induction over natural numbers | (bsd3, deprecated, library, math) | 2017-12-14 | 0.2.0.0 | |

natural-numbers | 26 | 0.0 | 4 | Natural numbers | (bsd3, data, library, math) | 2012-07-13 | 0.1.2.0 | WolfgangJeltsch |

netlib-carray | 13 | 0.0 | 2 | Helper modules for CArray wrappers to BLAS and LAPACK | (bsd3, library, math) | 2019-01-23 | 0.1 | HenningThielemann |

netlib-comfort-array | 14 | 0.0 | 2 | Helper modules for comfort-array wrappers to BLAS and LAPACK | (bsd3, library, math) | 2021-08-06 | 0.0.0.2 | HenningThielemann |

netlib-ffi | 29 | 0.0 | 15 | Helper modules for FFI to BLAS and LAPACK | (bsd3, library, math) | 2024-05-18 | 0.1.2 | HenningThielemann |

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

nimber | 14 | 0.0 | 1 | Finite nimber arithmetic | (bsd3, library, math) | 2019-03-27 | 0.1.4 | AndersKaseorg, PatrickHurst |

noether | 5 | 0.0 | 0 | Math in Haskell. | (library, math, mit, program) | 2017-06-25 | 0.0.1 | mrkgnao |

non-negative | 54 | 0.0 | 26 | Non-negative numbers | (library, math) | 2018-02-16 | 0.1.2 | HenningThielemann |

nonlinear-optimization | 44 | 0.0 | 9 | Various iterative algorithms for optimization of nonlinear functions. | (library, math) | 2020-03-01 | 0.3.12.1 | FelipeLessa |

nonlinear-optimization-ad | 20 | 0.0 | 1 | Wrapper of nonlinear-optimization package for using with AD package | (algorithms, gpl, library, math, optimisation, optimization) | 2020-02-29 | 0.2.4 | MasahiroSakai |

nonlinear-optimization-backprop | 12 | 0.0 | 0 | Wrapper of nonlinear-optimization package for using with backprop package | (algorithms, gpl, library, math, optimisation, optimization) | 2020-02-29 | 0.2.4 | MasahiroSakai |

normaldistribution | 44 | 0.0 | 9 | Minimum fuss normally distributed random values. | (bsd3, library, math, statistics) | 2011-08-31 | 1.1.0.3 | BjornBuckwalter |

np-extras | 23 | 0.0 | 2 | NumericPrelude extras | (bsd3, library, math) | 2022-05-13 | 0.3.1.3 | BrentYorgey |

np-linear | 10 | 0.0 | 1 | Linear algebra for the numeric-prelude framework | (bsd3, library, math) | 2014-11-24 | 0.3.0.2 | AriePeterson |

nuha | 9 | 0.0 | 0 | Multidimensional arrays, Linear algebra, Numerical analysis | (bsd3, library, math, numeric) | 2020-11-27 | 0.3.0.0 | jodak |

number | 13 | 0.0 | 1 | A library for real numbers | (library, math, mit) | 2015-09-10 | 0.1.1.0 | rnhmjoj |

number-wall | 7 | 0.0 | 0 | Create number walls and save them as images | (algorithms, graphics, image, library, math, mit) | 2022-09-03 | 0.1.0.3 | OwenBechtel |

numbers | 47 | 2.0 | 8 | Various number types | (bsd3, data, library, math) | 2018-05-14 | 3000.2.0.2 | CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor |

numeric-domains | 10 | 0.0 | 1 | Numeric Domains | (bsd3, library, math) | 2019-12-16 | 0.1.0.0 | MichaelSzvetits |

numeric-extras | 40 | 0.0 | 5 | Useful tools from the C standard library | (bsd3, library, math) | 2015-09-28 | 0.1 | EdwardKmett, EricMertens |

numeric-ode | 5 | 0.0 | 0 | Ode solvers | (bsd3, library, math, program) | 2017-07-22 | 0.0.0.0 | DominicSteinitz |

numeric-optimization | 7 | 0.0 | 2 | Unified interface to various numerical optimization algorithms | (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization) | 2023-06-21 | 0.1.1.0 | MasahiroSakai |

numeric-optimization-ad | 7 | 0.0 | 0 | Wrapper of numeric-optimization package for using with AD package | (algorithms, bsd3, library, math, optimisation, optimization) | 2023-06-03 | 0.1.0.1 | MasahiroSakai |

numeric-optimization-backprop | 7 | 0.0 | 0 | Wrapper of numeric-optimization package for using with backprop package | (algorithms, bsd3, library, math, optimisation, optimization) | 2023-06-03 | 0.1.0.1 | MasahiroSakai |

numeric-prelude | 73 | 2.0 | 32 | An experimental alternative hierarchy of numeric type classes | (bsd3, library, math) | 2022-05-28 | 0.4.4 | HenningThielemann |

numeric-quest | 25 | 1.75 | 4 | Math and quantum mechanics | (library, math) | 2018-02-15 | 0.2.0.2 | HenningThielemann |

numeric-tools | 19 | 0.0 | 2 | Collection of numerical tools for integration, differentiation etc. | (bsd3, library, math, numerical) | 2014-03-09 | 0.2.0.1 | AlexeyKhudyakov |

numerical | 4 | 0.0 | 0 | core package for Numerical Haskell project | (bsd2, library, math) | 2019-01-01 | 0.0.0.0 | CarterSchonwald |

numericpeano | 12 | 0.0 | 3 | Peano numbers with attendant bells and whistles. | (apache, library, math) | 2014-12-29 | 0.2.0.0 | jtapolczai, jtapolczai2 |

numhask | 86 | 2.25 | 24 | A numeric class hierarchy. | (bsd3, library, math) | 2024-05-16 | 0.12.0.3 | tonyday567 |

numhask-space | 40 | 0.0 | 10 | Numerical spaces. | (bsd3, library, math) | 2023-12-04 | 0.11.1.0 | tonyday567 |

numtype | 16 | 0.0 | 4 | Type-level (low cardinality) integers. | (bsd3, library, math) | 2016-05-10 | 1.2 | BjornBuckwalter |

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

numtype-tf | 16 | 0.0 | 3 | Type-level (low cardinality) integers, implemented using type families. | (bsd3, library, math) | 2014-02-11 | 0.1.2 | BjornBuckwalter |

nurbs | 12 | 0.0 | 1 | NURBS | (bsd3, geometry, library, linear-algebra, math) | 2015-08-21 | 0.1.1.0 | AlexandrRuchkin |

oeis | 35 | 0.0 | 7 | Interface to the Online Encyclopedia of Integer Sequences (OEIS) | (bsd3, library, math) | 2020-01-24 | 0.3.10 | BrentYorgey, BrianLewis, niteria |

oeis2 | 32 | 0.0 | 0 | Interface for Online Encyclopedia of Integer Sequences (OEIS). | (bsd3, library, math) | 2024-06-11 | 1.0.8 | 23prime |

optimization | 17 | 0.0 | 1 | Numerical optimization | (bsd3, library, math) | 2018-01-24 | 0.1.9 | BenGamari |

padic | 3 | 0.0 | 0 | Fast, type-safe p-adic arithmetic | (library, math, mit, number-theory) | 2022-02-03 | 0.1.0.0 | samsergey |

pandoc-symreg | 12 | 0.0 | 0 | A tool to convert symbolic regression expressions into different formats. | (gpl, library, math, program, text) | 2023-06-25 | 0.2.1.3 | olivetti |

pareto | 5 | 0.0 | 1 | A library for cause-effect relationships. | (bsd3, library, math) | 2016-10-19 | 0.2.0.0 | bwe |

pareto-front | 5 | 0.0 | 0 | Monoids for dealing with Pareto efficiency | (bsd3, library, math) | 2022-02-09 | 0.1.0.1 | quick_dudley |

pava | 22 | 0.0 | 0 | Greatest convex majorants and least concave minorants | (gpl, library, math, statistics) | 2022-07-10 | 0.1.1.4 | dschrempf |

peano | 103 | 0.0 | 11 | Peano numbers | (bsd3, data, library, math) | 2023-10-23 | 0.1.0.2 | AndreasAbel |

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

periodic-polynomials | 11 | 0.0 | 0 | A library for working with periodic polynomials (very basic functionality) | (library, math, mit) | 2020-06-26 | 0.2.0.0 | OleksandrZhabenko |

permutation | 23 | 0.0 | 5 | A library for permutations and combinations. | (bsd3, data-structures, library, math) | 2015-01-20 | 0.5.0.5 | PatrickPerry, spacekitteh |

permutations (deprecated in favor of Fin) | 7 | 0.0 | 1 | Permutations of finite sets | (bsd3, deprecated, library, math) | 2018-05-14 | 0.1.0.0 | |

phladiprelio-general-datatype | 91 | 0.0 | 3 | Extended functionality of PhLADiPreLiO | (language, library, math, mit, music, sound) | 2024-04-08 | 0.10.1.0 | OleksandrZhabenko |

phladiprelio-general-shared | 9 | 0.0 | 1 | A shared by different general implementations of the PhLADiPreLiO functionality. | (data, language, library, math, mit) | 2024-01-30 | 0.1.2.0 | OleksandrZhabenko |

phladiprelio-general-simple | 94 | 0.0 | 0 | A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms. | (PhLADiPreLiO, language, library, math, mit, music) | 2024-04-10 | 0.20.0.2 | OleksandrZhabenko |

phladiprelio-rhythmicity-shared | 5 | 0.0 | 3 | Allows to estimate some kind of the rhythmicity properties for the text | (language, library, math, mit, music) | 2023-03-13 | 0.1.0.0 | OleksandrZhabenko |

phladiprelio-ukrainian-shared | 22 | 0.0 | 1 | A shared by different Ukrainian implementations of the PhLADiPreLiO functionality. | (data, language, library, math, mit) | 2024-04-08 | 0.5.0.2 | OleksandrZhabenko |

phladiprelio-ukrainian-simple | 125 | 0.0 | 0 | A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency. | (PhLADiPreLiO, language, library, math, mit, music, program) | 2024-04-10 | 0.20.2.2 | OleksandrZhabenko |

phonetic-languages-basis | 12 | 0.0 | 11 | A basics of the phonetic-languages (PhLADiPreLiO-related) functionality. | (game, language, library, math, mit) | 2023-01-30 | 0.3.0.0 | OleksandrZhabenko |

phonetic-languages-constaints (deprecated in favor of phonetic-languages-constraints) | 14 | 0.0 | 0 | Constraints to filter the needed permutations | (deprecated, language, library, math, mit, phonetic-languages) | 2020-11-12 | 0.3.0.0 | OleksandrZhabenko |

phonetic-languages-constraints | 18 | 0.0 | 2 | Constraints to filter the needed permutations | (language, library, math, mit) | 2020-11-26 | 0.4.0.0 | OleksandrZhabenko |

phonetic-languages-constraints-array | 52 | 0.0 | 5 | Constraints to filter the needed permutations | (language, library, math, mit, phonetic-languages) | 2024-01-27 | 0.8.0.0 | OleksandrZhabenko |

phonetic-languages-examples | 39 | 0.0 | 0 | A generalization of the uniqueness-periods-vector-examples functionality. | (Ukrainian, game, language, library, math, mit, phonetic-languages, program) | 2021-02-02 | 0.7.0.0 | OleksandrZhabenko |

phonetic-languages-permutations | 14 | 0.0 | 1 | Commonly used versions of the phonetic-languages-common package | (game, language, library, math, mit, phonetic-languages) | 2020-11-20 | 0.2.0.0 | OleksandrZhabenko |

phonetic-languages-permutations-array | 30 | 0.0 | 6 | Permutations and universal set related functions for the phonetic-languages series | (game, language, library, math, mit, phonetic-languages) | 2024-01-23 | 0.5.0.0 | OleksandrZhabenko |

phonetic-languages-phonetics-basics | 63 | 0.0 | 5 | A library for working with generalized phonetic languages usage. | (game, language, library, math, mit, phonetic-languages, phonetics, program, writing-systems) | 2024-01-30 | 0.11.0.0 | OleksandrZhabenko |

phonetic-languages-plus | 33 | 0.0 | 3 | Some common shared between different packages functions. | (game, language, library, math, mit, phonetic-languages, program) | 2023-02-02 | 0.7.1.0 | OleksandrZhabenko |

phonetic-languages-rhythmicity | 48 | 0.0 | 9 | Allows to estimate the rhythmicity properties for the text | (coherency, data, game, language, library, math, mit, phonetic-languages, polyrhythmicity, rap) | 2023-03-15 | 0.11.0.2 | OleksandrZhabenko |

phonetic-languages-simplified-base | 54 | 0.0 | 10 | A basics of the phonetic-languages functionality that can be groupped. | (game, language, library, math, mit, phonetic-languages) | 2024-03-08 | 0.9.0.0 | OleksandrZhabenko |

phonetic-languages-simplified-common | 22 | 0.0 | 4 | A simplified version of the phonetic-languages-functionality | (game, language, library, math, mit, phonetic-languages) | 2020-12-05 | 0.4.0.0 | OleksandrZhabenko |

phonetic-languages-simplified-examples-array | 81 | 0.0 | 0 | Helps to create Ukrainian texts with the given phonetic properties. | (PhLADiPreLiO, Ukrainian, game, language, library, math, mit, phladiprelio, phonetic-languages, program, prosodic-languages, prosody, rumba, syllables) | 2022-09-13 | 0.21.0.0 | OleksandrZhabenko |

phonetic-languages-simplified-examples-common | 32 | 0.0 | 1 | Some commonly used by phonetic-languages-simplified* series functions. | (Ukrainian, game, language, library, math, mit, phonetic-languages) | 2023-03-15 | 0.6.2.0 | OleksandrZhabenko |

phonetic-languages-simplified-generalized-examples-array | 71 | 0.0 | 0 | Helps to create texts with the given phonetic properties (e. g. poetic). | (PhLADiPreLiO, espeak, game, ipa, language, library, math, mit, phladiprelio, phonetic-languages, phonetics, prosodic-languages, prosody, writing-systems) | 2022-09-14 | 0.19.0.1 | OleksandrZhabenko |

phonetic-languages-simplified-generalized-examples-common | 37 | 0.0 | 1 | Some common code for phonetic languages generalized functionality. | (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems) | 2023-03-15 | 0.6.1.0 | OleksandrZhabenko |

phonetic-languages-simplified-generalized-properties-array | 58 | 0.0 | 2 | Some 'properties' of the phonetic languages approach text. | (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems) | 2023-03-15 | 0.13.1.0 | OleksandrZhabenko |

phonetic-languages-simplified-lists-examples | 15 | 0.0 | 0 | Simplified and somewhat optimized version of the phonetic-languages-examples. | (Ukrainian, game, language, library, math, mit, phonetic-languages, program) | 2021-02-02 | 0.7.0.0 | OleksandrZhabenko |

phonetic-languages-simplified-properties-array | 60 | 0.0 | 2 | Some properties of the data related to rhythmicity. | (Ukrainian, game, language, library, math, mit, phonetic-languages) | 2023-03-15 | 0.17.2.0 | OleksandrZhabenko |

phonetic-languages-simplified-properties-array-common | 12 | 0.0 | 3 | Common functionality for 'with-tuples' and old version of properties. | (game, language, library, math, mit) | 2023-03-15 | 0.4.1.0 | OleksandrZhabenko |

phonetic-languages-simplified-properties-array-old | 4 | 0.0 | 0 | Some properties of the data related to rhythmicity. | (game, language, library, math, mit) | 2022-05-31 | 0.1.0.0 | OleksandrZhabenko |

phonetic-languages-simplified-properties-lists-double | 6 | 0.0 | 2 | A generalization of the uniqueness-periods-vector-properties package. | (language, library, math, mit) | 2021-02-02 | 0.2.0.0 | OleksandrZhabenko |

pig | 4 | 0.0 | 1 | dice game | (bsd3, library, math, program) | 2018-04-06 | 0.0.1 | AndrewPennebaker |

plot-gtk-ui | 16 | 0.0 | 1 | A quick way to use Mathematica like Manipulation abilities | (gpl, library, math) | 2016-10-10 | 0.3.0.2 | sumitsahrawat |

plot-lab (deprecated in favor of plot-gtk-ui, calculator) | 16 | 0.0 | 1 | A plotting tool with Mathematica like Manipulation abilities | (deprecated, gpl, math, program) | 2014-12-17 | 0.0.1.9 | sumitsahrawat |

poker-eval | 11 | 0.0 | 1 | Binding to libpoker-eval | (library, math, public-domain) | 2013-03-08 | 0.3.1 | DavidHimmelstrup |

polar | 13 | 0.0 | 1 | Complex numbers in polar form | (bsd3, library, math) | 2014-09-10 | 0.0.1 | StefanKersten |

poly | 50 | 2.0 | 5 | Polynomials | (bsd3, library, math, numerical) | 2022-12-31 | 0.5.1.0 | Bodigrim |

polynom (deprecated) | 4 | 0.0 | 1 | Polynomial types and operations | (deprecated, library, math) | 2016-01-21 | 0.1.0.0 | |

polynomial | 13 | 2.0 | 9 | Polynomials | (library, math, numerical, public-domain) | 2017-06-14 | 0.7.3 | JamesCook |

polynomial-algebra | 16 | 0.0 | 1 | Multivariate polynomial rings | (bsd3, library, math) | 2022-03-24 | 0.1.0.1 | BalazsKomuves |

polynomials-bernstein | 15 | 0.0 | 4 | A solver for systems of polynomial equations in bernstein form | (library, math) | 2015-09-29 | 1.1.2 | JeanPhilippeBernardy, PierreEtienneMeunier |

posit | 27 | 0.0 | 0 | Posit Numbers | (bsd3, library, math, numeric) | 2023-12-08 | 2022.2.0.0 | nwaivio |

prime | 17 | 0.0 | 0 | prime number tools | (gpl, library, math) | 2021-01-18 | 0.1.1 | jlamothe |

primecount | 10 | 0.0 | 0 | Bindings to the primecount library | (bsd3, library, math, number-theory) | 2023-08-24 | 0.1.0.1 | pgujjula |

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

prob | 7 | 0.0 | 0 | Discrete probability monad | (bsd3, library, math) | 2022-12-19 | 0.1.1 | ChrisSmith |

probability | 42 | 0.0 | 4 | Probabilistic Functional Programming | (bsd3, graphics, library, math, monads) | 2023-02-15 | 0.2.8 | HenningThielemann |

probable | 8 | 2.0 | 2 | Easy and reasonably efficient probabilistic programming and random generation | (bsd3, library, math, statistics) | 2018-02-11 | 0.1.3 | AlpMestanogullari |

product (deprecated) | 10 | 0.0 | 1 | Product category | (bsd3, deprecated, library, math) | 2017-11-28 | 0.1.0.0 | |

property (deprecated) | 8 | 0.0 | 2 | common properties | (bsd3, deprecated, library, math, testing) | 2019-10-30 | 0.0.1 | cmk |

pure-fft | 15 | 0.0 | 4 | Fast Fourier Transform | (bsd3, library, math, numerical) | 2009-03-15 | 0.2.0 | MattMorrow |

qd | 9 | 0.0 | 2 | double-double and quad-double number type via libqd | (bsd3, library, math) | 2012-10-15 | 1.0.2.1 | ClaudeHeilandAllen |

qd-vec | 6 | 0.0 | 1 | 'Vec' instances for 'qd' types | (bsd3, library, math) | 2012-10-15 | 1.1 | ClaudeHeilandAllen |

qhull | 7 | 0.0 | 0 | Delaunay triangulation, Voronoi diagrams and convex hulls. | (gpl, library, math) | 2022-08-06 | 0.1.0.4 | andrewufrank |

qhull-simple | 4 | 0.0 | 1 | Simple bindings to Qhull, a library for computing convex hulls | (bsd3, library, math) | 2013-07-04 | 0.1 | GardSpreemann |

qlinear | 7 | 0.0 | 0 | Typesafe library for linear algebra | (bsd3, library, math) | 2020-08-12 | 0.1.2.0 | JuniorGarbageCollector |

quadratic-irrational | 22 | 0.0 | 1 | An implementation of quadratic irrationals | (algorithms, data, library, math, mit) | 2020-04-15 | 0.1.1 | ion, Bodigrim |

quantities | 14 | 0.0 | 1 | Unit conversion and manipulation library. | (bsd3, data, library, math, physics, program) | 2015-11-07 | 0.4.0 | jdreaver |

quantizer | 18 | 0.0 | 0 | Library to provide the behaviour similar to quantum states superposition. | (library, math, mit) | 2024-04-07 | 0.3.1.0 | OleksandrZhabenko |

quote-quot | 55 | 0.0 | 1 | Divide without division | (bsd3, library, math, numerical) | 2022-04-11 | 0.2.1.0 | Bodigrim |

r-glpk-phonetic-languages-ukrainian-durations | 33 | 0.0 | 0 | Can be used to calculate the durations of the approximations of the Ukrainian phonemes. | (Ukrainian, glpk, language, library, math, mit, phonetic-languages, program) | 2023-02-03 | 0.5.0.0 | OleksandrZhabenko |

rad (deprecated in favor of ad) | 16 | 0.0 | 1 | Reverse Automatic Differentiation. | (bsd3, deprecated, library, math) | 2012-05-08 | 0.1.6.3 | EdwardKmett |

rampart | 45 | 2.25 | 0 | Determine how intervals relate to each other. | (library, math, mit) | 2024-05-19 | 2.0.0.8 | fozworth |

random-cycle | 16 | 0.0 | 0 | Uniform draws of partitions and cycle-partitions, with thinning. | (gpl, graphs, library, math) | 2023-11-19 | 0.1.2.0 | brendanrbrown |

random-extras | 29 | 0.0 | 6 | Additional functions for random values. | (bsd3, data, library, math) | 2012-07-10 | 0.19 | AristidBreitkreuz |

random-fu | 78 | 0.0 | 44 | Random number generation | (math, public-domain) | 2023-04-16 | 0.3.0.1 | BertramFelgenhauer, DominicSteinitz, JamesCook |

random-fu-multivariate | 18 | 0.0 | 1 | Multivariate distributions for random-fu | (bsd3, library, math) | 2019-07-21 | 0.1.2.1 | DominicSteinitz |

random-hypergeometric | 4 | 0.0 | 1 | Random variate generation from hypergeometric distributions | (library, math, mit) | 2015-03-30 | 0.1.0.0 | srijs |

random-source (deprecated) | 35 | 0.0 | 23 | Generic basis for random number generators | (deprecated, library, math, public-domain) | 2023-09-14 | 0.3.0.13 | BertramFelgenhauer, DominicSteinitz, JamesCook |

range-space | 17 | 0.0 | 1 | A Range type with vector-space instances | (bsd3, library, math) | 2015-08-28 | 0.1.2.0 | JohnLato |

ratio-int | 15 | 0.0 | 2 | Fast specialisation of Data.Ratio for Int. | (bsd3, library, math) | 2014-06-18 | 0.1.2 | RaphaelJavaux |

rclient | 3 | 0.0 | 1 | Haskell client for Rserve | (bsd3, library, math, network, statistics) | 2010-12-04 | 0.1.0.0 | TomDoris |

real-dice | 29 | 0.0 | 0 | Random number generation based on physical media touched by humans | (data, library, math, mit, program) | 2024-06-13 | 0.1.0.3 | kaBeech |

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

reducers | 157 | 0.0 | 11 | Semigroups, specialized containers and a general map/reduce framework | (bsd3, data, library, math, numerical, semigroups) | 2021-11-01 | 3.12.4 | EdwardKmett, EricMertens, ryanglscott |

regress | 6 | 0.0 | 1 | Linear and logistic regression through automatic differentiation | (bsd3, library, math) | 2015-07-13 | 0.1.1 | AlpMestanogullari |

regression-simple | 24 | 0.0 | 1 | Simple linear and quadratic regression | (bsd3, library, math) | 2023-04-26 | 0.2.1 | phadej |

reservoir | 5 | 0.0 | 1 | Unweighted reservoir sampling | (bsd3, library, math) | 2018-07-29 | 0.2.0.0 | haym |

resistor-cube | 16 | 0.0 | 1 | Compute total resistance of a cube of resistors | (bsd3, math, program) | 2021-12-05 | 0.0.1.4 | HenningThielemann |

rev-scientific | 6 | 0.0 | 2 | A library to provide special kind of big numbers writing. | (data, library, math, mit) | 2023-06-22 | 0.2.1.0 | OleksandrZhabenko |

rhythmic-sequences | 41 | 0.0 | 2 | Improved library to deal with rhythmicity of short sequences | (data, library, math, mit) | 2024-04-07 | 0.8.0.0 | OleksandrZhabenko |

rings | 34 | 0.0 | 2 | Ring-like objects. | (bsd3, library, math, numerical) | 2020-03-09 | 0.1.3 | cmk |

rivers | 4 | 0.0 | 1 | Rivers are like Streams, but different. | (bsd3, comonads, data, library, math) | 2011-12-04 | 0.1.0 | DrewDay |

roots | 16 | 0.0 | 2 | Root-finding algorithms (1-dimensional) | (library, math, numerical, public-domain) | 2012-09-09 | 0.1.1.2 | JamesCook |

rounded | 22 | 0.0 | 2 | Correctly-rounded arbitrary-precision floating-point arithmetic | (bsd3, library, math, numeric) | 2023-10-02 | 1.1.1 | ClaudeHeilandAllen |

rounded-hw | 9 | 0.0 | 0 | Directed rounding for built-in floating types | (bsd3, library, math, numeric) | 2023-11-18 | 0.4.0 | aratamizuki |

rounding (deprecated) | 6 | 0.0 | 2 | Explicit floating point rounding mode wrappers | (bsd3, deprecated, library, math) | 2010-06-13 | 0.3.0 | EdwardKmett |

rsagl-math | 6 | 0.0 | 4 | The RogueStar Animation and Graphics Library: Mathematics | (bsd3, library, math) | 2011-04-08 | 0.6.0.1 | ChristopherLaneHinson |

ruff | 12 | 0.0 | 2 | relatively useful fractal functions | (bsd3, library, math) | 2016-11-07 | 0.4.0.1 | ClaudeHeilandAllen |

rvar | 40 | 0.0 | 11 | Random Variables | (library, math, public-domain) | 2023-04-16 | 0.3.0.2 | BertramFelgenhauer, DominicSteinitz, JamesCook |

safe-decimal | 21 | 0.0 | 1 | Safe and very efficient arithmetic operations on fixed decimal point numbers | (bsd3, library, math, numeric, numerical) | 2021-06-10 | 0.2.1.0 | lehins |

safe-tensor | 13 | 0.0 | 0 | Dependently typed tensor algebra | (library, math, mit) | 2021-02-27 | 0.2.1.1 | nalex |

sampling | 32 | 0.0 | 2 | Sample values from collections. | (library, math, mit) | 2020-07-31 | 0.3.5 | JaredTobin |

sbv | 456 | 2.75 | 12 | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. | (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | 2024-05-11 | 10.10 | LeventErkok |

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

science-constants | 17 | 0.0 | 2 | Mathematical/physical/chemical constants | (bsd3, chemistry, library, math, physics, science) | 2020-01-13 | 0.2.0.2 | cbou |

science-constants-dimensional | 15 | 0.0 | 1 | Mathematical/physical/chemical constants | (bsd3, chemistry, library, math, physics, science) | 2020-01-13 | 0.1.0.3 | cbou |

sde-solver | 6 | 0.0 | 1 | Distributed SDE solver | (bsd3, library, math, numerical) | 2012-12-18 | 0.1.0.0 | DavidNilsson |

search | 12 | 2.0 | 1 | Infinite search in finite time with Hilbert's epsilon | (bsd3, library, math, search, topology) | 2017-11-04 | 0.2 | EdwardKmett |

semigroups | 378 | 2.75 | 905 | Anything that associates | (algebra, bsd3, data, data-structures, library, math) | 2021-11-16 | 0.20 | EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott |

semigroups-actions | 6 | 0.0 | 1 | Semigroups actions | (algebra, bsd3, data, data-structures, library, math) | 2012-12-20 | 0.1 | PetrPudlak |

semilattices | 30 | 0.0 | 2 | Semilattices | (algebra, bsd3, data, data-structures, library, math) | 2024-03-07 | 0.0.0.7 | robrix |

semiring | 10 | 0.0 | 2 | Semirings, ring-like structures used for dynamic programming applications | (bsd3, math, natural-language-processing) | 2010-03-08 | 0.3 | SashaRush |

semiring-simple | 23 | 1.5 | 6 | A module for dealing with semirings. | (bsd3, library, math) | 2016-03-28 | 1.0.0.1 | pharpend |

semirings | 253 | 2.0 | 18 | two monoids as one, in holy haskimony | (algebra, bsd3, data, data-structures, library, math, mathematics, maths) | 2024-05-21 | 0.7 | chessai |

set-cover | 41 | 0.0 | 2 | Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube | (algorithms, bsd3, library, math) | 2020-03-21 | 0.1.1 | HenningThielemann |

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

sgd | 38 | 0.0 | 9 | Stochastic gradient descent library | (bsd3, library, math) | 2019-11-13 | 0.8.0.3 | JakubWaszczuk |

shapes-math | 10 | 0.0 | 1 | faster vector/matrix math using unboxed numbers and Template Haskell | (bsd3, library, math, program) | 2018-05-17 | 0.1.0.0 | ublubu |

siggy-chardust | 16 | 0.0 | 2 | Rounding rationals to significant digits and decimal places. | (data, library, math, mpl, numeric) | 2018-06-22 | 1.0.0 | philderbeast |

sigma-ij | 5 | 0.0 | 0 | Thom polynomials of second order Thom-Boardman singularities | (bsd3, library, math, program) | 2016-10-22 | 0.2.0.2 | BalazsKomuves |

sign | 20 | 0.0 | 2 | Arithmetic over signs and sets of signs | (algebra, bsd3, data, library, math) | 2019-09-26 | 0.4.4 | MasahiroSakai |

significant-figures | 8 | 0.0 | 0 | Calculate expressions involving significant figures. | (chemistry, gpl, library, math, program) | 2022-10-13 | 0.2.0.0 | mizlan |

simd | 7 | 0.0 | 1 | simple interface to GHC's SIMD instructions | (bsd3, library, math) | 2014-05-19 | 0.1.0.1 | MikeIzbicki, chessai |

simple-smt | 86 | 0.0 | 3 | A simple way to interact with an SMT solver process. | (bsd3, library, math) | 2021-06-29 | 0.9.7 | IavorDiatchki |

simple-vec3 | 41 | 0.0 | 2 | Three-dimensional vectors of doubles with basic operations | (bsd3, library, math, numerical) | 2020-06-04 | 0.6.0.1 | DmitryDzhus |

simplex-basic (deprecated) | 10 | 0.0 | 1 | Very basic simplex implementation. | (algebra, bsd3, deprecated, library, math) | 2015-06-13 | 0.0.0.1 | athanclark |

simplex-method | 6 | 0.0 | 1 | Implementation of the two-phase simplex method in exact rational arithmetic | (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization) | 2023-12-02 | 0.2.0.0 | JunaidRasheed |

singletons-presburger | 55 | 0.0 | 2 | Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. | (bsd3, library, math, type-system) | 2024-06-09 | 0.7.4.0 | HiromiIshii |

singular-factory | 5 | 0.0 | 0 | Multivariate polynomial factorization via bindings to Singular-factory | (library, math) | 2019-11-23 | 0.1 | BalazsKomuves |

sloane | 60 | 0.0 | 1 | A command line interface to Sloane's OEIS. | (bsd3, math, program) | 2017-07-03 | 5.0.1 | AndersClaesson |

softfloat-hs | 4 | 0.0 | 1 | Haskell bindings for SoftFloat | (bsd3, library, math) | 2018-08-21 | 0.1.0 | benselfridge, galoisinc |

som | 82 | 2.0 | 1 | Self-Organising Maps | (bsd3, library, math) | 2021-08-18 | 10.1.11 | AmyDeBuitleir |

sparse-lin-alg | 12 | 2.0 | 1 | Effective linear algebra on sparse matrices | (bsd3, library, math) | 2013-03-23 | 0.4.3 | AlexeyAlekhin |

sparse-tensor | 23 | 0.0 | 0 | typesafe tensor algebra library | (algebra, data, library, math, mit) | 2021-02-27 | 0.2.1.5 | nalex, TobiReinhart |

spatial-math | 55 | 0.0 | 8 | 3d math including quaternions/euler angles/dcms and utility functions | (bsd3, library, math) | 2018-08-21 | 0.5.0.1 | GregHorn, peddie |

spatial-rotations | 15 | 0.0 | 1 | Rotate about any suitable axis | (gpl, library, math) | 2022-04-15 | 0.1.0.2 | leftaroundabout |

spe | 30 | 0.0 | 1 | Combinatorial species lite | (bsd3, library, math) | 2014-08-06 | 0.6.3 | AndersClaesson |

species | 24 | 0.0 | 1 | Computational combinatorial species | (bsd3, library, math) | 2018-04-10 | 0.4.0.1 | BrentYorgey |

spectral-clustering | 38 | 0.0 | 4 | Library for spectral clustering. | (gpl, library, math) | 2020-05-04 | 0.3.2.2 | GregorySchwartz |

speedy-slice | 27 | 0.0 | 1 | Speedy slice sampling. | (library, math, mit) | 2021-02-21 | 0.3.2 | JaredTobin |

spherical | 20 | 2.0 | 2 | Geometry on a sphere | (bsd3, library, math) | 2020-09-12 | 0.1.3.0 | vmchale |

spline3 | 9 | 0.0 | 1 | Parallel implementation of the Sorokina/Zeilfelder spline scheme | (agpl, math, program) | 2024-05-15 | 1.8.7 | MichaelOrlitzky |

splines | 10 | 0.0 | 1 | B-Splines, other splines, and NURBS. | (graphics, library, math, numerical, public-domain) | 2013-05-28 | 0.5.0.1 | JamesCook |

splitmix-distributions | 27 | 2.0 | 1 | Random samplers for some common distributions, based on splitmix. | (bsd3, library, math) | 2022-05-05 | 1.0.0 | ocramz |

spsa | 8 | 0.0 | 1 | Simultaneous Perturbation Stochastic Approximation Optimization Algorithm | (library, math, mit, optimization) | 2014-01-20 | 0.2.0.0 | yanatan16 |

squares | 18 | 2.0 | 0 | The double category of Hask functors and profunctors | (bsd3, category-theory, library, math) | 2023-07-15 | 0.2.1 | SjoerdVisscher |

srtree | 36 | 0.0 | 1 | A general framework to work with Symbolic Regression expression trees. | (bsd3, data, data-structures, library, math) | 2023-06-25 | 1.0.0.5 | olivetti |

stable-maps | 17 | 0.0 | 3 | Heterogeneous maps keyed by StableNames | (bsd3, library, math) | 2014-03-13 | 0.0.5 | EdwardKmett |

staf | 13 | 0.0 | 1 | Numerical statistics for Foldable containers | (library, math) | 2017-01-28 | 1.0.0 | lovasko |

statistics | 491 | 2.25 | 64 | A library of statistical types, data, and functions | (bsd2, library, math, statistics) | 2023-09-21 | 0.16.2.1 | AlexeyKhudyakov, BryanOSullivan |

statistics-dirichlet | 8 | 0.0 | 1 | Functions for working with Dirichlet densities and mixtures on vectors. | (bsd3, library, math) | 2015-07-21 | 0.6.3 | FelipeLessa |

statistics-fusion (deprecated in favor of statistics) | 9 | 0.0 | 1 | An implementation of high performance, minimal statistics functions | (bsd3, deprecated, library, math) | 2010-02-20 | 1.0.1 | DonaldStewart |

statistics-hypergeometric-genvar | 3 | 0.0 | 1 | Random variate generation from hypergeometric distributions | (library, math, mit, statistics) | 2015-03-26 | 0.1.0.0 | srijs |

statistics-linreg | 101 | 2.0 | 2 | Linear regression between two samples, based on the 'statistics' package. | (library, math, mit, statistics) | 2014-08-22 | 0.3 | AlpMestanogullari |

statistics-skinny | 5 | 0.0 | 0 | A library of statistical types, data, and functions | (bsd2, library, math, statistics) | 2021-01-11 | 0.15.2.0 | vmchale |

stats | 6 | 0.0 | 1 | command line statistics | (gpl, math, program) | 2013-12-05 | 0.1.1 | cheecheeo |

stern-brocot (deprecated) | 3 | 0.0 | 0 | Positive rational numbers represented as paths in the Stern-Brocot tree | (bsd3, deprecated, library, math, numeric) | 2019-03-28 | 0.1.0.0 | |

stochastic | 7 | 0.0 | 1 | Monadic composition of probabilistic functions and sampling. | (gpl, library, math) | 2016-08-27 | 0.1.1.1 | chokboy |

stp | 7 | 0.0 | 0 | Simple Theorem Prover | (bsd3, library, math, program) | 2018-11-21 | 0.1.0.1 | bor0 |

sum-pyramid | 4 | 0.0 | 0 | Create Sum Pyramid (Additionstreppe) exercises | (bsd3, math, program) | 2024-01-12 | 0.0 | HenningThielemann |

svm-light-utils | 13 | 0.0 | 1 | Parsers and formatters for the SVMlight input file format | (bsd3, library, math) | 2016-04-13 | 0.1.4 | BenGamari |

sym | 34 | 0.0 | 2 | Permutations, patterns, and statistics | (bsd3, library, math) | 2017-11-20 | 0.13.0 | AndersClaesson |

sym-plot | 8 | 0.0 | 1 | Plot permutations; an addition to the sym package | (bsd3, library, math) | 2017-06-10 | 0.3.0 | AndersClaesson |

symengine | 10 | 0.0 | 1 | SymEngine symbolic mathematics engine for Haskell | (ffi, library, math, mit, symbolic-computation) | 2016-06-10 | 0.1.2.0 | bollu |

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

tau | 14 | 0.0 | 2 | Tau, the ratio between any circle's circumference and radius. | (bsd3, library, math) | 2013-06-28 | 6.2831 | BrentYorgey |

tensor | 9 | 0.0 | 1 | A completely type-safe library for linear algebra | (data, gpl, library, math) | 2013-10-19 | 0.3.0.1 | NicolaSquartini |

tensort | 74 | 0.0 | 0 | Tunable sorting for responsive robustness and beyond! | (data, library, math, mit, program) | 2024-06-16 | 0.2.0.3 | kaBeech |

terntup | 5 | 2.0 | 1 | a ternary library | (bsd3, library, math) | 2016-01-16 | 0.0.1 | mcandre |

th-cas | 6 | 0.0 | 1 | Compile-time CAS(Computer Algebra System) | (library, math, mit, numeric) | 2015-11-16 | 0.1.0 | junjihashimoto |

theta-functions | 13 | 0.0 | 1 | Theta-functions implemented as trigonometric series | (library, math, public-domain) | 2012-06-21 | 1.0.1 | MarkSafronov |

tikzsd | 12 | 0.0 | 0 | A program for generating LaTeX code of string diagrams. | (library, math, mit, program) | 2021-05-04 | 1.0.0 | anthonyywang |

tilings | 10 | 0.0 | 1 | substitution tilings | (bsd3, library, math) | 2011-05-25 | 0.1 | ClaudeHeilandAllen |

tropical | 8 | 0.0 | 1 | A library for tropical mathematics. | (bsd3, library, math) | 2014-07-13 | 0.0.0.2 | pharpend |

turing-machines | 6 | 0.0 | 1 | A simple simulator for Turing machines | (library, math, mit) | 2016-07-24 | 0.1.0.1 | jariazavalverde |

turingMachine | 12 | 0.0 | 1 | An implementation of Turing Machine and Automaton | (gpl, library, math) | 2018-02-15 | 1.0.0.0 | sanjorgek |

type-natural | 114 | 2.0 | 7 | Type-level natural and proofs of their properties. | (bsd3, library, math) | 2023-12-27 | 1.3.0.1 | HiromiIshii |

type-settheory | 12 | 0.0 | 1 | Sets and functions-as-relations in the type system | (bsd3, language, library, math, type-system) | 2010-11-03 | 0.1.3.1 | DanielSchuessler |

uncertain | 15 | 0.0 | 1 | Manipulating numbers with inherent experimental/measurement uncertainty | (bsd3, library, math) | 2016-05-22 | 0.3.1.0 | jle |

uniqueness-periods-vector | 18 | 0.0 | 3 | Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. | (game, language, library, math, mit, uniqueness) | 2020-10-14 | 0.3.1.1 | OleksandrZhabenko |

uniqueness-periods-vector-common | 26 | 0.0 | 3 | Generalization of the dobutokO-poetry-general package functionality | (game, language, library, math, mit, uniqueness) | 2020-10-14 | 0.5.1.1 | OleksandrZhabenko |

uniqueness-periods-vector-examples | 77 | 0.0 | 0 | Usage examples for the uniqueness-periods-vector series of packages | (game, language, library, math, mit, phonetic-languages, program, uniqueness-periods) | 2021-02-02 | 0.15.0.0 | OleksandrZhabenko |

uniqueness-periods-vector-filters | 20 | 0.0 | 0 | A library allows to change the structure of the 'RealFrac' function output. | (data, game, language, library, math, mit, uniqueness-periods) | 2020-10-07 | 0.3.0.0 | OleksandrZhabenko |

uniqueness-periods-vector-general | 39 | 0.0 | 0 | Some kind of the optimization approach to data inner structure. | (extremum-estimator, game, language, library, math, mit, phonetic-languages, uniqueness) | 2020-11-12 | 0.5.3.0 | OleksandrZhabenko |

uniqueness-periods-vector-properties | 36 | 0.0 | 1 | Metrices for the maximum element for the uniqueness-periods-vector packages family. | (game, language, library, math, mit, phonetic-languages, syllable-segmentation) | 2021-02-02 | 0.6.0.0 | OleksandrZhabenko |

uniqueness-periods-vector-stats | 22 | 0.0 | 3 | A very basic descriptive statistics. | (data, library, math, mit) | 2023-01-24 | 0.4.0.0 | OleksandrZhabenko |

units | 47 | 2.5 | 5 | A domain-specific type system for dimensional analysis | (bsd3, library, math) | 2022-01-06 | 2.4.1.5 | RichardEisenberg, ryanglscott |

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

variable-precision (deprecated in favor of rounded) | 11 | 0.0 | 1 | variable-precision floating point | (bsd3, deprecated, library, math) | 2013-02-18 | 0.4 | ClaudeHeilandAllen |

vect | 18 | 2.0 | 16 | A low-dimensional linear algebra library, tailored to computer graphics. | (bsd3, graphics, library, math) | 2011-06-11 | 0.4.7 | BalazsKomuves |

vect-floating (deprecated in favor of linear) | 10 | 0.0 | 3 | A low-dimensional linear algebra library, operating on the Floating typeclass | (bsd3, deprecated, library, math) | 2014-09-25 | 0.1.0.4 | cdurham |

vect-floating-accelerate (deprecated in favor of linear-accelerate) | 8 | 0.0 | 1 | Accelerate instances for vect-floating types | (bsd3, deprecated, library, math) | 2014-09-25 | 0.1.0.4 | cdurham |

vect-opengl | 5 | 0.0 | 2 | OpenGL support for the `vect' low-dimensional linear algebra library. | (bsd3, graphics, library, math) | 2014-03-19 | 0.4.6.1 | BalazsKomuves |

vector-fftw | 27 | 0.0 | 5 | A binding to the fftw library for one-dimensional vectors. | (bsd3, library, math) | 2020-09-01 | 0.1.4.0 | BenGamari, JudahJacobson |

vector-space | 188 | 2.5 | 107 | Vector & affine spaces, linear maps, and derivatives | (bsd3, math) | 2019-01-22 | 0.16 | ConalElliott |

vector-space-map | 10 | 0.0 | 1 | vector-space operations for finite maps using Data.Map | (library, math, mit) | 2018-10-16 | 0.2.1.1 | ChristianConkle |

vector-space-opengl | 6 | 0.0 | 1 | Instances of vector-space classes for OpenGL types | (bsd3, graphics, library, math) | 2013-09-30 | 0.2 | AdamFoltzer |

vector-space-points (deprecated in favor of linear) | 21 | 0.0 | 10 | A type for points, as distinct from vectors. | (bsd3, deprecated, library, math) | 2016-05-21 | 0.2.1.2 | BrentYorgey, RyanYates, jeffreyrosenbluth, bergey |

vertexenum | 17 | 0.0 | 1 | Vertex enumeration | (geometry, gpl, library, math) | 2024-05-08 | 1.0.0.0 | stla |

vowpal-utils | 10 | 0.0 | 1 | Vowpal Wabbit utilities | (bsd3, library, math) | 2012-02-21 | 0.1.2 | CarterSchonwald |

weierstrass-functions | 24 | 0.0 | 0 | Weierstrass Elliptic Functions | (bsd3, library, math, numeric) | 2023-10-19 | 0.1.6.0 | stla |

wigner-symbols | 7 | 0.0 | 1 | CG coefficients and Wigner symbols. | (library, math, mit) | 2015-10-02 | 1.0.0 | Rufflewind |

word (deprecated) | 15 | 1.25 | 2 | Words of arbitrary size | (bsd3, data, deprecated, library, math, numeric) | 2018-05-14 | 0.1.0.1 | |

wuerfelschlange | 5 | 0.0 | 0 | Code for the dice chain problem | (bsd3, math) | 2021-12-05 | 0.1 | HenningThielemann |

xorshift | 13 | 0.0 | 1 | Haskell implementation of the xorshift random generator. | (library, math) | 2011-04-11 | 2.0.1 | RobertClausecker |

xorshift-plus | 3 | 0.0 | 0 | Simple implementation of xorshift+ PRNG | (bsd3, library, math) | 2019-01-28 | 0.1.0.0 | syocy |

yhseq | 11 | 0.0 | 0 | Calculation of YH sequence system | (apache, library, math, program) | 2020-08-28 | 0.3.0.1 | Hexirp |

yices | 18 | 0.0 | 4 | Haskell programming interface to Yices SMT solver | (bsd3, library, math) | 2012-02-07 | 0.0.0.12 | KiYungAhn |

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

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

z3 | 52 | 2.25 | 6 | Bindings for the Z3 Theorem Prover | (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers) | 2020-08-29 | 408.2 | IagoAbal |