Packages tagged math

500 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
AC-Angle1040.0Angles in degrees and radians. (bsd3, data, library, math, numerical)2010-07-23AndrewCoppin
AC-Boolean1870.0Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-09AndrewCoppin
AC-Colour5190.0Efficient RGB colour types. (bsd3, data, graphics, library, math, numerical)2014-01-12AndrewCoppin
AC-HalfInteger1840.0Efficient half-integer type. (bsd3, data, library, math, numerical)2009-08-12AndrewCoppin
AC-Terminal1020.0Trivial wrapper over ansi-terminal. (bsd3, data, library, math, numerical)2010-10-28AndrewCoppin
AC-Vector8540.0Efficient geometric vectors and transformations. (bsd3, data, graphics, library, math, numerical)2011-08-12AndrewCoppin
AC-Vector-Fancy5140.0Fancy type-system stuff for AC-Vector (bsd3, data, graphics, library, math, numerical)2010-08-15AndrewCoppin
AERN-Basics (deprecated in favor of aern2-mp, aern2-real)1800.0foundational type classes for approximating exact real numbers (bsd3, data, deprecated, library, math, program)2011-05-11MichalKonecny
AERN-Net (deprecated in favor of aern2-mp, aern2-real)2650.0Compositional lazy dataflow networks for exact real number computation (bsd3, deprecated, distributed-computing, library, math)2009-07-29MichalKonecny
AERN-Real (deprecated in favor of aern2-mp, aern2-real)15920.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-11MichalKonecny
AERN-Real-Double (deprecated in favor of aern2-mp, aern2-real)2610.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math, program)2011-05-11MichalKonecny
AERN-Real-Interval (deprecated in favor of aern2-mp, aern2-real)1780.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-11MichalKonecny
AERN-RnToRm (deprecated)9260.0polynomial function enclosures (PFEs) approximating exact real functions (bsd3, data, deprecated, library, math)2009-07-29MichalKonecny
AERN-RnToRm-Plot (deprecated)5960.0GL plotting of polynomial function enclosures (PFEs) (bsd3, data, deprecated, library, math)2009-08-01MichalKonecny
ApproxFun-hs970.0Function approximation (bsd3, library, math)2015-04-26DominicSteinitz
Baggins1750.0Tools for self-assembly (gpl, library, math)2014-06-12pmeunier
BerlekampAlgorithm960.0Factorization of polynomials over finite field (bsd3, library, math)2013-06-10AbdelwahebMiled
Cartesian5030.0Coordinate systems (library, math, mit)2016-10-10SwiftsNamesake
ContextAlgebra3390.0Implementation of the context algebra. (bsd3, math, program)2016-08-24jhahn
DP1770.0Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-08SashaRush
Data-Angle920.0Geometric angles (bsd3, data, library, math)2017-03-26deadmanswitch
Decimal10690.0Decimal numbers with variable precision (bsd3, library, math)2014-09-28PaulJohnson
DifferenceLogic2550.0A theory solver for conjunctions of literals in difference logic (bsd3, library, math)2014-11-05dillonhuff
Dist4230.0A Haskell library for probability distributions (library, math, mit)2017-09-17wyager
DistanceTransform900.0Distance transform function. (bsd3, library, math)2013-02-16AnthonyCowley
Eq (deprecated)5850.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
EqualitySolver2520.0A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality (bsd3, library, math)2014-11-02dillonhuff
FirstOrderTheory1700.0Grammar and typeclass for first order theories (bsd3, library, math)2014-11-05dillonhuff
GaussQuadIntegration900.0Non-adaptive Gaussian quadrature for numeric integraton (bsd3, library, math)2011-09-15GrigorySarnitsky
GeomPredicates890.0Geometric predicates (bsd3, library, math)2010-06-27NealAlexander
GeomPredicates-SSE900.0Geometric predicates (Intel SSE) (bsd3, library, math)2010-06-27NealAlexander
HERA900.0 (bsd3, library, math)2008-12-05LukePalmer
HROOT18140.0Haskell binding to the ROOT data analysis framework (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-core2520.0Haskell binding to ROOT Core modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-graf2520.0Haskell binding to ROOT Graf modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-hist2520.0Haskell binding to ROOT Hist modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-io2560.0Haskell binding to ROOT IO modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-math2530.0Haskell binding to ROOT Math modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-tree900.0Haskell binding to ROOT Tree modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HaskellForMaths21630.0Combinatorics, group theory, commutative algebra, non-commutative algebra (bsd3, library, math)2015-04-19DavidAmos
HaskellLM2560.0Pure Haskell implementation of the Levenberg-Marquardt algorithm (gpl, library, math)2012-02-29KietLam
HerbiePlugin1690.0automatically improve your code's numeric stability (bsd3, library, math)2015-09-28MikeIzbicki
Homology1740.0Compute the homology of a chain complex (gpl, library, math)2012-06-24DamekDavis
HsASA1710.0A haskell interface to Lester Ingber's adaptive simulating annealing code (bsd3, library, math)2012-01-27DonaldStewart, MalcolmWallace
Kalman (deprecated in favor of kalman)1720.0A slightly extended Kalman filter (bsd3, deprecated, library, math)2015-04-05DominicSteinitz
LargeCardinalHierarchy1700.0A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-07Stephen_E_A_Britton
Lattices1850.0A library for lattices (gpl, library, math)2015-08-14BartCoppens
Logic900.0Logic (library, math, mit)2014-12-29gogotanaka
MeanShift920.0Mean shift algorithm (bsd3, library, math)2012-04-30VilleTirronen
Modulo2530.0Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-08NikolayMurzin
Monocle4230.0Symbolic computations in strict monoidal categories with LaTeX output. (bsd3, library, math)2009-12-17OsmanBineev
NTRU2540.0NTRU Cryptography (cryptography, gpl, library, math)2016-01-21mikewest
NearContextAlgebra2530.0Context Algebra of near (bsd3, math, program)2015-10-25jhahn
Noise5960.0A Haskell coherent noise generator based on libnoise (bsd3, graphics, library, math, noise)2013-02-25HugoGomes
NumberSieves2580.0Number Theoretic Sieves: primes, factorization, and Euler's Totient (bsd3, library, math)2012-08-21LeonSmith
NumberTheory1740.0A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-17cfredric
Operads5920.0Groebner basis computation for Operads. (bsd3, library, math)2009-08-14MikaelVejdemoJohansson
Ordinals1720.0Ordinal arithmetic (bsd3, library, math)2010-07-09KiYungAhn
Paillier2520.0a simple Paillier cryptosystem (bsd3, library, math)2013-12-11onemouth
ParserFunction (deprecated in favor of attoparsec)7440.0Parse and evaluate mathematical expressions. (bsd3, deprecated, library, math, parsing)2014-05-14EnzoHaussecker
ProxN880.0Proximity sets in N dimensions (bsd3, library, math)2012-01-28AndrasSlemmer
RANSAC2510.0The RANSAC algorithm for parameter estimation. (bsd3, library, math, numerical)2015-11-19AnthonyCowley
SG900.0Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2009-03-17NeilBrown
SGplus910.0(updated) Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2016-09-01donomii
Smooth870.0A tiny, lazy SMT solver (bsd3, library, math)2014-11-05dillonhuff
TeX-my-math2510.0Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math)2017-11-02leftaroundabout
Vec10530.0Fixed-length lists and low-dimensional linear algebra. (bsd3, data, library, math)2014-08-06ScottDillard
Vec-Boolean5740.0Provides Boolean instances for the Vec package (bsd3, data, library, math)2012-08-05TobiasBexelius
Vec-OpenGLRaw1720.0Instances and functions to interoperate Vec and OpenGL. (bsd3, graphics, library, math)2010-06-28ChristopherLaneHinson
Vec-Transform6530.0This package is obsolete (bsd3, graphics, library, math)2012-08-05TobiasBexelius
WeberLogic2490.0Logic interpreter (bsd3, library, math, program)2014-03-17cameronbwhite
Xorshift128Plus1700.0Pure haskell implementation of xorshift128plus random number generator. (library, math, public-domain)2015-04-14hkanai
ZEBEDDE (deprecated)6230.0Polymer growth simulation method (bsd3, deprecated, library, math)2015-07-29hackrilege
accelerate-arithmetic3510.0Linear algebra and interpolation using the Accelerate framework (bsd3, library, math)2017-11-28HenningThielemann
accelerate-blas5080.0Numeric Linear Algebra in Accelerate (bsd3, library, math)2017-09-25TrevorMcDonell
accelerate-cublas1770.0Basic Linear Algebra using native CUBLAS library (benchmark, bsd3, library, math, program)2017-04-23HenningThielemann
accelerate-cufft3450.0Accelerate frontend to the CUFFT library (Fourier transform) (bsd3, library, math)2017-12-15HenningThielemann
accelerate-fftw1900.0Accelerate frontend to the FFTW library (Fourier transform) (bsd3, library, math)2017-11-28HenningThielemann
accelerate-fourier3900.0Fast Fourier transform and convolution using the Accelerate framework (bsd3, library, math)2017-11-29HenningThielemann
accelerate-fourier-benchmark1750.0Compare different implementations of the Fast Fourier Transform (bsd3, math, program)2017-04-23HenningThielemann
accelerate-typelits2502.0a typesafe way encode accelerate matrices and vectors (library, math)2016-05-17epsilonhalbe
ad79042.5Automatic Differentiation (benchmark, bsd3, library, math)2017-07-29EdwardKmett, EricMertens, ryanglscott
aern2-mp4330.0Multi-precision floats via MPFR (bsd3, library, math)2017-11-14MichalKonecny
aern2-real4480.0Exact real numbers via Cauchy sequences and MPFR (bsd3, library, math, program)2017-12-06MichalKonecny
alg3450.0Algebraic structures (bsd3, library, math)2017-11-02MatthewFarkasDyck
algebra32580.0Constructive abstract algebra (algebra, bsd3, library, math)2017-12-25EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic2600.0General linear algebra structures. (algebra, bsd3, library, math)2014-06-17danilo2, Korri, MarcinMikolajczyk
algebraic-classes12470.0Conversions between algebraic classes and F-algebras. (bsd3, data, generics, library, math)2017-07-24SjoerdVisscher
antimirov930.0Define the language containment (=subtyping) relation on regulare expressions. (gpl, language, library, math, program)2009-01-30RickKaudewitz
apportionment2591.25Round a set of numbers while maintaining its sum (bsd3, library, math)2015-08-19HenningThielemann
arb-fft4220.0Pure Haskell arbitrary length FFT library (bsd3, library, math, program)2016-04-24IanRoss
arithmatic3380.0do things with numbers (bsd3, library, math)2017-01-26AlanHawkins
arithmoi30951.25Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2017-12-19CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
bayes-stack920.0Framework for inferring generative probabilistic models with Gibbs sampling (bsd3, library, math)2012-10-27BenGamari
bed-and-breakfast23250.0Efficient Matrix operations in 100% Haskell. (library, linear-algebra, math, mit, numeric)2014-01-17JulianFleischer
besout2560.0Extended GCD of polynomials over F_p[x] (bsd3, library, math)2014-06-21AbdelwahebMiled
bindings-mpdecimal (deprecated in favor of deka)3340.0bindings to mpdecimal library (bsd3, deprecated, library, math)2014-01-20OmariNorman
bindings-saga-cmd2520.0Wrapping saga_cmd (gpl, library, math, program)2015-06-16michelk
blas (deprecated in favor of hblas)7500.0Bindings to the BLAS library (bsd3, deprecated, library, math)2009-01-14CarterSchonwald
blas-carray1010.0Auto-generated interface to Fortran BLAS via CArrays (bsd3, library, math)2017-12-16HenningThielemann
blas-ffi1010.0Auto-generated interface to Fortran BLAS (bsd3, library, math)2017-12-16HenningThielemann
blas-hs1780.0Low-level Haskell bindings to Blas. (library, math, mit)2014-12-27Rufflewind
boolsimplifier8130.0Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-15GershomBazerman
braid910.0Types and functions to work with braids and Khovanov homology. (bsd3, library, math, program)2016-01-18saltza
buffon890.0An implementation of Buffon machines. (bsd2, library, math)2015-11-21DerekElkins
burst-detection910.0Burst detection algorithms (benchmark, gpl, library, math)2013-11-08AlexanderVershilov
caffegraph2512.0 (bsd3, library, math)2015-02-17ajtulloch
calculator24342.0A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-10sumitsahrawat
caldims940.0Calculation tool and library supporting units (gpl, library, math, program)2008-11-05RickKaudewitz
calendar-recycling930.0List years with the same calendars (bsd3, math, program)2016-06-25HenningThielemann
casadi-bindings37360.0mid-level bindings to CasADi (lgpl, library, math, numerical)2017-02-07GregHorn
casadi-bindings-control (deprecated in favor of casadi-bindings-core)900.0low level bindings to casadi-control (deprecated, lgpl, library, math, numerical)2014-08-21GregHorn
casadi-bindings-core13860.0autogenerated low level bindings to casadi (lgpl, library, math, numerical)2016-11-16GregHorn
casadi-bindings-internal6560.0low level bindings to CasADi (lgpl, library, math, numerical)2016-11-16GregHorn
casadi-bindings-ipopt-interface (deprecated in favor of casadi-bindings-core)2510.0low level bindings to casadi-ipopt_interface (deprecated, lgpl, library, math, numerical)2014-05-27GregHorn
casadi-bindings-snopt-interface (deprecated in favor of casadi-bindings-core)1700.0low level bindings to casadi-snopt_interface (deprecated, lgpl, library, math, numerical)2014-05-27GregHorn
cash1740.0the Computer Algebra SHell (bsd3, computer-algebra, library, math)2012-03-26ChrisBrown
casui890.0Equation Manipulator (math, mit, program)2011-06-04EtienneLaurin
category6480.0Categorical types and classes (bsd3, control, library, math)2017-12-13MatthewFarkasDyck
category-traced1700.0Traced monoidal categories (bsd3, library, math)2016-02-24MatthewFarkasDyck
cayley-dickson7410.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cf6582.0Exact real arithmetic using continued fractions (library, math, mit)2015-09-03mvr
clac4120.0Simple CLI RPN calculator (gpl, math, program)2015-03-18alexander
clif910.0A Clifford algebra number type for Haskell (algebra, benchmark, library, math, mit)2017-01-23maaleske
clifford11430.0A Clifford algebra library (benchmark, bsd3, library, math, numerical, program)2014-03-29spacekitteh
closure880.0Depth- and breadth-first set closures (library, math, mit)2013-10-21JosephAbrahamson
clumpiness910.0Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2016-02-09GregorySchwartz
clustering5842.0High performance clustering algorithms (benchmark, library, math, mit)2016-11-11kaizhang
cmath2570.0A binding to the standard C math library (bsd3, library, math)2008-03-15DonaldStewart
coincident-root-loci910.0Equivariant CSM classes of coincident root loci (bsd3, library, math)2017-04-12BalazsKomuves
combinat14940.0Generate and manipulate various combinatorial objects. (bsd3, library, math)2016-10-13BalazsKomuves
combinat-diagrams1690.0Graphical representations for various combinatorial objects (bsd3, library, math)2015-10-30BalazsKomuves
combinatorial1040.0Count, enumerate, rank and unrank combinatorial objects (bsd3, library, math, statistics)2017-12-16HenningThielemann
combinatorics (deprecated in favor of exact-combinatorics)960.0Efficient computation of common combinatoric functions. (bsd3, deprecated, library, math, statistics)2012-01-29WrenThornton
commutative4180.0Commutative binary operations. (data, library, math, mit)2015-09-06athanclark
complex-generic3310.0complex numbers with non-mandatory RealFloat (bsd3, library, math)2017-04-03ClaudeHeilandAllen
complex-integrate1730.0A simple integration function to integrate a complex-valued complex functions (library, math, public-domain)2012-01-21MarkSafronov
computational-algebra16452.0Well-kinded computational algebra library, currently supporting Groebner basis. (bsd3, library, math)2017-12-07HiromiIshii
computational-geometry3370.0Collection of algorithms in Computational Geometry. (bsd3, graphics, library, math)2017-10-13MaksymilianOwsianny
conjugateGradient6560.0Sparse matrix linear-equation solver (bsd3, library, math)2013-04-20LeventErkok
constructible1700.0Exact computation with constructible real numbers (bsd3, library, math)2013-07-11AndersKaseorg
constructive-algebra8300.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
continued-fraction3142.0Types and functions for working with continued fractions in Haskell (bsd3, library, math)2017-11-19vmchale
continued-fractions5780.0Continued fractions. (library, math, numerical, public-domain)2012-01-03JamesCook
converge1790.0Limit operations for converging sequences (library, math, numerical, public-domain)2011-08-15JamesCook
cplex-hs4952.0high-level CPLEX interface (bsd3, library, math)2016-11-05stefanjhlk
crf-chain13740.0First-order, linear-chain conditional random fields (bsd3, library, math)2014-06-19JakubWaszczuk
crf-chain1-constrained6600.0First-order, constrained, linear-chain conditional random fields (bsd3, library, math)2015-02-23JakubWaszczuk
crf-chain2-generic2530.0Second-order, generic, constrained, linear conditional random fields (bsd3, library, math)2013-01-09JakubWaszczuk
cubicspline4932.0Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-18GershomBazerman
curve255193330.0Fast implementations of the curve25519 elliptic curve primitives. (bsd3, library, math)2017-03-02AdamWick
cyclotomic9150.0A subfield of the complex numbers for exact calculation. (gpl, library, math)2017-12-13ScottWalck
data-category17340.0Category theory (bsd3, library, math)2017-09-18SjoerdVisscher
data-interval9880.0Interval datatype, interval arithmetic and interval-based containers (bsd3, data, library, math)2017-09-02MasahiroSakai
data-nat2560.0data Nat = Zero | Succ Nat (bsd3, data, library, math)2012-09-23GaborLehel
decimal-literals1690.0Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2017-07-24leftaroundabout
declarative8210.0DIY Markov Chains. (library, math, mit)2016-12-21JaredTobin
deeplearning-hs3670.0Deep Learning in Haskell (library, math, mit, program)2014-05-05ajtulloch
deka5780.0Decimal floating point arithmetic (bsd3, library, math)2014-07-16OmariNorman
deka-tests880.0Tests for deka, decimal floating point arithmetic (bsd3, library, math, program)2014-07-16OmariNorman
derivation-trees2530.0Typeset Derivation Trees via MetaPost (gpl, graphics, library, math)2010-11-18JeanPhilippeBernardy
dfrac3340.0A package for precise decimal arithmatic using rationals. (library, math, mit)2014-08-15georgerogers42
diagrams-solve5370.0Pure Haskell solver routines used by diagrams (bsd3, library, math)2017-07-03BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
digamma (deprecated in favor of math-functions)1710.0A (deprecated) implementation of the digamma function (bsd3, deprecated, library, math)2016-04-13BenGamari
dimensional21542.5Statically checked physical dimensions, using Type Families and Data Kinds. (benchmark, bsd3, library, math, physics)2016-09-15BjornBuckwalter, dmcclean
dimensional-tf (deprecated in favor of dimensional)9080.0Statically checked physical dimensions, implemented using type families. (bsd3, deprecated, library, math, physics)2016-12-07BjornBuckwalter
dimensions3370.0Safe type-level dimensionality for multidimensional data. (bsd3, geometry, library, math)2017-11-02achirkin
diophantine2510.0A quadratic diophantine equation solving library. (gpl, library, math)2014-11-24joejev
directed-cubical3310.0Finite directed cubical complexes and associated algorithms (bsd3, library, math)2014-06-08mmisamore
distribution3402.0Finite discrete probability distributions. (apache, library, math)2017-06-29RomainEdelmann
distribution-plot880.0Easily plot distributions from the distribution package.. (apache, library, math)2014-08-04RomainEdelmann
dozenal910.0A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-11siddhanathan
dsp6072.0Haskell Digital Signal Processing (gpl, library, math, sound)2017-12-15HenningThielemann
dual930.0Dual category (bsd3, library, math)2017-11-23MatthewFarkasDyck
dumb-cas4290.0A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)2017-12-12leftaroundabout
dvda (deprecated in favor of dynobud)9100.0Efficient automatic differentiation and code generation (bsd3, deprecated, library, math, numerical)2014-04-05GregHorn
dyckword4090.0A library for working with binary Dyck words. (bsd3, library, math)2017-05-01arbelos
ease890.0Robert Penner's easing equations (bsd3, game, library, math)2017-07-10fresheyeball
easyplot1010.0A tiny plotting library, utilizes gnuplot for plotting. (graphics, library, math, mit, plotting)2013-03-26JulianFleischer
easytensor4990.0Pure, type-indexed haskell vector, matrix, and tensor library. (bsd3, geometry, library, math)2017-11-03achirkin
eigen21201.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2017-11-07OlegSidorkin
equational-reasoning14961.5Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2017-09-19HiromiIshii
erf15500.0The error function, erf, and related functions. (bsd3, library, math)2011-05-26LennartAugustsson
erf-native1710.0Native Haskell implementation of the interface from the erf package (gpl, library, math)2012-01-03JamesCook
estimator4090.0State-space estimation algorithms such as Kalman Filters (bsd3, library, math, numerical, statistics)2016-07-19AdamFoltzer, JameySharp
euler8870.0Mathematics utilities for Haskell (benchmark, library, math, mit)2015-04-16decomputed
exact-combinatorics3390.0Efficient exact computation of combinatoric functions. (bsd3, library, math, statistics)2015-05-30WrenThornton
exact-cover880.0Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-22arthur
exact-real13672.0Exact real arithmetic (benchmark, library, math, mit)2017-01-16jophish
exact-real-positional860.0Framework for Exact Real Arithmetic in the Positional Number System (bsd3, library, math)2017-07-20grlks
exp-pairs7300.0Linear programming over exponent pairs (gpl, library, math)2016-09-28Bodigrim
explicit-determinant880.0explicit computation of determinant of small matrices (gpl, library, math)2014-07-03JohannesWaldmann
expressions3331.5Expressions and Formulae a la carte (bsd3, data, library, logic, math)2017-10-25jakubdaniel
expressions-z31720.0Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2017-10-25jakubdaniel
extended-categories1660.0Extended Categories (bsd3, library, math)2014-11-23ian_mi
extended-reals4890.0Extension of real numbers with positive/negative infinities (bsd3, library, math)2016-05-23MasahiroSakai
factory12820.0Rational arithmetic in an irrational world. (gpl, library, math, number-theory, program)2017-09-04AlistairWard, LennartAugustsson
fad1710.0Forward Automatic Differentiation. (bsd3, library, math)2012-12-22BjornBuckwalter
fadno-braids3280.0Braid representations in Haskell (algebra, bsd2, data, library, math)2017-09-23spopejoy
fast-arithmetic13162.0Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2018-01-04
fast-math5380.0Non IEEE-754 compliant compile-time floating-point optimisations (bsd3, library, math, numeric)2015-08-01LiyangHu, MikeIzbicki
fft15650.0Bindings to the FFTW library. (bsd3, library, math)2017-06-16HenningThielemann, JedBrown
fftwRaw1750.0Low level bindings to FFTW. (bsd3, library, math)2016-07-31adamwalker
find-clumpiness5670.0Find the clumpiness of labels in a tree (gpl, library, math, program)2017-10-02GregorySchwartz
finite-field4940.0Finite Fields (algebra, bsd3, data, library, math)2016-10-02MasahiroSakai
fixed-point (deprecated)6570.0Binary fixed-point arithmetic (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector (deprecated)1690.0Unbox instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector-space (deprecated)1710.0vector-space instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-precision3330.0Fixed Precision Arithmetic (bsd3, library, math)2010-06-15EdwardKmett
fixedprec5120.0A fixed-precision real number type (bsd3, data, library, math)2014-10-08PeterSelinger
fizz-buzz3270.0Functional Fizz/Buzz (bsd3, library, math)2017-01-26AlanHawkins
flat-mcmc8940.0Painless general-purpose sampling. (library, math, mit)2016-12-19JaredTobin
foldl-statistics10102.0Statistical functions from the statistics package implemented as Folds. (bsd3, library, math, statistics)2017-06-15AlexMason
fpnla1700.0A library for NLA operations (bsd3, library, math)2014-02-04mblanco
fpnla-examples1670.0Example implementations for FPNLA library (bsd3, library, math, parallelism)2014-02-04mblanco
fptest1700.0IEEE754r floating point conformance tests (bsd3, math, program)2014-09-09jrp
fractals880.0A collection of useful fractal curve encoders (bsd3, library, math)2015-08-10sdekker
free-functors20250.0Free functors, adjoint to functors that forget class constraints. (bsd3, data, library, math)2017-09-23SjoerdVisscher
free-vector-spaces3330.0Instantiate the classes from the vector-space package with types from linear (bsd3, library, math)2017-10-30leftaroundabout
function-instances-algebra870.0Instances of the Algebra.* classes for functions (bsd3, library, math)2012-03-25TobiasBrandt
functor1720.0Functors (bsd3, control, library, math)2017-11-16MatthewFarkasDyck
game-probability1690.0Simple probability library for dice rolls, card games and similar (bsd3, library, math)2010-09-08NeilBrown
gamma3380.0Gamma function and related functions. (library, math, numerical, public-domain)2012-01-03JamesCook
garepinoh2460.0reverse prefix notation calculator and calculation library (console, library, math, program, public-domain, tools)2014-01-21MekeorMelire
geocalc870.0Libary for calculating distances between two coordinates in WSG84 (bsd3, library, math)2011-07-01GeroKriependorf
geom2d4880.0package for geometry in euklidean 2d space (gpl, library, math)2015-11-01seppeljordan
ghc-typelits-presburger8650.0Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2017-11-30HiromiIshii
glasso1660.0Graphical Lasso algorithm (bsd3, library, math)2015-04-15kaizhang
glicko2480.0Glicko-2 implementation in Haskell. (gpl, library, math)2017-04-25rprecenth
glpk-hs13950.0Comprehensive GLPK linear programming bindings (bsd3, library, math)2016-10-04JeanPhilippeBernardy, LouisWasserman
gnuplot21142.02D and 3D plots using gnuplot (bsd3, graphics, library, math)2017-07-28HenningThielemann
goal-core890.0Core imports for Geometric Optimization Libraries. (bsd3, library, math, program)2015-12-22alex404
goal-geometry880.0Scientific computing on geometric objects (bsd3, library, math, program)2015-12-22alex404
goal-probability900.0Manifolds of probability distributions (bsd3, library, math, program)2015-12-22alex404
goal-simulation910.0Mealy based simulation tools (bsd3, library, math, program)2015-12-22alex404
gray-extended4860.0Gray encoding schemes (bsd3, library, math)2016-11-04AmyDeBuitleir
grid31582.0Tools for working with regular grids (graphs, lattices). (bsd3, library, math)2017-08-15AmyDeBuitleir
groups11460.0Haskell 98 groups (algebra, bsd3, data, library, math)2017-11-22NathanVanDoorn
gsl-random15470.0Bindings the the GSL random number generation facilities. (bsd3, library, math)2017-09-15PatrickPerry
gsl-random-fu870.0Instances for using gsl-random with random-fu (library, math, public-domain)2009-05-20JamesCook
gutenberg-fibonaccis5760.0The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-09JustinHanekom
hR1690.0R bindings and interface (bsd3, foreign, library, math)2012-03-05DylanSimon
hTensor8990.0Multidimensional arrays and simple tensor computations. (bsd3, library, math)2016-11-02AlbertoRuiz
haar890.0Haar wavelet transforms (bsd3, library, math)2014-09-22AmyDeBuitleir
hahp3360.0Analytic Hierarchy Process (agpl, library, math, program)2016-02-22taeradan, jpierre03
hascal7400.0tiny calculator library and command-line program (console, gpl, library, math, parsing, program, tools, utility, utils)2017-02-27DagOdenhall, MekeorMelire
haskell-eigen-util3310.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-18dilawars
haskell-igraph4080.0Imcomplete igraph bindings (library, math, mit)2017-03-31kaizhang
haskell-mpfr882.0Correctly-rounded arbitrary-precision floating-point arithmetic (lgpl, library, math, numeric)2016-02-01ilist
hbayes9170.0Bayesian Networks (bsd3, library, math)2016-05-13alpheccar
hblas8502.0Human friendly BLAS and Lapack bindings for Haskell. (bsd3, library, math)2017-04-26CarterSchonwald
hcg-minus4240.0haskell cg (minus) (bsd3, library, math)2017-11-22RohanDrape
hcg-minus-cairo (deprecated)3320.0haskell cg (minus) (cairo rendering) (bsd3, deprecated, library, math)2017-11-22RohanDrape
hdr-histogram840.0Haskell implementation of High Dynamic Range (HDR) Histograms (benchmark, gpl, library, math, statistics)2016-01-03joshbohde
hgeometric3300.0A geometric library with bindings to GPC. (library, math, mit)2009-06-25DonaldStewart, GwernBranwen, MarcoSilva
hieraclus4930.0Automated clustering of arbitrary elements in Haskell. (bsd3, clustering, library, math, statistics)2011-09-29PhilippPribbernow
hirt1730.0Calculates IRT 2PL and 3PL models (bsd3, math, program)2012-05-14IvanLabath
hlbfgsb900.0Haskell binding to L-BFGS-B version 3.0 (bsd3, library, math)2012-05-04IvanLabath
hmatrix68582.5Numeric Linear Algebra (bsd3, library, math)2017-08-13AlbertoRuiz
hmatrix-banded2430.0HMatrix interface to LAPACK functions for banded matrices (bsd3, library, math)2016-04-25HenningThielemann
hmatrix-glpk9700.0Linear Programming based on GLPK (gpl, library, math)2016-11-02AlbertoRuiz
hmatrix-gsl4990.0Numerical computation (gpl, library, math)2016-11-02AlbertoRuiz
hmatrix-gsl-stats29290.0GSL Statistics interface (bsd3, ffi, library, math, statistics)2017-09-19VivianMcPhail
hmatrix-mmap3290.0Memory map Vector from disk into memory efficiently (bsd3, library, math, system)2011-02-22AlanFalloon
hmatrix-morpheus4082.0Low-level machine learning auxiliary functions. (benchmark, bsd3, library, math)2017-08-27aignatyev17
hmatrix-nipals1690.0NIPALS method for Principal Components Analysis on large data-sets. (lgpl, library, math)2011-02-22AlanFalloon
hmatrix-quadprogpp4950.0Bindings to the QuadProg++ quadratic programming library (bsd3, library, math)2017-12-15AkioTakano
hmatrix-repa5010.0Adaptors for interoperability between hmatrix and repa (bsd3, data, library, math)2016-09-22VivianMcPhail
hmatrix-special5830.0Interface to GSL special functions (gpl, library, math)2016-11-02AlbertoRuiz
hmatrix-static4180.0hmatrix with vector and matrix sizes encoded in types (gpl, library, math)2010-09-12ReinerPope
hmatrix-svdlibc6450.0SVDLIBC bindings for HMatrix (benchmark, bsd3, library, math)2017-03-13BenGamari
hmatrix-syntax3310.0MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-31ReinerPope
hmatrix-tests5760.0Tests for hmatrix (benchmark, bsd3, library, math)2016-11-02AlbertoRuiz
hmm-hmatrix2980.0Hidden Markov Models using HMatrix primitives (bsd3, library, math)2015-07-13HenningThielemann
hmpfr18252.0Haskell binding to the MPFR library (bsd3, data, library, math)2017-08-07AlesBizjak, MichalKonecny
homeomorphic850.0Homeomorphic Embedding Test (bsd3, library, math)2008-04-03NeilMitchell
hopfield-networks852.0Hopfield Networks for unsupervised learning in Haskell (library, math, mit, program)2013-11-20ajtulloch
hops10900.0Handy Operations on Power Series (bsd3, library, math, program)2017-07-03AndersClaesson
hps-kmeans870.0A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-10RodrigoGadea
hs-functors1760.0Functors from products of Haskell and its dual to Haskell (bsd3, library, math)2017-11-28MatthewFarkasDyck
hsignal28440.0Signal processing and EEG data analysis (bsd3, library, math)2016-11-14VivianMcPhail
hsilop3270.0RPN calculator (math, mit, program)2015-09-19rnhmjoj
hstatistics27690.0Statistics (bsd3, library, math, statistics)2017-02-06VivianMcPhail
ieee (deprecated in favor of ieee754)6630.0Utilities for dealing with IEEE floating point numbers (bsd3, deprecated, library, math)2010-09-20PatrickPerry
ieee75428012.0Utilities for dealing with IEEE floating point numbers (bsd3, library, math)2017-01-30PatrickPerry
integer-logarithms120640.0Integer logarithms. (algorithms, library, math, mit, number-theory)2017-07-07phadej
interpolation3320.0piecewise linear and cubic Hermite interpolation (bsd3, library, math)2017-11-13HenningThielemann
intervals36612.0Interval Arithmetic (bsd3, library, math)2017-07-28EdwardKmett, EricMertens, ryanglscott
ipopt-hs6480.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
ireal5631.5Real numbers and intervals with relatively efficient exact arithmetic. (bsd3, data, library, math)2015-10-31sydow
irt1720.0Item Response Theory functions for use in computerized adaptive testing (bsd3, library, math)2017-08-03ElliotRobinson
iter-stats3250.0iteratees for statistical processing (bsd3, library, math)2015-01-05JohnLato
jacobi-roots4080.0Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision (bsd3, library, math)2014-05-27GregHorn
jalaali1650.0Convert Jalaali and Gregorian calendar systems to each other (benchmark, library, math, mit)2014-08-04behrang
jalla3310.0Higher level functions for linear algebra. Wraps BLAS and LAPACKE. (gpl, library, math)2015-06-26ChristianGosch
kalman2440.0Kalman and particle filters and smoothers (library, math, mit)2016-12-14DominicSteinitz
kmeans-vector4910.0An implementation of the kmeans clustering algorithm based on the vector package (benchmark, bsd3, library, math, program)2015-07-30AlpMestanogullari
knead-arithmetic1660.0Linear algebra and interpolation using LLVM JIT (bsd3, library, math)2016-10-09HenningThielemann
knots1660.0Khovanov homology computations (library, math, mit, program)2015-04-09maltem
ks-test870.0Kolmogorov distribution and Kolmogorov-Smirnov test. (library, math, numerical, public-domain)2010-09-10JamesCook
l-bfgs-b1650.0Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization (bsd3, library, math)2014-07-03GardSpreemann
lagrangian8880.0Solve Lagrange multiplier problems (bsd3, library, math)2014-10-09JonathanFischoff, pash
lapack-carray960.0Auto-generated interface to Fortran LAPACK via CArrays (bsd3, library, math)2017-12-16HenningThielemann
lapack-ffi940.0Auto-generated interface to Fortran LAPACK (bsd3, library, math)2017-12-16HenningThielemann
lapack-ffi-tools2070.0Generator for Haskell interface to Fortran LAPACK (bsd3, math, program)2017-12-18HenningThielemann
lattices13862.0Fine-grained library for constructing and manipulating lattices (bsd3, library, math)2017-10-01MaxBolingbroke, phadej
lazysplines1702.0Differential solving with lazy splines (bsd3, library, math)2015-03-22GershomBazerman
levmar14050.0An implementation of the Levenberg-Marquardt algorithm (bsd3, library, math, numerical)2017-05-29BasVanDijk, RoelVanDijk
lfst2460.0L-Fuzzy Set Theory implementation in Haskell (gpl, library, math)2016-03-12claudiogreco
libroman11322.0Use Roman Numerals as a Numeric Datatype (sort of) (bsd3, data, library, math, numerical)2016-10-10ahakki
lin-alg3280.0Low-dimensional matrices and vectors for graphics and physics (bsd3, library, math)2016-11-05JasonDagit
linda2530.0LINear Discriminant Analysis (bsd3, library, math, statistics)2011-09-24LennartSchmitt
linear139352.5Linear Algebra (algebra, bsd3, library, math)2017-07-28AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate6660.0Lifting linear vector spaces into Accelerate (algebra, bsd3, compilers-interpreters, concurrency, data, library, math, parallelism)2017-09-29EdwardKmett, TrevorMcDonell, ryanglscott
linear-algebra-cblas840.0A linear algebra library with bindings to BLAS and LAPACK (bsd3, library, math, program)2013-04-18CarterSchonwald
linear-circuit860.0Compute resistance of linear electrical circuits (bsd3, library, math)2015-08-26HenningThielemann
linear-grammar12920.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-13athanclark
linear-vect1660.0A low-dimensional linear algebra library, operating on the Num typeclass (bsd3, library, math)2014-10-05capsjac
linearEqSolver4190.0Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2017-10-26LeventErkok
linearmap-category7270.0Native, complete, matrix-free linear algebra. (gpl, library, math)2017-10-30leftaroundabout
logfloat30270.0Log-domain floating point numbers (bsd3, data, library, math, natural-language-processing, statistics)2015-10-02WrenThornton
logic-TPTP13100.0Import, export etc. for TPTP, a syntax for first-order logic (codec, gpl, library, math, theorem-provers)2017-09-02DanielSchuessler, KiYungAhn
magico3240.0Compute solutions for Magico puzzle (bsd3, math, program)2015-08-19HenningThielemann
magma5720.0magma is an algebraic structure consisting a set together with an binary operation. (algebra, bsd3, data, data-structures, library, math)2015-09-08KatsutoshiItoh
manifold-random4150.0Sampling random points on general manifolds. (gpl, library, math)2017-10-30leftaroundabout
manifolds35920.0Coordinate-free hypersurfaces (gpl, library, math)2017-10-30leftaroundabout
manifolds-core2560.0The basic classes for the manifolds hierarchy. (gpl, library, math)2017-10-29leftaroundabout
math-functions35040.0Special functions and Chebyshev polynomials (bsd3, library, math, numeric)2016-12-01AlexeyKhudyakov, BryanOSullivan
mathexpr3310.0Parse and evaluate math expressions with variables and functions (gpl, library, math)2016-11-04mdibaiee
mathflow840.0Dependently typed tensorflow modeler (bsd3, library, math)2017-08-08junjihashimoto
matlab1660.0Matlab bindings and interface (bsd3, foreign, library, math)2015-01-22DylanSimon, bmsherman
matrix28370.0A native implementation of matrix operations. (benchmark, bsd3, library, math)2016-05-27DanielDiaz
matrix-market2490.0Read and write NIST Matrix Market files (bsd3, library, math, system)2008-04-04PatrickPerry
matrix-market-pure1660.0Pure and composable reader and writer of the Matrix Market format. (bsd3, library, math)2011-02-21SergeyAstanin
maxent9710.0Compute Maximum Entropy Distributions (bsd3, library, math)2014-10-09JonathanFischoff, pash
mcl2430.0Bindings to mcl, a generic and fast pairing-based cryptography library (benchmark, bsd3, crypto, library, math)2017-05-09arybczak
mcmc-samplers2460.0Combinators for MCMC sampling (bsd3, library, machine-learning, math, numeric, statistics)2014-11-10pravnar, z
mcmc-types4480.0Common types for sampling. (library, math, mit, numeric)2016-12-04JaredTobin
mdp1660.0Tools for solving Markov Decision Processes. (algorithms, library, math, mit, program)2016-11-29prsteele
mersenne-random5080.0Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister (bsd3, library, math, system)2011-06-18DonaldStewart
mersenne-random-pure6411940.0Generate high quality pseudorandom numbers purely using a Mersenne Twister (bsd3, library, math, system)2016-08-29BenGamari, DonaldStewart
mfsolve5362.0Equation solver and calculator à la metafont (bsd3, library, math)2016-01-11KristofBastiaensen
miniball2450.0Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-04GardSpreemann
mixed-strategies860.0Find optimal mixed strategies for two-player games (library, math, mit, program)2012-12-14BartonMassey
mixed-types-num9240.0Alternative Prelude with numeric and logic expressions typed bottom-up (bsd3, library, math)2017-12-06MichalKonecny
mltool2482.0Machine Learning Toolbox (bsd3, library, math)2017-06-29aignatyev, aignatyev17
modular-arithmetic7392.0A type for integers modulo some constant. (bsd3, library, math)2017-01-07TikhonJelvis
monad-lrs3280.0a monad to calculate linear recursive sequence (bsd3, library, math)2012-03-04BinJin
monoidplus1720.0Extra classes/functions about monoids (data, library, math, public-domain)2011-11-12AaronBlack
monoids (deprecated in favor of reducers)18780.0Deprecated: Use 'reducers' (bsd3, data, deprecated, library, math, numerical)2012-02-09DanielWagner, EdwardKmett
monte-carlo9010.0A monad and transformer for Monte Carlo calculations. (bsd3, library, math)2017-09-15PatrickPerry
ms4040.0metric spaces (bsd2, library, math)2015-07-21RickyElrod
multiset-comb6520.0Combinatorial algorithms over multisets (bsd3, library, math)2016-05-09BrentYorgey
mwc-probability10380.0Sampling function-based probability distributions. (library, math, mit)2016-12-04JaredTobin
mwc-random61042.0Fast, high quality pseudo random number generation (bsd3, library, math, statistics)2017-04-27AlexeyKhudyakov, BryanOSullivan
mwc-random-monad9032.0Monadic interface for mwc-random (bsd3, library, math, statistics)2015-05-20AlexeyKhudyakov
nat4870.0Lazy binary natural numbers (bsd3, data, library, math)2012-08-13JanChristiansen
natural-induction3420.0Induction over natural numbers (bsd3, library, math)2017-12-14MatthewFarkasDyck
natural-numbers9970.0Natural numbers (bsd3, data, library, math)2012-07-13WolfgangJeltsch
netlib-carray1000.0Helper modules for CArray wrappers to BLAS and LAPACK (bsd3, library, math)2017-12-16HenningThielemann
netlib-ffi990.0Helper modules for FFI to BLAS and LAPACK (bsd3, library, math)2017-12-16HenningThielemann
network-topic-models850.0A few network topic model implementations for bayes-stack (bsd3, math, program)2012-10-27BenGamari
nimber3310.0Finite nimber arithmetic (bsd3, library, math)2014-01-02AndersKaseorg, PatrickHurst
noether860.0Math in Haskell. (benchmark, library, math, mit, program)2017-06-25mrkgnao
non-negative9280.0Non-negative numbers (gpl, library, math)2017-07-31HenningThielemann
nonlinear-optimization12210.0Various iterative algorithms for optimization of nonlinear functions. (gpl, library, math)2015-07-22FelipeLessa
nonlinear-optimization-ad4030.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2016-05-26MasahiroSakai
normaldistribution4610.0Minimum fuss normally distributed random values. (bsd3, library, math, statistics)2011-08-31BjornBuckwalter
np-extras8950.0NumericPrelude extras (bsd3, library, math)2016-05-21BrentYorgey
np-linear4860.0Linear algebra for the numeric-prelude framework (bsd3, library, math)2014-11-24AriePeterson
number1680.0A library for real numbers (library, math, mit)2015-09-10rnhmjoj
numbers15112.0Various number types (bsd3, data, library, math)2014-02-04CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor
numeric-extras5060.0Useful tools from the C standard library (bsd3, library, math)2015-09-28EdwardKmett, EricMertens
numeric-ode850.0Ode solvers (bsd3, library, math, program)2017-07-22DominicSteinitz
numeric-prelude24472.0An experimental alternative hierarchy of numeric type classes (bsd3, library, math)2015-04-04HenningThielemann
numeric-quest6600.0Math and quantum mechanics (gpl, library, math)2014-03-14HenningThielemann
numeric-tools3320.0Collection of numerical tools for integration, differentiation etc. (bsd3, library, math, numerical)2014-03-09AlexeyKhudyakov
numericpeano1670.0Peano numbers with attendant bells and whistles. (apache, library, math)2014-12-29jtapolczai, jtapolczai2
numtype5620.0Type-level (low cardinality) integers. (bsd3, library, math)2016-05-10BjornBuckwalter
numtype-dk2840.0Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. (bsd3, library, math)2016-05-16BjornBuckwalter, dmcclean
numtype-tf2470.0Type-level (low cardinality) integers, implemented using type families. (bsd3, library, math)2014-02-11BjornBuckwalter
nurbs2810.0NURBS (bsd3, geometry, library, linear-algebra, math)2015-08-21AlexandrRuchkin
oeis20570.0Interface to the Online Encyclopedia of Integer Sequences (OEIS) (bsd3, library, math)2017-03-25BrentYorgey, BrianLewis, niteria
optimization6470.0Numerical optimization (bsd3, library, math)2015-11-26BenGamari
pareto1660.0A library for cause-effect relationships. (bsd3, library, math)2016-10-19bwe
peano4770.0Peano numbers (data, library, math)2015-03-27MatthewFarkasDyck
pell1680.0Package to solve the Generalized Pell Equation. (algorithms, library, math, mit, number-theory)2016-12-28lbrunjes
permutation9730.0A library for permutations and combinations. (bsd3, data-structures, library, math)2015-01-20PatrickPerry, spacekitteh
plot-gtk-ui6400.0A quick way to use Mathematica like Manipulation abilities (gpl, library, math)2016-10-10sumitsahrawat
plot-lab (deprecated in favor of plot-gtk-ui, calculator)3210.0A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-17sumitsahrawat
poker-eval4800.0Binding to libpoker-eval (library, math, public-domain)2013-03-08DavidHimmelstrup
polar1650.0Complex numbers in polar form (bsd3, library, math)2014-09-10StefanKersten
polynom830.0Polynomial types and operations (library, math)2016-01-21MatthewFarkasDyck
polynomial8762.0Polynomials (library, math, numerical, public-domain)2017-06-14JamesCook
polynomials-bernstein3290.0A solver for systems of polynomial equations in bernstein form (gpl, library, math)2015-09-29JeanPhilippeBernardy, PierreEtienneMeunier
primesieve1660.0FFI bindings for the primesieve library. (algorithms, foreign, library, math, mit, number-theory, program)2017-09-08sighingnow
probability9460.0Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2016-09-11HenningThielemann
probable3192.0Easy and reasonably efficient probabilistic programming and random generation (bsd3, library, math, statistics)2016-08-26AlpMestanogullari
product900.0Product category (bsd3, library, math)2017-11-28MatthewFarkasDyck
pure-fft1840.0Fast Fourier Transform (bsd3, library, math, numerical)2009-03-15MattMorrow
qd4920.0double-double and quad-double number type via libqd (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qd-vec1660.0'Vec' instances for 'qd' types (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qhull-simple840.0Simple bindings to Qhull, a library for computing convex hulls (bsd3, library, math)2013-07-04GardSpreemann
quadratic-irrational4000.0An implementation of quadratic irrationals (algorithms, data, library, math, mit)2014-03-28ion
quantities3230.0Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2015-11-07jdreaver
rad (deprecated in favor of ad)7310.0Reverse Automatic Differentiation. (bsd3, deprecated, library, math)2012-05-08EdwardKmett
random-extras9800.0Additional functions for random values. (bsd3, data, library, math)2012-07-10AristidBreitkreuz
random-fu17440.0Random number generation (math, public-domain)2016-06-05DominicSteinitz, JamesCook
random-fu-multivariate1620.0Multivariate distributions for random-fu (bsd3, library, math)2016-09-03DominicSteinitz
random-hypergeometric850.0Random variate generation from hypergeometric distributions (library, math, mit)2015-03-30srijs
random-source4650.0Generic basis for random number generators (library, math, public-domain)2013-07-16DominicSteinitz, JamesCook
range-space7210.0A Range type with vector-space instances (bsd3, library, math)2015-08-28JohnLato
ratio-int2610.0Fast specialisation of Data.Ratio for Int. (bsd3, library, math)2014-06-18RaphaelJavaux
rclient870.0Haskell client for Rserve (bsd3, library, math, network, statistics)2010-12-04TomDoris
reduce-equations830.0Simplify a set of equations by removing redundancies (bsd3, library, math, program)2016-11-12chriswarbo
reducers58720.0Semigroups, specialized containers and a general map/reduce framework (bsd3, data, library, math, numerical, semigroups)2017-10-04EdwardKmett, EricMertens, ryanglscott
regress2370.0Linear and logistic regression through automatic differentiation (bsd3, library, math)2015-07-13AlpMestanogullari
resistor-cube3170.0Compute total resistance of a cube of resistors (bsd3, math, program)2015-08-26HenningThielemann
rivers840.0Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-04DrewDay
roots3240.0Root-finding algorithms (1-dimensional) (library, math, numerical, public-domain)2012-09-09JamesCook
rounding (deprecated)2410.0Explicit floating point rounding mode wrappers (bsd3, deprecated, library, math)2010-06-13EdwardKmett
rsagl-math1630.0The RogueStar Animation and Graphics Library: Mathematics (bsd3, library, math)2011-04-08ChristopherLaneHinson
ruff5590.0relatively useful fractal functions (bsd3, library, math)2016-11-07ClaudeHeilandAllen
rvar3800.0Random Variables (library, math, public-domain)2016-06-05DominicSteinitz, JamesCook
sampling5500.0Sample values from collections. (benchmark, library, math, mit)2017-01-31JaredTobin
sbv62442.5SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2017-11-04LeventErkok
sbvPlugin7930.0Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2017-07-29LeventErkok
science-constants2430.0Mathematical/physical/chemical constants (chemistry, library, math, physics, science)2014-09-13cbou
science-constants-dimensional2400.0Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2015-10-29cbou
sde-solver820.0Distributed SDE solver (bsd3, library, math, numerical)2012-12-18DavidNilsson
search2442.0Infinite search in finite time with Hilbert's epsilon (bsd3, library, math, search, topology)2017-11-04EdwardKmett
semigroups212162.75Anything that associates (algebra, bsd3, data, data-structures, library, math)2017-04-16EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions840.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-20PetrPudlak
semiring3250.0Semirings, ring-like structures used for dynamic programming applications (bsd3, math, natural-language-processing)2010-03-08SashaRush
semiring-simple4000.0A module for dealing with semirings. (bsd3, library, math)2016-03-28pharpend
set-cover7910.0Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2016-01-18HenningThielemann
sets19850.0Ducktyped set interface for Haskell containers. (benchmark, data, library, math, mit)2016-09-16athanclark
sfmt2370.0SIMD-oriented Fast Mersenne Twister(SFMT) binding. (bsd3, library, math, random)2015-04-14HirotomoMoriwaki
sgd9490.0Stochastic gradient descent (algorithms, bsd3, library, math)2014-11-25JakubWaszczuk
sigma-ij2390.0Thom polynomials of second order Thom-Boardman singularities (bsd3, library, math, program)2016-10-22BalazsKomuves
sign5580.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2016-01-16MasahiroSakai
simd1620.0simple interface to GHC's SIMD instructions (bsd3, library, math)2014-05-19MikeIzbicki
simple-smt10660.0A simple way to interact with an SMT solver process. (bsd3, library, math)2017-10-02IavorDiatchki
simple-vec32390.0Three-dimensional vectors of doubles with basic operations (benchmark, bsd3, library, math, numerical)2016-10-14DmitryDzhus
simplex-basic (deprecated)1970.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-13athanclark
sloane25930.0A command line interface to Sloane's OEIS. (bsd3, math, program)2017-07-03AndersClaesson
som31402.0Self-Organising Maps. (bsd3, library, math)2017-08-15AmyDeBuitleir
sparse-lin-alg4802.0Effective linear algebra on sparse matrices (bsd3, library, math)2013-03-23AlexeyAlekhin
spatial-math17390.03d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2016-11-11GregHorn
spe7900.0Combinatorial species lite (bsd3, library, math)2014-08-06AndersClaesson
species15350.0Computational combinatorial species (bsd3, library, math)2016-08-10BrentYorgey
speedy-slice6340.0Speedy slice sampling. (library, math, mit)2016-12-21JaredTobin
spline3850.0A parallel implementation of the Sorokina/Zeilfelder spline scheme. (gpl, math, program)2015-04-17MichaelOrlitzky
splines2420.0B-Splines, other splines, and NURBS. (benchmark, graphics, library, math, numerical, public-domain)2013-05-28JamesCook
spsa2390.0Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (benchmark, library, math, mit, optimization)2014-01-20yanatan16
stable-maps6360.0Heterogeneous maps keyed by StableNames (bsd3, library, math)2014-03-13EdwardKmett
staf1610.0Numerical statistics for Foldable containers (library, math)2017-01-28lovasko
statistics81082.0A library of statistical types, data, and functions (bsd2, library, math, statistics)2017-05-19AlexeyKhudyakov, BryanOSullivan
statistics-dirichlet3180.0Functions for working with Dirichlet densities and mixtures on vectors. (bsd3, library, math)2015-07-21FelipeLessa
statistics-fusion (deprecated in favor of statistics)3220.0An implementation of high performance, minimal statistics functions (bsd3, deprecated, library, math)2010-02-20DonaldStewart
statistics-hypergeometric-genvar820.0Random variate generation from hypergeometric distributions (library, math, mit, statistics)2015-03-26srijs
statistics-linreg5640.0Linear regression between two samples, based on the 'statistics' package. (library, math, mit, statistics)2014-08-22AlpMestanogullari
stats1630.0command line statistics (gpl, math, program)2013-12-05cheecheeo
stochastic3190.0Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-27chokboy
svm-light-utils4700.0Parsers and formatters for the SVMlight input file format (bsd3, library, math)2016-04-13BenGamari
sym17330.0Permutations, patterns, and statistics (bsd3, library, math)2017-11-20AndersClaesson
sym-plot2380.0Plot permutations; an addition to the sym package (bsd3, library, math)2017-06-10AndersClaesson
symengine830.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-10bollu
symengine-hs1600.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-05bollu
tau2450.0Tau, the ratio between any circle's circumference and radius. (bsd3, library, math)2013-06-28BrentYorgey
tensor4020.0A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-19NicolaSquartini
terntup832.0a ternary library (bsd3, library, math)2016-01-16mcandre
th-cas820.0Compile-time CAS(Computer Algebra System) (library, math, mit, numeric)2015-11-16junjihashimoto
theta-functions2420.0Theta-functions implemented as trigonometric series (library, math, public-domain)2012-06-21MarkSafronov
tilings830.0substitution tilings (bsd3, library, math)2011-05-25ClaudeHeilandAllen
tropical2410.0A library for tropical mathematics. (bsd3, library, math)2014-07-13pharpend
turing-machines1620.0A simple simulator for Turing machines (library, math, mit)2016-07-24jariazavalverde
turingMachine2400.0An implementation of Turing Machine and Automaton (gpl, library, math)2016-05-11sanjorgek
type-natural29402.0Type-level natural and proofs of their properties. (bsd3, library, math)2017-11-30HiromiIshii
type-settheory4010.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
uncertain3560.0Manipulating numbers with inherent experimental/measurement uncertainty (bsd3, library, math)2016-05-22jle
units8912.0A domain-specific type system for dimensional analysis (bsd3, library, math)2017-12-27RichardEisenberg
unittyped850.0An extendable library for type-safe computations including units. (lgpl, library, math, physics)2012-11-26ThijsAlkemade
variable-precision4780.0variable-precision floating point (bsd3, library, math)2013-02-18ClaudeHeilandAllen
vect4052.0A low-dimensional linear algebra library, tailored to computer graphics. (bsd3, graphics, library, math)2011-06-11BalazsKomuves
vect-floating (deprecated in favor of linear)3170.0A low-dimensional linear algebra library, operating on the Floating typeclass (bsd3, deprecated, library, math)2014-09-25cdurham
vect-floating-accelerate (deprecated in favor of linear-accelerate)3920.0Accelerate instances for vect-floating types (bsd3, deprecated, library, math)2014-09-25cdurham
vect-opengl1620.0OpenGL support for the `vect' low-dimensional linear algebra library. (bsd3, graphics, library, math)2014-03-19BalazsKomuves
vector-fftw8780.0A binding to the fftw library for one-dimensional vectors. (bsd3, library, math)2017-06-16BenGamari, JudahJacobson
vector-space36002.5Vector & affine spaces, linear maps, and derivatives (bsd3, math)2017-10-05ConalElliott
vector-space-map2380.0vector-space operations for finite maps using Data.Map (library, math, mit)2016-02-15ChristianConkle
vector-space-opengl1620.0Instances of vector-space classes for OpenGL types (bsd3, graphics, library, math)2013-09-30AdamFoltzer
vector-space-points9430.0A type for points, as distinct from vectors. (bsd3, library, math)2016-05-21BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
vowpal-utils2460.0Vowpal Wabbit utilities (bsd3, library, math)2012-02-21CarterSchonwald
wigner-symbols860.0CG coefficients and Wigner symbols. (benchmark, library, math, mit)2015-10-02Rufflewind
xorshift2460.0Haskell implementation of the xorshift random generator. (lgpl, library, math)2011-04-11RobertClausecker
yices7950.0Haskell programming interface to Yices SMT solver (bsd3, library, math)2012-02-07KiYungAhn
yices-easy840.0Simple interface to the Yices SMT (SAT modulo theories) solver. (algorithms, bsd3, library, math, theorem-provers)2010-09-29KeeganMcAllister
yices-painless2420.0An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)2011-01-17DonaldStewart
z37262.0Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2017-09-17IagoAbal