## Packages tagged math

507 packages have this tag.

[Merge tag] (trustees only)Related tags: library (485), bsd3 (345), gpl (59), program (57), data (56), mit (54), numerical (42), deprecated (33), statistics (29), benchmark (22), 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 | 12 | 0.0 | Angles in degrees and radians. | (bsd3, data, library, math, numerical) | 2010-07-23 | AndrewCoppin |

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

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

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

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

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

AC-Vector-Fancy | 48 | 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) | 20 | 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) | 24 | 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) | 153 | 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) | 28 | 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) | 18 | 0.0 | arbitrary precision real interval arithmetic | (bsd3, data, deprecated, library, math) | 2011-05-11 | MichalKonecny |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Naperian | 26 | 0.0 | Naperian Functors for APL-like programming | (library, math) | 2018-02-06 | DominicSteinitz |

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

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

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

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

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

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

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

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

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

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

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

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

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

TeX-my-math | 30 | 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 | 129 | 0.0 | Fixed-length lists and low-dimensional linear algebra. | (bsd3, data, library, math) | 2014-08-06 | ScottDillard |

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

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

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

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

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

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

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

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

accelerate-cublas | 21 | 0.0 | Basic Linear Algebra using native CUBLAS library | (benchmark, 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-fftw | 26 | 0.0 | Accelerate frontend to the FFTW library (Fourier transform) | (bsd3, library, math) | 2017-11-28 | HenningThielemann |

accelerate-fourier | 55 | 0.0 | Fast Fourier transform and convolution using the Accelerate framework | (bsd3, library, math) | 2018-01-12 | HenningThielemann |

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

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

ad | 702 | 2.5 | Automatic Differentiation | (bsd3, library, math) | 2018-01-19 | EdwardKmett, EricMertens, ryanglscott |

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

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

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

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

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

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

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

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

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

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

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

backprop | 127 | 0.0 | Heterogeneous automatic differentation (backpropagation) | (bsd3, library, math) | 2018-02-13 | jle |

battleship-combinatorics | 51 | 0.0 | Compute number of possible arrangements in the battleship game | (bsd3, library, math, program) | 2018-02-16 | HenningThielemann |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

canon | 89 | 0.0 | Massive Number Arithmetic | (library, math, mit) | 2018-02-22 | grandpascorpion |

casadi-bindings | 317 | 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) | 6 | 0.0 | low level bindings to casadi-control | (deprecated, lgpl, library, math, numerical) | 2014-08-21 | GregHorn |

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

casadi-bindings-internal | 67 | 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) | 25 | 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) | 14 | 0.0 | low level bindings to casadi-snopt_interface | (deprecated, lgpl, library, math, numerical) | 2014-05-27 | GregHorn |

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

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

category | 50 | 0.0 | Categorical types and classes | (bsd3, control, library, math) | 2018-01-05 | MatthewFarkasDyck |

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

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

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

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

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

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

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

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

clustering | 84 | 2.0 | High performance clustering algorithms | (library, math, mit) | 2018-01-31 | kaizhang |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

dde | 13 | 0.0 | Delay differential equations | (bsd3, library, math, program) | 2018-02-23 | |

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

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

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

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

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

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

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

diagrams-solve | 112 | 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) | 18 | 0.0 | A (deprecated) implementation of the digamma function | (bsd3, deprecated, library, math) | 2016-04-13 | BenGamari |

dimensional | 221 | 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) | 73 | 0.0 | Statically checked physical dimensions, implemented using type families. | (bsd3, deprecated, library, math, physics) | 2016-12-07 | BjornBuckwalter |

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

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

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

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

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

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

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

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

dumb-cas | 28 | 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) | 74 | 0.0 | Efficient automatic differentiation and code generation | (bsd3, deprecated, library, math, numerical) | 2014-04-05 | GregHorn |

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

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

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

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

eigen | 133 | 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 | 115 | 1.5 | Proof assistant for Haskell using DataKinds & PolyKinds | (bsd3, library, math) | 2017-09-19 | HiromiIshii |

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

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

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

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

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

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

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

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

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

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

expressions | 61 | 1.5 | Expressions and Formulae a la carte | (bsd3, data, library, logic, math) | 2018-02-10 | jakubdaniel |

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

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

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

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

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

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

fast-arithmetic | 307 | 2.0 | Fast functions on integers. | (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics) | 2018-02-23 | vmchale |

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

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

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

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

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

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

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

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

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

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

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

foldl-statistics | 76 | 2.0 | Statistical functions from the statistics package implemented as Folds. | (bsd3, library, math, statistics) | 2018-01-12 | AlexMason |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

gnuplot | 256 | 2.0 | 2D and 3D plots using gnuplot | (bsd3, graphics, library, math) | 2018-02-16 | HenningThielemann |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

hascal | 51 | 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 | 18 | 0.0 | Some utility functions for haskell-eigen library | (algebra, bsd3, library, math) | 2016-08-18 | dilawars |

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

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

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

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

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

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

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

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

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

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

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

hmatrix | 470 | 2.5 | Numeric Linear Algebra | (bsd3, library, math) | 2018-01-18 | AlbertoRuiz, DominicSteinitz |

hmatrix-backprop | 24 | 0.0 | hmatrix operations lifted for backprop | (bsd3, library, math) | 2018-02-11 | jle |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

hmatrix-vector-sized | 52 | 0.0 | Conversions between hmatrix and vector-sized types | (bsd3, library, math) | 2018-02-12 | jle |

hmm-hmatrix | 41 | 0.0 | Hidden Markov Models using HMatrix primitives | (bsd3, library, math) | 2018-01-14 | HenningThielemann |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

kmeans-vector | 40 | 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 | 10 | 0.0 | Linear algebra and interpolation using LLVM JIT | (bsd3, library, math) | 2016-10-09 | HenningThielemann |

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

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

l-bfgs-b | 13 | 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 | 68 | 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) | 2017-12-16 | HenningThielemann |

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

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

lattices | 162 | 2.25 | Fine-grained library for constructing and manipulating lattices | (bsd3, library, math) | 2018-01-29 | MaxBolingbroke, phadej |

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

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

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

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

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

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

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

linear-accelerate | 62 | 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 | 7 | 0.0 | A linear algebra library with bindings to BLAS and LAPACK | (bsd3, library, math, program) | 2013-04-18 | CarterSchonwald |

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

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

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

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

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

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

logic-TPTP | 98 | 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 | 28 | 0.0 | Compute solutions for Magico puzzle | (bsd3, math, program) | 2015-08-19 | HenningThielemann |

magma | 50 | 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 | 29 | 0.0 | Sampling random points on general manifolds. | (gpl, library, math) | 2017-10-30 | leftaroundabout |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

mwc-probability | 154 | 0.0 | Sampling function-based probability distributions. | (library, math, mit) | 2018-01-30 | JaredTobin, ocramz |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

numeric-prelude | 327 | 2.0 | An experimental alternative hierarchy of numeric type classes | (bsd3, library, math) | 2018-02-17 | HenningThielemann |

numeric-quest | 115 | 0.0 | Math and quantum mechanics | (gpl, library, math) | 2018-02-15 | HenningThielemann |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

sbvPlugin | 66 | 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 | 23 | 0.0 | Mathematical/physical/chemical constants | (chemistry, library, math, physics, science) | 2014-09-13 | cbou |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

vector-space | 443 | 2.5 | Vector & affine spaces, linear maps, and derivatives | (bsd3, math) | 2018-01-25 | ConalElliott |

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

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

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

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

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

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

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

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

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

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