## Packages tagged math

500 packages have this tag.

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

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

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

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

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

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

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

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

AC-Vector-Fancy | 514 | 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) | 180 | 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) | 265 | 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) | 1592 | 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) | 261 | 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) | 178 | 0.0 | arbitrary precision real interval arithmetic | (bsd3, data, deprecated, library, math) | 2011-05-11 | MichalKonecny |

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

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

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

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

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

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

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

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

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

Decimal | 1069 | 0.0 | Decimal numbers with variable precision | (bsd3, library, math) | 2014-09-28 | PaulJohnson |

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

Dist | 423 | 0.0 | A Haskell library for probability distributions | (library, math, mit) | 2017-09-17 | wyager |

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

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

EqualitySolver | 252 | 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 | 170 | 0.0 | Grammar and typeclass for first order theories | (bsd3, library, math) | 2014-11-05 | dillonhuff |

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

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

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

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

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

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

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

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

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

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

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

HaskellForMaths | 2163 | 0.0 | Combinatorics, group theory, commutative algebra, non-commutative algebra | (bsd3, library, math) | 2015-04-19 | DavidAmos |

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

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

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

HsASA | 171 | 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) | 172 | 0.0 | A slightly extended Kalman filter | (bsd3, deprecated, library, math) | 2015-04-05 | DominicSteinitz |

LargeCardinalHierarchy | 170 | 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 | 185 | 0.0 | A library for lattices | (gpl, library, math) | 2015-08-14 | BartCoppens |

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

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

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

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

NTRU | 254 | 0.0 | NTRU Cryptography | (cryptography, gpl, library, math) | 2016-01-21 | mikewest |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

accelerate-blas | 508 | 0.0 | Numeric Linear Algebra in Accelerate | (bsd3, library, math) | 2017-09-25 | TrevorMcDonell |

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

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

accelerate-fftw | 190 | 0.0 | Accelerate frontend to the FFTW library (Fourier transform) | (bsd3, library, math) | 2017-11-28 | HenningThielemann |

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

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

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

ad | 7904 | 2.5 | Automatic Differentiation | (benchmark, bsd3, library, math) | 2017-07-29 | EdwardKmett, EricMertens, ryanglscott |

aern2-mp | 433 | 0.0 | Multi-precision floats via MPFR | (bsd3, library, math) | 2017-11-14 | MichalKonecny |

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

alg | 345 | 0.0 | Algebraic structures | (bsd3, library, math) | 2017-11-02 | MatthewFarkasDyck |

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

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

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

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

apportionment | 259 | 1.25 | Round a set of numbers while maintaining its sum | (bsd3, library, math) | 2015-08-19 | HenningThielemann |

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

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

arithmoi | 3095 | 1.25 | Efficient basic number-theoretic functions. | (algorithms, library, math, mit, number-theory) | 2017-12-19 | CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim |

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

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

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

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

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

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

blas-carray | 101 | 0.0 | Auto-generated interface to Fortran BLAS via CArrays | (bsd3, library, math) | 2017-12-16 | HenningThielemann |

blas-ffi | 101 | 0.0 | Auto-generated interface to Fortran BLAS | (bsd3, library, math) | 2017-12-16 | HenningThielemann |

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

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

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

buffon | 89 | 0.0 | An implementation of Buffon machines. | (bsd2, library, math) | 2015-11-21 | DerekElkins |

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

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

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

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

calendar-recycling | 93 | 0.0 | List years with the same calendars | (bsd3, math, program) | 2016-06-25 | HenningThielemann |

casadi-bindings | 3736 | 0.0 | mid-level bindings to CasADi | (lgpl, library, math, numerical) | 2017-02-07 | GregHorn |

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

casadi-bindings-core | 1386 | 0.0 | autogenerated low level bindings to casadi | (lgpl, library, math, numerical) | 2016-11-16 | GregHorn |

casadi-bindings-internal | 656 | 0.0 | low level bindings to CasADi | (lgpl, library, math, numerical) | 2016-11-16 | GregHorn |

casadi-bindings-ipopt-interface (deprecated in favor of casadi-bindings-core) | 251 | 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) | 170 | 0.0 | low level bindings to casadi-snopt_interface | (deprecated, lgpl, library, math, numerical) | 2014-05-27 | GregHorn |

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

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

category | 648 | 0.0 | Categorical types and classes | (bsd3, control, library, math) | 2017-12-13 | MatthewFarkasDyck |

category-traced | 170 | 0.0 | Traced monoidal categories | (bsd3, library, math) | 2016-02-24 | MatthewFarkasDyck |

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

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

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

clif | 91 | 0.0 | A Clifford algebra number type for Haskell | (algebra, benchmark, library, math, mit) | 2017-01-23 | maaleske |

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

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

clumpiness | 91 | 0.0 | Calculate the clumpiness of leaf properties in a tree | (gpl, library, math) | 2016-02-09 | GregorySchwartz |

clustering | 584 | 2.0 | High performance clustering algorithms | (benchmark, library, math, mit) | 2016-11-11 | kaizhang |

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

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

combinat | 1494 | 0.0 | Generate and manipulate various combinatorial objects. | (bsd3, library, math) | 2016-10-13 | BalazsKomuves |

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

combinatorial | 104 | 0.0 | Count, enumerate, rank and unrank combinatorial objects | (bsd3, library, math, statistics) | 2017-12-16 | HenningThielemann |

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

commutative | 418 | 0.0 | Commutative binary operations. | (data, library, math, mit) | 2015-09-06 | athanclark |

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

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

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

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

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

constructible | 170 | 0.0 | Exact computation with constructible real numbers | (bsd3, library, math) | 2013-07-11 | AndersKaseorg |

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

continued-fraction | 314 | 2.0 | Types and functions for working with continued fractions in Haskell | (bsd3, library, math) | 2017-11-19 | vmchale |

continued-fractions | 578 | 0.0 | Continued fractions. | (library, math, numerical, public-domain) | 2012-01-03 | JamesCook |

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

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

crf-chain1 | 374 | 0.0 | First-order, linear-chain conditional random fields | (bsd3, library, math) | 2014-06-19 | JakubWaszczuk |

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

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

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

curve25519 | 333 | 0.0 | Fast implementations of the curve25519 elliptic curve primitives. | (bsd3, library, math) | 2017-03-02 | AdamWick |

cyclotomic | 915 | 0.0 | A subfield of the complex numbers for exact calculation. | (gpl, library, math) | 2017-12-13 | ScottWalck |

data-category | 1734 | 0.0 | Category theory | (bsd3, library, math) | 2017-09-18 | SjoerdVisscher |

data-interval | 988 | 0.0 | Interval datatype, interval arithmetic and interval-based containers | (bsd3, data, library, math) | 2017-09-02 | MasahiroSakai |

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

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

declarative | 821 | 0.0 | DIY Markov Chains. | (library, math, mit) | 2016-12-21 | JaredTobin |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

dsp | 607 | 2.0 | Haskell Digital Signal Processing | (gpl, library, math, sound) | 2017-12-15 | HenningThielemann |

dual | 93 | 0.0 | Dual category | (bsd3, library, math) | 2017-11-23 | MatthewFarkasDyck |

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

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

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

ease | 89 | 0.0 | Robert Penner's easing equations | (bsd3, game, library, math) | 2017-07-10 | fresheyeball |

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

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

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

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

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

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

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

euler | 887 | 0.0 | Mathematics utilities for Haskell | (benchmark, library, math, mit) | 2015-04-16 | decomputed |

exact-combinatorics | 339 | 0.0 | Efficient exact computation of combinatoric functions. | (bsd3, library, math, statistics) | 2015-05-30 | WrenThornton |

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

exact-real | 1367 | 2.0 | Exact real arithmetic | (benchmark, library, math, mit) | 2017-01-16 | jophish |

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

exp-pairs | 730 | 0.0 | Linear programming over exponent pairs | (gpl, library, math) | 2016-09-28 | Bodigrim |

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

expressions | 333 | 1.5 | Expressions and Formulae a la carte | (bsd3, data, library, logic, math) | 2017-10-25 | jakubdaniel |

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

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

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

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

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

fadno-braids | 328 | 0.0 | Braid representations in Haskell | (algebra, bsd2, data, library, math) | 2017-09-23 | spopejoy |

fast-arithmetic | 1316 | 2.0 | Fast functions on integers. | (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics) | 2018-01-04 | |

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

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

fftwRaw | 175 | 0.0 | Low level bindings to FFTW. | (bsd3, library, math) | 2016-07-31 | adamwalker |

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

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

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

fixed-point-vector (deprecated) | 169 | 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) | 171 | 0.0 | vector-space instances for the fixed-point package | (data, deprecated, game, library, math, mit, numerical) | 2011-08-27 | JakeMcArthur |

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

fixedprec | 512 | 0.0 | A fixed-precision real number type | (bsd3, data, library, math) | 2014-10-08 | PeterSelinger |

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

flat-mcmc | 894 | 0.0 | Painless general-purpose sampling. | (library, math, mit) | 2016-12-19 | JaredTobin |

foldl-statistics | 1010 | 2.0 | Statistical functions from the statistics package implemented as Folds. | (bsd3, library, math, statistics) | 2017-06-15 | AlexMason |

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

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

fptest | 170 | 0.0 | IEEE754r floating point conformance tests | (bsd3, math, program) | 2014-09-09 | jrp |

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

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

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

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

functor | 172 | 0.0 | Functors | (bsd3, control, library, math) | 2017-11-16 | MatthewFarkasDyck |

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

gamma | 338 | 0.0 | Gamma function and related functions. | (library, math, numerical, public-domain) | 2012-01-03 | JamesCook |

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

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

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

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

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

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

glpk-hs | 1395 | 0.0 | Comprehensive GLPK linear programming bindings | (bsd3, library, math) | 2016-10-04 | JeanPhilippeBernardy, LouisWasserman |

gnuplot | 2114 | 2.0 | 2D and 3D plots using gnuplot | (bsd3, graphics, library, math) | 2017-07-28 | HenningThielemann |

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

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

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

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

gray-extended | 486 | 0.0 | Gray encoding schemes | (bsd3, library, math) | 2016-11-04 | AmyDeBuitleir |

grid | 3158 | 2.0 | Tools for working with regular grids (graphs, lattices). | (bsd3, library, math) | 2017-08-15 | AmyDeBuitleir |

groups | 1146 | 0.0 | Haskell 98 groups | (algebra, bsd3, data, library, math) | 2017-11-22 | NathanVanDoorn |

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

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

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

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

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

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

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

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

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

haskell-igraph | 408 | 0.0 | Imcomplete igraph bindings | (library, math, mit) | 2017-03-31 | kaizhang |

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

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

hblas | 850 | 2.0 | Human friendly BLAS and Lapack bindings for Haskell. | (bsd3, library, math) | 2017-04-26 | CarterSchonwald |

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

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

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

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

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

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

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

hmatrix | 6858 | 2.5 | Numeric Linear Algebra | (bsd3, library, math) | 2017-08-13 | AlbertoRuiz |

hmatrix-banded | 243 | 0.0 | HMatrix interface to LAPACK functions for banded matrices | (bsd3, library, math) | 2016-04-25 | HenningThielemann |

hmatrix-glpk | 970 | 0.0 | Linear Programming based on GLPK | (gpl, library, math) | 2016-11-02 | AlbertoRuiz |

hmatrix-gsl | 499 | 0.0 | Numerical computation | (gpl, library, math) | 2016-11-02 | AlbertoRuiz |

hmatrix-gsl-stats | 2929 | 0.0 | GSL Statistics interface | (bsd3, ffi, library, math, statistics) | 2017-09-19 | VivianMcPhail |

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

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

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

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

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

hmatrix-special | 583 | 0.0 | Interface to GSL special functions | (gpl, library, math) | 2016-11-02 | AlbertoRuiz |

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

hmatrix-svdlibc | 645 | 0.0 | SVDLIBC bindings for HMatrix | (benchmark, bsd3, library, math) | 2017-03-13 | BenGamari |

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

hmatrix-tests | 576 | 0.0 | Tests for hmatrix | (benchmark, bsd3, library, math) | 2016-11-02 | AlbertoRuiz |

hmm-hmatrix | 298 | 0.0 | Hidden Markov Models using HMatrix primitives | (bsd3, library, math) | 2015-07-13 | HenningThielemann |

hmpfr | 1825 | 2.0 | Haskell binding to the MPFR library | (bsd3, data, library, math) | 2017-08-07 | AlesBizjak, MichalKonecny |

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

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

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

hps-kmeans | 87 | 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 | 176 | 0.0 | Functors from products of Haskell and its dual to Haskell | (bsd3, library, math) | 2017-11-28 | MatthewFarkasDyck |

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

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

hstatistics | 2769 | 0.0 | Statistics | (bsd3, library, math, statistics) | 2017-02-06 | VivianMcPhail |

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

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

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

interpolation | 332 | 0.0 | piecewise linear and cubic Hermite interpolation | (bsd3, library, math) | 2017-11-13 | HenningThielemann |

intervals | 3661 | 2.0 | Interval Arithmetic | (bsd3, library, math) | 2017-07-28 | EdwardKmett, EricMertens, ryanglscott |

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

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

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

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

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

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

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

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

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

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

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

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

l-bfgs-b | 165 | 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 | 888 | 0.0 | Solve Lagrange multiplier problems | (bsd3, library, math) | 2014-10-09 | JonathanFischoff, pash |

lapack-carray | 96 | 0.0 | Auto-generated interface to Fortran LAPACK via CArrays | (bsd3, library, math) | 2017-12-16 | HenningThielemann |

lapack-ffi | 94 | 0.0 | Auto-generated interface to Fortran LAPACK | (bsd3, library, math) | 2017-12-16 | HenningThielemann |

lapack-ffi-tools | 207 | 0.0 | Generator for Haskell interface to Fortran LAPACK | (bsd3, math, program) | 2017-12-18 | HenningThielemann |

lattices | 1386 | 2.0 | Fine-grained library for constructing and manipulating lattices | (bsd3, library, math) | 2017-10-01 | MaxBolingbroke, phadej |

lazysplines | 170 | 2.0 | Differential solving with lazy splines | (bsd3, library, math) | 2015-03-22 | GershomBazerman |

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

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

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

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

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

linear | 13935 | 2.5 | Linear Algebra | (algebra, bsd3, library, math) | 2017-07-28 | AnthonyCowley, EdwardKmett, EricMertens, ryanglscott |

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

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

linear-circuit | 86 | 0.0 | Compute resistance of linear electrical circuits | (bsd3, library, math) | 2015-08-26 | HenningThielemann |

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

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

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

linearmap-category | 727 | 0.0 | Native, complete, matrix-free linear algebra. | (gpl, library, math) | 2017-10-30 | leftaroundabout |

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

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

magico | 324 | 0.0 | Compute solutions for Magico puzzle | (bsd3, math, program) | 2015-08-19 | HenningThielemann |

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

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

manifolds | 3592 | 0.0 | Coordinate-free hypersurfaces | (gpl, library, math) | 2017-10-30 | leftaroundabout |

manifolds-core | 256 | 0.0 | The basic classes for the manifolds hierarchy. | (gpl, library, math) | 2017-10-29 | leftaroundabout |

math-functions | 3504 | 0.0 | Special functions and Chebyshev polynomials | (bsd3, library, math, numeric) | 2016-12-01 | AlexeyKhudyakov, BryanOSullivan |

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

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

matlab | 166 | 0.0 | Matlab bindings and interface | (bsd3, foreign, library, math) | 2015-01-22 | DylanSimon, bmsherman |

matrix | 2837 | 0.0 | A native implementation of matrix operations. | (benchmark, bsd3, library, math) | 2016-05-27 | DanielDiaz |

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

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

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

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

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

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

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

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

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

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

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

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

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

mltool | 248 | 2.0 | Machine Learning Toolbox | (bsd3, library, math) | 2017-06-29 | aignatyev, aignatyev17 |

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

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

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

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

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

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

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

mwc-probability | 1038 | 0.0 | Sampling function-based probability distributions. | (library, math, mit) | 2016-12-04 | JaredTobin |

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

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

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

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

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

netlib-carray | 100 | 0.0 | Helper modules for CArray wrappers to BLAS and LAPACK | (bsd3, library, math) | 2017-12-16 | HenningThielemann |

netlib-ffi | 99 | 0.0 | Helper modules for FFI to BLAS and LAPACK | (bsd3, library, math) | 2017-12-16 | HenningThielemann |

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

nimber | 331 | 0.0 | Finite nimber arithmetic | (bsd3, library, math) | 2014-01-02 | AndersKaseorg, PatrickHurst |

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

non-negative | 928 | 0.0 | Non-negative numbers | (gpl, library, math) | 2017-07-31 | HenningThielemann |

nonlinear-optimization | 1221 | 0.0 | Various iterative algorithms for optimization of nonlinear functions. | (gpl, library, math) | 2015-07-22 | FelipeLessa |

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

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

np-extras | 895 | 0.0 | NumericPrelude extras | (bsd3, library, math) | 2016-05-21 | BrentYorgey |

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

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

numbers | 1511 | 2.0 | Various number types | (bsd3, data, library, math) | 2014-02-04 | CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor |

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

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

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

numeric-quest | 660 | 0.0 | Math and quantum mechanics | (gpl, library, math) | 2014-03-14 | HenningThielemann |

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

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

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

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

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

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

oeis | 2057 | 0.0 | Interface to the Online Encyclopedia of Integer Sequences (OEIS) | (bsd3, library, math) | 2017-03-25 | BrentYorgey, BrianLewis, niteria |

optimization | 647 | 0.0 | Numerical optimization | (bsd3, library, math) | 2015-11-26 | BenGamari |

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

peano | 477 | 0.0 | Peano numbers | (data, library, math) | 2015-03-27 | MatthewFarkasDyck |

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

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

plot-gtk-ui | 640 | 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) | 321 | 0.0 | A plotting tool with Mathematica like Manipulation abilities | (deprecated, gpl, math, program) | 2014-12-17 | sumitsahrawat |

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

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

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

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

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

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

probability | 946 | 0.0 | Probabilistic Functional Programming | (bsd3, graphics, library, math, monads) | 2016-09-11 | HenningThielemann |

probable | 319 | 2.0 | Easy and reasonably efficient probabilistic programming and random generation | (bsd3, library, math, statistics) | 2016-08-26 | AlpMestanogullari |

product | 90 | 0.0 | Product category | (bsd3, library, math) | 2017-11-28 | MatthewFarkasDyck |

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

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

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

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

quadratic-irrational | 400 | 0.0 | An implementation of quadratic irrationals | (algorithms, data, library, math, mit) | 2014-03-28 | ion |

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

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

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

random-fu | 1744 | 0.0 | Random number generation | (math, public-domain) | 2016-06-05 | DominicSteinitz, JamesCook |

random-fu-multivariate | 162 | 0.0 | Multivariate distributions for random-fu | (bsd3, library, math) | 2016-09-03 | DominicSteinitz |

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

random-source | 465 | 0.0 | Generic basis for random number generators | (library, math, public-domain) | 2013-07-16 | DominicSteinitz, JamesCook |

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

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

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

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

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

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

resistor-cube | 317 | 0.0 | Compute total resistance of a cube of resistors | (bsd3, math, program) | 2015-08-26 | HenningThielemann |

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

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

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

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

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

rvar | 380 | 0.0 | Random Variables | (library, math, public-domain) | 2016-06-05 | DominicSteinitz, JamesCook |

sampling | 550 | 0.0 | Sample values from collections. | (benchmark, library, math, mit) | 2017-01-31 | JaredTobin |

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

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

science-constants | 243 | 0.0 | Mathematical/physical/chemical constants | (chemistry, library, math, physics, science) | 2014-09-13 | cbou |

science-constants-dimensional | 240 | 0.0 | Mathematical/physical/chemical constants | (bsd3, chemistry, library, math, physics, science) | 2015-10-29 | cbou |

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

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

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

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

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

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

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

sets | 1985 | 0.0 | Ducktyped set interface for Haskell containers. | (benchmark, data, library, math, mit) | 2016-09-16 | athanclark |

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

sgd | 949 | 0.0 | Stochastic gradient descent | (algorithms, bsd3, library, math) | 2014-11-25 | JakubWaszczuk |

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

sign | 558 | 0.0 | Arithmetic over signs and sets of signs | (algebra, bsd3, data, library, math) | 2016-01-16 | MasahiroSakai |

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

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

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

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

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

som | 3140 | 2.0 | Self-Organising Maps. | (bsd3, library, math) | 2017-08-15 | AmyDeBuitleir |

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

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

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

species | 1535 | 0.0 | Computational combinatorial species | (bsd3, library, math) | 2016-08-10 | BrentYorgey |

speedy-slice | 634 | 0.0 | Speedy slice sampling. | (library, math, mit) | 2016-12-21 | JaredTobin |

spline3 | 85 | 0.0 | A parallel implementation of the Sorokina/Zeilfelder spline scheme. | (gpl, math, program) | 2015-04-17 | MichaelOrlitzky |

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

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

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

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

statistics | 8108 | 2.0 | A library of statistical types, data, and functions | (bsd2, library, math, statistics) | 2017-05-19 | AlexeyKhudyakov, BryanOSullivan |

statistics-dirichlet | 318 | 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) | 322 | 0.0 | An implementation of high performance, minimal statistics functions | (bsd3, deprecated, library, math) | 2010-02-20 | DonaldStewart |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

turingMachine | 240 | 0.0 | An implementation of Turing Machine and Automaton | (gpl, library, math) | 2016-05-11 | sanjorgek |

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

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

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

units | 891 | 2.0 | A domain-specific type system for dimensional analysis | (bsd3, library, math) | 2017-12-27 | RichardEisenberg |

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

variable-precision | 478 | 0.0 | variable-precision floating point | (bsd3, library, math) | 2013-02-18 | ClaudeHeilandAllen |

vect | 405 | 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) | 317 | 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) | 392 | 0.0 | Accelerate instances for vect-floating types | (bsd3, deprecated, library, math) | 2014-09-25 | cdurham |

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

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

vector-space | 3600 | 2.5 | Vector & affine spaces, linear maps, and derivatives | (bsd3, math) | 2017-10-05 | ConalElliott |

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

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

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

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

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

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

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

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

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

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