# Packages tagged math

626 packages have this tag.

[Merge tag] (trustees only)Related tags: library (601), bsd3 (432), program (74), data (72), mit (66), deprecated (54), gpl (49), numerical (47), statistics (32), algebra (28), graphics (23), numeric (21), algorithms (19), public-domain (17), lgpl (16), game (11), language (11), number-theory (8), physics (8), theorem-provers (8), bsd2 (7), data-structures (7), formal-methods (6), smt (6), apache (5), optimization (5), system (5), bit-vectors (4), ffi (4), geometry (4), optimisation (4), phonetic-languages (4), symbolic-computation (4), accelerate (3), category-theory (3), foreign (3), linear-algebra (3), logic (3), mpl (3), natural-language-processing (3), parallelism (3), testing (3), type-system (3), uniqueness (3), agpl (2), chemistry (2), clustering (2), compilers-interpreters (2), concurrency (2), console (2), control (2), csv (2), dependent-types (2), json (2), mathematics (2), maths (2), parsing (2), science (2), singletons (2), tools (2), uniqueness-periods (2), adjunctions (1), ...

Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Decimal | 292 | 0.0 | Decimal numbers with variable precision | (bsd3, library, math) | 2018-01-03 | PaulJohnson |

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

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

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

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

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

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

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

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

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

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

HERA | 3 | 0.0 | (bsd3, library, math) | 2008-12-05 | LukePalmer | |

HROOT | 45 | 0.0 | Haskell binding to the ROOT data analysis framework | (graphics, lgpl, library, math, numerical, statistics) | 2017-02-01 | IanWooKim |

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

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

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

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

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

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

HasBigDecimal | 34 | 0.0 | A library for arbitrary precision decimal numbers. | (apache, library, math) | 2018-05-20 | thma |

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

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

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

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

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

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

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

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

Logic | 3 | 0.0 | Logic | (library, math, mit) | 2014-12-29 | gogotanaka |

MIP | 5 | 0.0 | Library for using Mixed Integer Programming (MIP) | (algorithms, bsd3, library, math, optimisation, optimization) | 2020-08-15 | MasahiroSakai |

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

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

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

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

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

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

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

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

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

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

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

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

Paillier | 6 | 0.0 | a simple Paillier cryptosystem | (bsd3, library, math) | 2013-12-11 | onemouth |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

accelerate-fft | 27 | 0.0 | FFT using the Accelerate library | (accelerate, bsd3, compilers-interpreters, concurrency, data, library, math, parallelism) | 2020-08-28 | TrevorMcDonell |

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

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

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

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

acts | 5 | 0.0 | Semigroup actions and torsors. | (algebra, bsd3, library, math) | 2020-02-23 | sheaf |

ad | 1225 | 2.5 | Automatic Differentiation | (bsd3, library, math) | 2020-10-13 | EdwardKmett, EricMertens, ryanglscott |

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

aern2-mp | 20 | 0.0 | Multi-precision ball (interval) arithmetic | (bsd3, library, math) | 2019-03-19 | MichalKonecny |

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

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

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

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

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

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

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

apportionment | 14 | 1.25 | Round a set of numbers while maintaining its sum | (bsd3, library, math) | 2018-08-31 | HenningThielemann |

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

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

arithmoi | 158 | 2.0 | Efficient basic number-theoretic functions. | (algorithms, library, math, mit, number-theory) | 2020-06-24 | CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim |

arrayfire | 20 | 2.0 | Haskell bindings to the ArrayFire general-purpose GPU library | (bsd3, library, math, program) | 2019-11-15 | DavidJohnson |

automata | 3 | 0.0 | automata | (bsd3, data, library, math) | 2019-01-22 | chessai |

backprop | 85 | 2.25 | Heterogeneous automatic differentation | (bsd3, library, math) | 2020-07-01 | jle |

battleship-combinatorics | 8 | 0.0 | Compute number of possible arrangements in the battleship game | (bsd3, library, math, program) | 2018-08-31 | HenningThielemann |

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

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

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

bin | 22 | 0.0 | Bin: binary natural numbers. | (data, dependent-types, gpl, library, math, singletons) | 2019-12-13 | phadej |

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

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

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

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

blas-carray | 15 | 0.0 | Auto-generated interface to Fortran BLAS via CArrays | (bsd3, library, math) | 2019-01-24 | HenningThielemann |

blas-comfort-array | 9 | 0.0 | Auto-generated interface to Fortran BLAS via comfort-array | (bsd3, library, math) | 2019-05-24 | HenningThielemann |

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

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

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

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

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

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

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

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

burst-detection | 3 | 0.0 | Burst detection algorithms | (gpl, library, math) | 2013-11-08 | AlexanderVershilov |

ca | 5 | 0.0 | Cellular Automata | (bsd3, library, math) | 2018-04-22 | |

caffegraph | 7 | 2.0 | (bsd3, library, math) | 2015-02-17 | ajtulloch | |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

checksum | 4 | 0.0 | Compute and verify checksums of ISBN, IBAN, etc. | (bsd3, library, math) | 2018-04-16 | HenningThielemann |

circular | 6 | 0.0 | Circular fixed-sized mutable vectors | (bsd3, data-structures, library, math) | 2020-06-20 | dschrempf |

cl3 | 21 | 2.0 | Clifford Algebra of three dimensional space. | (algebra, bsd3, library, math) | 2020-07-21 | nwaivio |

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

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

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

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

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

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

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

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

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

coincident-root-loci | 2 | 2.0 | Equivariant CSM classes of coincident root loci | (bsd3, library, math) | 2017-04-12 | BalazsKomuves |

combinat | 184 | 2.0 | Generate and manipulate various combinatorial objects. | (bsd3, library, math) | 2018-10-29 | BalazsKomuves |

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

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

combinatorial | 16 | 0.0 | Count, enumerate, rank and unrank combinatorial objects | (bsd3, library, math, statistics) | 2018-08-31 | HenningThielemann |

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

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

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

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

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

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

connections | 16 | 0.0 | Orders, Galois connections, and lattices. | (bsd3, library, math, numerical) | 2020-07-07 | cmk |

constructible | 6 | 0.0 | Exact computation with constructible real numbers | (bsd3, library, math) | 2020-02-09 | AndersKaseorg |

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

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

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

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

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

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

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

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

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

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

curve25519 | 15 | 0.0 | Fast implementations of the curve25519 elliptic curve primitives. | (bsd3, library, math) | 2020-07-09 | AdamWick |

cyclotomic | 42 | 0.0 | A subfield of the complex numbers for exact calculation. | (gpl, library, math) | 2020-05-24 | ScottWalck |

data-category | 71 | 2.0 | Category theory | (bsd3, category-theory, library, math) | 2020-05-11 | SjoerdVisscher |

data-interval | 65 | 0.0 | Interval datatype, interval arithmetic and interval-based containers | (bsd3, data, library, math) | 2019-10-22 | MasahiroSakai, Bodigrim |

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

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

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

declarative | 28 | 0.0 | DIY Markov Chains. | (library, math, mit) | 2020-05-22 | JaredTobin |

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

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

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

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

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

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

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

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

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

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

dimensional | 94 | 2.5 | Statically checked physical dimensions, using Type Families and Data Kinds. | (bsd3, library, math, physics) | 2018-12-28 | BjornBuckwalter, dmcclean |

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

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

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

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

dirichlet | 22 | 0.0 | Multivariate dirichlet distribution | (bsd3, library, math) | 2020-10-21 | dschrempf |

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

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

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

dsp | 30 | 2.0 | Haskell Digital Signal Processing | (gpl, library, math, sound) | 2020-06-24 | HenningThielemann |

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

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

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

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

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

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

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

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

easytensor-vulkan | 14 | 0.0 | Use easytensor with vulkan-api. | (bsd3, geometry, graphics, library, math, opengl, vulkan) | 2019-09-30 | achirkin |

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

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

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

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

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

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

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

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

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

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

exact-combinatorics | 19 | 0.0 | Efficient exact computation of combinatoric functions. | (bsd3, library, math, statistics) | 2019-04-13 | WrenThornton, WrenRomano |

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

exact-real | 63 | 2.25 | Exact real arithmetic | (library, math, mit) | 2020-06-07 | jophish |

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

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

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

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

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

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

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

factory | 44 | 0.0 | Rational arithmetic in an irrational world. | (library, math, number-theory, program) | 2020-06-30 | AlistairWard, LennartAugustsson |

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

fadno-braids | 17 | 0.0 | Braid representations in Haskell | (algebra, bsd2, data, library, math) | 2020-01-19 | spopejoy |

fast-arithmetic | 144 | 2.0 | Fast functions on integers. | (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics) | 2020-03-03 | vmchale |

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

fft | 60 | 0.0 | Bindings to the FFTW library. | (bsd3, library, math) | 2017-06-16 | HenningThielemann, JedBrown |

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

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

fin | 103 | 2.0 | Nat and Fin: peano naturals and finite numbers | (bsd3, data, dependent-types, library, math, singletons) | 2019-12-13 | phadej |

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

finite-field | 21 | 0.0 | Finite Fields | (algebra, bsd3, data, library, math) | 2016-10-02 | MasahiroSakai |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

glicko | 7 | 0.0 | Glicko-2 implementation in Haskell. | (gpl, library, math) | 2017-04-25 | rprecenth |

glpk-headers | 6 | 0.0 | Low-level Haskell bindings to GLPK. | (bsd3, library, math) | 2020-07-06 | prsteele |

glpk-hs | 51 | 0.0 | Comprehensive GLPK linear programming bindings | (bsd3, library, math, program) | 2019-11-17 | JeanPhilippeBernardy, LouisWasserman |

gnuplot | 135 | 1.75 | 2D and 3D plots using gnuplot | (bsd3, graphics, library, math) | 2020-01-15 | HenningThielemann |

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

goal-geometry | 3 | 0.0 | Scientific computing on geometric objects | (bsd3, library, math, program) | 2015-12-22 | alex404 |

goal-probability | 3 | 0.0 | Manifolds of probability distributions | (bsd3, library, math, program) | 2015-12-22 | alex404 |

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

gray-extended | 32 | 0.0 | Gray encoding schemes | (bsd3, library, math) | 2019-08-29 | AmyDeBuitleir |

grid | 111 | 2.25 | Tools for working with regular grids (graphs, lattices). | (bsd3, library, math) | 2019-08-29 | AmyDeBuitleir |

groups | 528 | 0.0 | Groups | (algebra, bsd3, data, library, math) | 2020-08-17 | NathanVanDoorn |

groups-generic | 1 | 0.0 | Generically derive Group instances. | (algebra, bsd3, library, math) | 2020-02-16 | sheaf |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

heyting-algebras | 8 | 0.0 | Heyting and Boolean algebras | (bsd3, library, math) | 2019-02-16 | coot |

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

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

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

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

hmatrix | 364 | 2.5 | Numeric Linear Algebra | (bsd3, library, math) | 2019-06-30 | AlbertoRuiz, DominicSteinitz |

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

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

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

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

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

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

hmatrix-morpheus | 16 | 2.0 | Low-level machine learning auxiliary functions. | (bsd3, library, math) | 2018-06-10 | aignatyev17 |

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

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

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

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

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

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

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

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

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

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

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

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

hmm-lapack | 11 | 0.0 | Hidden Markov Models using LAPACK primitives | (bsd3, library, math) | 2019-05-24 | HenningThielemann |

hmpfr | 65 | 2.0 | Haskell binding to the MPFR library | (bsd3, data, library, math) | 2018-01-16 | AlesBizjak, MichalKonecny |

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

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

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

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

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

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

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

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

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

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

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

integer-logarithms | 1207 | 0.0 | Integer logarithms. | (algorithms, library, math, mit, number-theory) | 2019-04-16 | phadej |

integer-roots | 62 | 0.0 | Integer roots and perfect powers | (algorithms, library, math, mit, number-theory) | 2020-02-08 | Bodigrim |

interpolation | 16 | 0.0 | piecewise linear and cubic Hermite interpolation | (bsd3, library, math) | 2019-05-25 | HenningThielemann |

intervals | 209 | 2.0 | Interval Arithmetic | (bsd3, library, math) | 2020-01-29 | EdwardKmett, EricMertens, ryanglscott |

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

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

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

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

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

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

jalaali | 5 | 0.0 | Convert Jalaali and Gregorian calendar systems to each other | (library, math, mit) | 2014-08-04 | behrang |

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

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

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

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

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

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

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

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

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

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

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

lapack-comfort-array | 5 | 0.0 | Auto-generated interface to Fortran LAPACK via comfort-array | (bsd3, library, math) | 2019-05-24 | HenningThielemann |

lapack-ffi | 14 | 0.0 | Auto-generated interface to Fortran LAPACK | (bsd3, library, math) | 2018-04-02 | HenningThielemann |

lapack-ffi-tools | 19 | 0.0 | Generator for Haskell interface to Fortran LAPACK | (bsd3, math, program) | 2019-07-06 | HenningThielemann |

lattices | 131 | 2.25 | Fine-grained library for constructing and manipulating lattices | (bsd3, library, math) | 2020-02-18 | MaxBolingbroke, phadej |

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

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

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

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

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

lfst | 9 | 0.0 | L-Fuzzy Set Theory implementation in Haskell | (gpl, library, math) | 2016-03-12 | claudiogreco |

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

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

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

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

linear | 3127 | 2.5 | Linear Algebra | (algebra, bsd3, library, math) | 2020-10-03 | AnthonyCowley, EdwardKmett, EricMertens, ryanglscott |

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

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

linear-circuit | 15 | 0.0 | Compute resistance of linear electrical circuits | (bsd3, library, math) | 2019-08-12 | HenningThielemann |

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

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

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

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

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

linearmap-category | 20 | 0.0 | Native, complete, matrix-free linear algebra. | (gpl, library, math) | 2020-04-30 | leftaroundabout |

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

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

long-double | 9 | 0.0 | FFI bindings for C long double | (bsd3, math) | 2020-06-15 | ClaudeHeilandAllen |

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

magico | 16 | 0.0 | Compute solutions for Magico puzzle | (bsd3, math, program) | 2019-05-24 | HenningThielemann |

magma | 19 | 0.0 | magma is an algebraic structure. | (algebra, bsd3, data, data-structures, library, math) | 2020-07-12 | KatsutoshiItoh |

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

manifold-random | 27 | 0.0 | Sampling random points on general manifolds. | (gpl, library, math) | 2020-04-30 | leftaroundabout |

manifolds | 55 | 0.0 | Coordinate-free hypersurfaces | (gpl, library, math) | 2020-04-30 | leftaroundabout |

manifolds-core | 25 | 0.0 | The basic classes for the manifolds hierarchy. | (gpl, library, math) | 2020-04-30 | leftaroundabout |

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

math-functions | 1283 | 2.0 | Collection of tools for numeric computations | (bsd2, library, math, numeric) | 2020-08-13 | AlexeyKhudyakov, BryanOSullivan |

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

math-programming | 5 | 0.0 | A library for formulating and solving math programs. | (bsd3, library, math) | 2020-07-05 | prsteele |

math-programming-glpk | 6 | 0.0 | A GLPK backend to the math-programming library. | (bsd3, library, math) | 2020-07-05 | prsteele |

math-programming-tests | 5 | 0.0 | Utility functions for testing implementations of the math-programming library. | (bsd3, library, math) | 2020-07-05 | prsteele |

mathexpr | 20 | 0.0 | Parse and evaluate math expressions with variables and functions | (gpl, library, math) | 2016-11-04 | mdibaiee |

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

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

matrix | 202 | 2.25 | A native implementation of matrix operations. | (bsd3, library, math) | 2018-03-18 | DanielDiaz |

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

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

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

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

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

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

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

mcmc | 82 | 0.0 | Sample from a posterior using Markov chain Monte Carlo | (gpl, library, math, statistics) | 2020-10-16 | dschrempf |

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

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

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

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

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

mfsolve | 60 | 2.0 | Equation solver and calculator à la metafont | (bsd3, library, math) | 2016-01-11 | KristofBastiaensen |

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

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

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

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

mod | 64 | 0.0 | Fast type-safe modular arithmetic | (library, math, mit, number-theory) | 2020-07-18 | Bodigrim |

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

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

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

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

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

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

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

multiset-comb | 15 | 0.0 | Combinatorial algorithms over multisets | (bsd3, library, math) | 2016-05-09 | BrentYorgey |

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

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

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

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

natural-arithmetic | 37 | 0.0 | Arithmetic of natural numbers | (bsd3, library, math) | 2020-01-20 | andrewthad |

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

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

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

netlib-comfort-array | 7 | 0.0 | Helper modules for comfort-array wrappers to BLAS and LAPACK | (bsd3, library, math) | 2019-05-24 | HenningThielemann |

netlib-ffi | 16 | 0.0 | Helper modules for FFI to BLAS and LAPACK | (bsd3, library, math) | 2019-01-05 | HenningThielemann |

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

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

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

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

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

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

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

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

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

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

nuha | 4 | 0.0 | Multidimensional arrays, Linear algebra | (bsd3, library, math, numeric) | 2020-04-07 | jodak |

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

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

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

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

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

numeric-prelude | 67 | 2.0 | An experimental alternative hierarchy of numeric type classes | (bsd3, library, math) | 2020-06-24 | HenningThielemann |

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

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

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

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

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

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

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

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

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

oeis2 | 19 | 0.0 | Interface for Online Encyclopedia of Integer Sequences (OEIS). | (bsd3, library, math) | 2020-06-10 | 23prime |

optimization | 23 | 0.0 | Numerical optimization | (bsd3, library, math) | 2018-01-24 | BenGamari |

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

pava | 1 | 0.0 | Greatest convex majorants and least concave minorants | (gpl, library, math, statistics) | 2020-06-08 | dschrempf |

peano (deprecated) | 8 | 0.0 | Peano numbers | (data, deprecated, library, math) | 2015-03-27 | |

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

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

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

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

phonetic-languages-rhythmicity | 222 | 0.0 | Allows to estimate the rhythmicity metrices for the text (usually, the Ukrainian poetic one) | (data, game, language, library, math, mit, phonetic-languages) | 2020-10-20 | OleksandrZhabenko |

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

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

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

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

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

poly | 137 | 2.0 | Polynomials | (bsd3, library, math, numerical) | 2020-09-30 | Bodigrim |

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

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

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

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

probability | 47 | 0.0 | Probabilistic Functional Programming | (bsd3, graphics, library, math, monads) | 2020-07-28 | HenningThielemann |

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

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

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

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

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

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

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

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

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

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

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

rampart | 15 | 2.25 | 🏰 Determine how intervals relate to each other. | (library, math) | 2020-06-02 | fozworth |

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

random-fu | 138 | 0.0 | Random number generation | (math, public-domain) | 2020-08-06 | BertramFelgenhauer, DominicSteinitz, JamesCook |

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

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

random-source | 80 | 0.0 | Generic basis for random number generators | (library, math, public-domain) | 2020-08-06 | BertramFelgenhauer, DominicSteinitz, JamesCook |

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

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

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

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

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

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

regression-simple | 4 | 0.0 | Simple linear and quadratic regression | (bsd3, library, math) | 2019-11-02 | phadej |

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

resistor-cube | 17 | 0.0 | Compute total resistance of a cube of resistors | (bsd3, math, program) | 2019-08-12 | HenningThielemann |

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

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

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

rounded | 15 | 0.0 | Correctly-rounded arbitrary-precision floating-point arithmetic | (bsd3, library, math, numeric) | 2020-05-19 | ClaudeHeilandAllen |

rounded-hw | 4 | 0.0 | Directed rounding for built-in floating types | (bsd3, library, math, numeric) | 2020-06-22 | aratamizuki |

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

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

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

rvar | 70 | 0.0 | Random Variables | (library, math, public-domain) | 2020-07-02 | BertramFelgenhauer, DominicSteinitz, JamesCook |

safe-decimal | 7 | 0.0 | Safe and very efficient arithmetic operations on fixed decimal point numbers | (bsd3, library, math, numeric, numerical) | 2020-02-06 | lehins |

safe-tensor | 16 | 0.0 | Dependently typed tensor algebra | (library, math, mit) | 2020-09-15 | nalex |

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

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

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

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

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

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

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

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

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

semilattices | 62 | 0.0 | Semilattices | (algebra, bsd3, data, data-structures, library, math) | 2019-10-03 | robrix |

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

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

semirings | 289 | 2.0 | two monoids as one, in holy haskimony | (algebra, bsd3, data, data-structures, library, math, mathematics, maths) | 2020-07-13 | chessai |

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

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

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

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

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

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

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

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

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

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

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

singletons-presburger | 4 | 0.0 | Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. | (bsd3, library, math, type-system) | 2020-06-22 | HiromiIshii |

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

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

softfloat-hs | 2 | 0.0 | Haskell bindings for SoftFloat | (bsd3, library, math) | 2018-08-21 | benselfridge |

som | 63 | 2.0 | Self-Organising Maps | (bsd3, library, math) | 2019-01-02 | AmyDeBuitleir |

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

sparse-tensor | 10 | 0.0 | typesafe tensor algebra library | (algebra, data, library, math, mit) | 2020-06-19 | nalex, TobiReinhart |

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

spatial-rotations | 5 | 0.0 | Rotate about any suitable axis | (gpl, library, math) | 2018-09-26 | leftaroundabout |

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

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

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

speedy-slice | 12 | 0.0 | Speedy slice sampling. | (library, math, mit) | 2020-05-23 | JaredTobin |

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

spline3 | 5 | 0.0 | A parallel implementation of the Sorokina/Zeilfelder spline scheme. | (agpl, math, program) | 2019-03-05 | MichaelOrlitzky |

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

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

squares | 8 | 2.0 | The double category of Hask functors and profunctors | (bsd3, category-theory, library, math) | 2020-05-27 | SjoerdVisscher |

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

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

statistics | 678 | 2.0 | A library of statistical types, data, and functions | (bsd2, library, math, statistics) | 2020-01-05 | AlexeyKhudyakov, BryanOSullivan |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

tilings | 2 | 0.0 | substitution tilings | (bsd3, library, math) | 2011-05-25 | ClaudeHeilandAllen |

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

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

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

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

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

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

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

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

uniqueness-periods-vector-examples | 3580 | 0.0 | Usage examples for the uniqueness-periods-vector series of packages | (cli, game, language, library, math, mit, phonetic-languages, program, uniqueness-periods) | 2020-10-17 | OleksandrZhabenko |

uniqueness-periods-vector-filters | 173 | 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 | OleksandrZhabenko |

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

uniqueness-periods-vector-properties | 855 | 0.0 | Metrices for the maximum element for the uniqueness-periods-vector packages family. | (game, language, library, math, mit, phonetic-languages, syllable-segmentation) | 2020-10-12 | OleksandrZhabenko |

uniqueness-periods-vector-stats | 108 | 0.0 | A very basic descriptive statistics. | (data, library, math, mit) | 2020-09-19 | OleksandrZhabenko |

units | 43 | 2.5 | A domain-specific type system for dimensional analysis | (bsd3, library, math) | 2020-06-17 | RichardEisenberg |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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