# Packages tagged math

543 packages have this tag.

[Merge tag] (trustees only)Related tags: library (519), bsd3 (373), data (63), program (63), mit (55), gpl (43), numerical (42), deprecated (33), statistics (29), algebra (24), graphics (22), algorithms (17), public-domain (17), lgpl (15), numeric (14), physics (8), theorem-provers (7), data-structures (6), number-theory (6), bsd2 (5), formal-methods (5), smt (5), apache (4), ffi (4), game (4), language (4), mpl (4), symbolic-computation (4), system (4), bit-vectors (3), control (3), foreign (3), geometry (3), logic (3), natural-language-processing (3), chemistry (2), clustering (2), console (2), csv (2), json (2), linear-algebra (2), mathematics (2), maths (2), monads (2), optimisation (2), optimization (2), parallelism (2), parsing (2), science (2), tools (2), type-system (2), agpl (1), ats (1), ...

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

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

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

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

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

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

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

AC-Vector-Fancy | 22 | 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) | 15 | 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) | 15 | 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) | 47 | 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) | 17 | 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) | 13 | 0.0 | arbitrary precision real interval arithmetic | (bsd3, data, deprecated, library, math) | 2011-05-11 | MichalKonecny |

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

AERN-RnToRm-Plot (deprecated) | 15 | 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 | 10 | 0.0 | Tools for self-assembly | (gpl, library, math) | 2014-06-12 | pmeunier |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

HROOT-math | 12 | 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 |

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

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

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

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

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

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

LargeCardinalHierarchy | 5 | 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 | 55 | 0.0 | A library for lattices | (library, math) | 2018-09-21 | BartCoppens |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SG | 11 | 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 | 8 | 0.0 | A tiny, lazy SMT solver | (bsd3, library, math) | 2014-11-05 | dillonhuff |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

alg | 90 | 0.0 | Algebraic structures | (bsd3, library, math) | 2018-09-14 | MatthewFarkasDyck |

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

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

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

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

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

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

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

arithmoi | 203 | 1.25 | Efficient basic number-theoretic functions. | (algorithms, library, math, mit, number-theory) | 2018-09-22 | CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim |

backprop | 102 | 2.0 | Heterogeneous automatic differentation | (bsd3, library, math) | 2018-08-07 | jle |

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

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

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

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

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

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

bins | 50 | 0.0 | Aggregate continuous values into discrete bins | (bsd3, library, math) | 2018-09-05 | jle |

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

blas-carray | 27 | 0.0 | Auto-generated interface to Fortran BLAS via CArrays | (bsd3, library, math) | 2018-04-02 | HenningThielemann |

blas-ffi | 22 | 0.0 | Auto-generated interface to Fortran BLAS | (bsd3, library, math) | 2018-04-02 | HenningThielemann |

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

boltzmann-brain | 12 | 0.0 | Boltzmann sampler compiler for combinatorial systems. | (bsd3, library, math, program) | 2018-08-06 | mbendkowski |

boolector | 94 | 0.0 | Haskell bindings for the Boolector SMT solver | (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers) | 2018-09-15 | DeianStefan |

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

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

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

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

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

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

calculator | 45 | 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 | (library, math, program) | 2008-11-05 | RickKaudewitz |

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

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

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

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

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

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

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

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

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

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

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

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

cl3 | 21 | 0.0 | Clifford Algebra of three dimensional space. | (algebra, bsd3, library, math) | 2018-08-17 | nwaivio |

cl3-hmatrix-interface | 9 | 0.0 | Interface to/from Cl3 and HMatrix. | (algebra, bsd3, library, math) | 2018-06-22 | nwaivio |

cl3-linear-interface | 11 | 0.0 | Interface to/from Cl3 and Linear. | (algebra, bsd3, library, math) | 2018-06-22 | nwaivio |

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

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

clifford | 19 | 0.0 | A Clifford algebra library | (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 | 17 | 0.0 | Calculate the clumpiness of leaf properties in a tree | (gpl, library, math) | 2016-02-09 | GregorySchwartz |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

cyclotomic | 29 | 0.0 | A subfield of the complex numbers for exact calculation. | (gpl, library, math) | 2018-05-27 | ScottWalck |

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

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

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

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

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

declarative | 47 | 0.0 | DIY Markov Chains. | (library, math, mit) | 2018-03-14 | JaredTobin |

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

deka | 24 | 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 | 16 | 0.0 | Typeset Derivation Trees via MetaPost | (graphics, library, math) | 2010-11-18 | JeanPhilippeBernardy |

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

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

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

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

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

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

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

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

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

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

distribution-plot | 7 | 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 | 77 | 2.0 | Haskell Digital Signal Processing | (library, math, sound) | 2018-08-31 | HenningThielemann |

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

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

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

ease | 12 | 0.0 | Robert Penner's easing equations | (bsd3, game, library, math) | 2018-06-07 | fresheyeball |

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

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

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

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

emd | 26 | 0.0 | Empirical Mode Decomposition and Hilbert-Huang Transform | (bsd3, library, math) | 2018-08-20 | jle |

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

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

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

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

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

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

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

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

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

exp-pairs | 37 | 0.0 | Linear programming over exponent pairs | (gpl, library, math) | 2018-03-12 | Bodigrim |

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

expressions | 58 | 1.5 | Expressions and Formulae a la carte | (bsd3, data, library, logic, math) | 2018-09-16 | jakubdaniel |

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

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

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

factory | 49 | 0.0 | Rational arithmetic in an irrational world. | (library, math, number-theory, program) | 2018-05-22 | AlistairWard, LennartAugustsson |

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

fadno-braids | 19 | 0.0 | Braid representations in Haskell | (algebra, bsd2, data, library, math) | 2018-03-18 | spopejoy |

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

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

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

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

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

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

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

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

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

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

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

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

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

fpnla | 11 | 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 | 12 | 0.0 | IEEE754r floating point conformance tests | (bsd3, math, program) | 2014-09-09 | jrp |

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

free-algebras | 23 | 0.0 | Free algebras in Haskell. | (algebra, control, library, math, monad, monads, mpl) | 2018-08-12 | coot |

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

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

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

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

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

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

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

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

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

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

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

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

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

gnuplot | 165 | 2.0 | 2D and 3D plots using gnuplot | (bsd3, graphics, library, math) | 2018-08-31 | HenningThielemann |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

haskell-igraph | 24 | 0.0 | Haskell interface of the igraph library. | (library, math, mit) | 2018-05-24 | kaizhang |

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

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

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

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

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

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

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

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

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

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

hmatrix | 254 | 2.5 | Numeric Linear Algebra | (bsd3, library, math) | 2018-04-22 | AlbertoRuiz, DominicSteinitz |

hmatrix-backprop | 44 | 0.0 | hmatrix operations lifted for backprop | (bsd3, library, math) | 2018-08-08 | jle |

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

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

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

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

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

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

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

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

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

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

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

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

hmatrix-sundials | 11 | 2.0 | hmatrix interface to sundials | (bsd3, library, math) | 2018-08-14 | DominicSteinitz |

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

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

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

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

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

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

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

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

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

hps-kmeans | 10 | 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 | 24 | 0.0 | Functors from products of Haskell and its dual to Haskell | (bsd3, library, math) | 2018-08-19 | MatthewFarkasDyck |

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

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

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

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

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

integer-logarithms | 353 | 0.0 | Integer logarithms. | (algorithms, library, math, mit, number-theory) | 2018-09-10 | phadej |

interpolation | 47 | 0.0 | piecewise linear and cubic Hermite interpolation | (bsd3, library, math) | 2018-08-31 | HenningThielemann |

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

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

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

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

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

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

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

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

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

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

kleene | 17 | 2.0 | Kleene algebra | (bsd3, library, math) | 2018-05-21 | phadej |

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

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

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

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

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

lapack-carray | 20 | 0.0 | Auto-generated interface to Fortran LAPACK via CArrays | (bsd3, library, math) | 2018-04-02 | HenningThielemann |

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

lapack-ffi-tools | 48 | 0.0 | Generator for Haskell interface to Fortran LAPACK | (bsd3, math, program) | 2018-08-31 | HenningThielemann |

lattices | 67 | 2.25 | Fine-grained library for constructing and manipulating lattices | (bsd3, library, math) | 2018-07-05 | MaxBolingbroke, phadej |

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

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

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

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

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

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

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

linear | 374 | 2.5 | Linear Algebra | (algebra, bsd3, library, math) | 2018-07-03 | AnthonyCowley, EdwardKmett, EricMertens, ryanglscott |

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

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

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

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

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

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

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

linearmap-category | 18 | 0.0 | Native, complete, matrix-free linear algebra. | (gpl, library, math) | 2018-07-01 | leftaroundabout |

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

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

long-double | 6 | 0.0 | FFI bindings for C long double | (bsd3, math) | 2018-03-09 | ClaudeHeilandAllen |

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

magma | 16 | 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 | 17 | 0.0 | Sampling random points on general manifolds. | (gpl, library, math) | 2018-07-02 | leftaroundabout |

manifolds | 43 | 0.0 | Coordinate-free hypersurfaces | (gpl, library, math) | 2018-07-02 | leftaroundabout |

manifolds-core | 17 | 0.0 | The basic classes for the manifolds hierarchy. | (gpl, library, math) | 2018-07-01 | leftaroundabout |

math-functions | 411 | 2.0 | Collection of tools for numeric computations | (bsd2, bsd3, library, math, numeric) | 2018-09-02 | AlexeyKhudyakov, BryanOSullivan |

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

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

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

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

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

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

matrix-static | 30 | 2.0 | Wrapper around matrix that adds matrix sizes to the type-level | (bsd3, library, math) | 2018-08-29 | wchresta |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

netlib-carray | 23 | 0.0 | Helper modules for CArray wrappers to BLAS and LAPACK | (bsd3, library, math) | 2018-04-02 | HenningThielemann |

netlib-ffi | 26 | 0.0 | Helper modules for FFI to BLAS and LAPACK | (bsd3, library, math) | 2018-04-02 | HenningThielemann |

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

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

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

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

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

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

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

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

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

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

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

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

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

numeric-prelude | 125 | 2.0 | An experimental alternative hierarchy of numeric type classes | (bsd3, library, math) | 2018-09-01 | HenningThielemann |

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

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

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

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

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

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

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

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

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

pareto | 8 | 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 | 13 | 0.0 | Package to solve the Generalized Pell Equation. | (algorithms, library, math, mit, number-theory) | 2016-12-28 | lbrunjes |

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

permutations | 5 | 0.0 | Permutations of finite sets | (bsd3, library, math) | 2018-05-14 | MatthewFarkasDyck |

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

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

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

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

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

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

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

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

probability | 151 | 0.0 | Probabilistic Functional Programming | (bsd3, graphics, library, math, monads) | 2018-09-01 | HenningThielemann |

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

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

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

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

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

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

quadratic-irrational | 72 | 0.0 | An implementation of quadratic irrationals | (algorithms, data, library, math, mit) | 2018-08-29 | ion, Bodigrim |

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

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

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

random-fu | 95 | 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 | 4 | 0.0 | Random variate generation from hypergeometric distributions | (library, math, mit) | 2015-03-30 | srijs |

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

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

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

rclient | 5 | 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 | 224 | 0.0 | Semigroups, specialized containers and a general map/reduce framework | (bsd3, data, library, math, numerical, semigroups) | 2018-07-03 | EdwardKmett, EricMertens, ryanglscott |

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

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

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

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

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

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

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

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

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

sampling | 26 | 0.0 | Sample values from collections. | (library, math, mit) | 2018-04-16 | JaredTobin |

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

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

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

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

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

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

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

semilattices | 13 | 0.0 | Semilattices | (algebra, bsd3, data, data-structures, library, math) | 2018-08-16 | robrix |

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

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

semirings | 18 | 0.0 | two monoids as one, in holy haskimony | (algebra, bsd3, data, data-structures, library, math, mathematics, maths) | 2018-07-30 | chessai |

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

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

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

sgd | 163 | 0.0 | Stochastic gradient descent | (algorithms, bsd3, library, math) | 2018-09-19 | JakubWaszczuk |

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

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

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

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

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

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

simple-vec3 | 35 | 0.0 | Three-dimensional vectors of doubles with basic operations | (bsd3, library, math, numerical) | 2018-07-21 | DmitryDzhus |

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

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

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

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

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

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

spatial-rotations | 7 | 0.0 | Rotate about any suitable axis | (gpl, library, math) | 2018-07-01 | leftaroundabout |

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

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

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

spherical | 100 | 2.0 | Geometry on a sphere | (bsd3, library, math) | 2018-09-09 | vmchale |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

vector-space | 352 | 2.5 | Vector & affine spaces, linear maps, and derivatives | (bsd3, math) | 2018-08-30 | ConalElliott |

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

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

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

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

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

word | 8 | 0.0 | Words of arbitrary size | (bsd3, data, library, math, numeric) | 2018-05-14 | MatthewFarkasDyck |

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

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

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

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

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