Packages tagged math

679 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (652), bsd3 (450), mit (96), program (79), data (71), deprecated (56), gpl (54), numerical (48), statistics (35), language (34), algebra (30), game (28), numeric (24), graphics (23), phonetic-languages (21), algorithms (20), public-domain (17), lgpl (16), number-theory (10), theorem-provers (9), bsd2 (8), physics (8), data-structures (7), formal-methods (7), Ukrainian (6), optimisation (6), optimization (6), smt (6), apache (5), system (5), bit-vectors (4), ffi (4), geometry (4), logic (4), phonetics (4), symbolic-computation (4), writing-systems (4), accelerate (3), agpl (3), category-theory (3), foreign (3), linear-algebra (3), mpl (3), natural-language-processing (3), testing (3), type-system (3), uniqueness (3), chemistry (2), clustering (2), console (2), control (2), csv (2), dependent-types (2), finance (2), json (2), machine-learning (2), mathematics (2), maths (2), parsing (2), prosodic-languages (2), prosody (2), science (2), singletons (2), tools (2), uniqueness-periods (2), adjunctions (1), ai (1), ats (1), codec (1), coherency (1), combinatorics (1), comonads (1), computer-algebra (1), crypto (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
AC-Angle150.0Angles in degrees and radians. (bsd3, data, library, math, numerical)2010-07-23AndrewCoppin
AC-Boolean150.0Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-09AndrewCoppin
AC-Colour260.0Efficient RGB colour types. (bsd3, data, graphics, library, math, numerical)2014-01-12AndrewCoppin
AC-HalfInteger130.0Efficient half-integer type. (bsd3, data, library, math, numerical)2009-08-12AndrewCoppin
AC-Terminal90.0Trivial wrapper over ansi-terminal. (bsd3, data, library, math, numerical)2010-10-28AndrewCoppin
AC-Vector510.0Efficient geometric vectors and transformations. (bsd3, data, graphics, library, math, numerical)2011-08-12AndrewCoppin
AC-Vector-Fancy330.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)160.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)220.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)830.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-11MichalKonecny
AERN-Real-Double (deprecated in favor of aern2-mp, aern2-real)170.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)70.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-11MichalKonecny
AERN-RnToRm (deprecated)580.0polynomial function enclosures (PFEs) approximating exact real functions (bsd3, data, deprecated, library, math)2009-07-29MichalKonecny
AERN-RnToRm-Plot (deprecated)380.0GL plotting of polynomial function enclosures (PFEs) (bsd3, data, deprecated, library, math)2009-08-01MichalKonecny
ApproxFun-hs50.0Function approximation (bsd3, library, math)2015-04-26DominicSteinitz
Baggins50.0Tools for self-assembly (gpl, library, math)2014-06-12pmeunier
BerlekampAlgorithm70.0Factorization of polynomials over finite field (bsd3, library, math)2013-06-10AbdelwahebMiled
Cartesian290.0Coordinate systems (library, math, mit)2016-10-10SwiftsNamesake
ContextAlgebra170.0Implementation of the context algebra. (bsd3, math, program)2016-08-24jhahn
DP80.0Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-08SashaRush
Data-Angle90.0Geometric angles (bsd3, data, library, math)2017-03-26deadmanswitch
Decimal1340.0Decimal numbers with variable precision (bsd3, library, math)2021-03-14PaulJohnson
DifferenceLogic160.0A theory solver for conjunctions of literals in difference logic (bsd3, library, math)2014-11-05dillonhuff
DigitGroup10.0Group the digits of numbers by lots (bsd3, library, math)2022-01-19AlanHawkins
Dist220.0A Haskell library for probability distributions (library, math, mit)2019-06-16wyager
DistanceTransform60.0Distance transform function. (bsd3, library, math)2013-02-16AnthonyCowley
Eq (deprecated)10.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
EqualitySolver160.0A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality (bsd3, library, math)2014-11-02dillonhuff
FirstOrderTheory110.0Grammar and typeclass for first order theories (bsd3, library, math)2014-11-05dillonhuff
GaussQuadIntegration40.0Non-adaptive Gaussian quadrature for numeric integraton (bsd3, library, math)2011-09-15GrigorySarnitsky
GeomPredicates80.0Geometric predicates (bsd3, library, math)2010-06-27NealAlexander
GeomPredicates-SSE50.0Geometric predicates (Intel SSE) (bsd3, library, math)2010-06-27NealAlexander
HABQT90.0Hierarchical adaptive Bayesian quantum tomography for quantum bits (bsd3, library, math, program, quantum)2018-07-01LeonidBelinsky
HERA10.0 (bsd3, library, math)2008-12-05LukePalmer
HQu192.0quantitative finance library (finance, library, math, mit)2021-07-09ghais
HROOT810.0Haskell binding to the ROOT data analysis framework (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-core160.0Haskell binding to ROOT Core modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-graf200.0Haskell binding to ROOT Graf modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-hist240.0Haskell binding to ROOT Hist modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-io200.0Haskell binding to ROOT IO modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-math190.0Haskell binding to ROOT Math modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-tree90.0Haskell binding to ROOT Tree modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HasBigDecimal302.0A library for arbitrary precision decimal numbers. (apache, library, math)2018-05-20thma
HaskellForMaths1260.0Combinatorics, group theory, commutative algebra, non-commutative algebra (bsd3, library, math)2018-12-15DavidAmos
HaskellLM160.0Pure Haskell implementation of the Levenberg-Marquardt algorithm (library, math)2012-02-29KietLam
HerbiePlugin110.0automatically improve your code's numeric stability (bsd3, library, math)2015-09-28MikeIzbicki
Homology120.0Compute the homology of a chain complex (library, math)2012-06-24DamekDavis
HsASA00.0A haskell interface to Lester Ingber's adaptive simulating annealing code (bsd3, library, math)2012-01-27DonaldStewart, MalcolmWallace
Kalman (deprecated in favor of kalman)110.0A slightly extended Kalman filter (bsd3, deprecated, library, math)2015-04-05DominicSteinitz
LargeCardinalHierarchy130.0A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-07Stephen_E_A_Britton
Lattices220.0A library for lattices (library, math)2018-09-21BartCoppens
LetsBeRational70.0European option implied vol calculation (finance, library, math, mit, numeric, quant)2021-12-19ghais
Logic50.0Logic (library, math, mit)2014-12-29gogotanaka
MIP280.0Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2020-12-26MasahiroSakai
MIP-glpk60.0A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-26MasahiroSakai
MeanShift70.0Mean shift algorithm (bsd3, library, math)2012-04-30VilleTirronen
Modulo170.0Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-08NikolayMurzin
Monocle230.0Symbolic computations in strict monoidal categories with LaTeX output. (bsd3, library, math)2009-12-17OsmanBineev
NTRU170.0NTRU Cryptography (cryptography, library, math)2020-01-27mikewest, Bodigrim
Naperian100.0Naperian Functors for APL-like programming (library, math)2019-03-28DominicSteinitz
NaperianNetCDF110.0Instances of NcStore for hypercuboids (bsd3, library, math, program)2019-04-18DominicSteinitz
NearContextAlgebra140.0Context Algebra of near (bsd3, math, program)2015-10-25jhahn
Noise330.0A Haskell coherent noise generator based on libnoise (bsd3, graphics, library, math, noise)2013-02-25HugoGomes
NumberSieves140.0Number Theoretic Sieves: primes, factorization, and Euler's Totient (bsd3, library, math)2012-08-21LeonSmith
NumberTheory80.0A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-17cfredric
Operads330.0Groebner basis computation for Operads. (bsd3, library, math)2009-08-14MikaelVejdemoJohansson
Ordinals100.0Ordinal arithmetic (bsd3, library, math)2010-07-09KiYungAhn
Paillier140.0a simple Paillier cryptosystem (bsd3, library, math)2013-12-11onemouth
ParserFunction (deprecated in favor of attoparsec)410.0Parse and evaluate mathematical expressions. (bsd3, deprecated, library, math, parsing)2014-05-14EnzoHaussecker
Persistence610.0A versatile library for topological data analysis. (bsd3, data, library, math)2019-08-19Ebanflo
Probnet232.25Geometric Extrapolation of Integer Sequences with error prediction (ai, forecasting, library, math, mit, sequences)2021-06-02vnos
ProxN70.0Proximity sets in N dimensions (bsd3, library, math)2012-01-28AndrasSlemmer
RANSAC150.0The RANSAC algorithm for parameter estimation. (bsd3, library, math, numerical)2015-11-19AnthonyCowley
SG40.0Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2009-03-17NeilBrown
SGplus20.0(updated) Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2016-09-01donomii
SmithNormalForm20.0A lightweight Haskell implementation of Smith normal form over the integers. (library, linearalgebra, math, mit)2021-12-31BrianHwang
Smooth50.0A tiny, lazy SMT solver (bsd3, library, math)2014-11-05dillonhuff
TeX-my-math370.0Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math, program)2021-05-18leftaroundabout
Vec60.0Fixed-length lists and low-dimensional linear algebra. (bsd3, data, library, math)2014-08-06ScottDillard
Vec-Boolean370.0Provides Boolean instances for the Vec package (bsd3, data, library, math)2012-08-05TobiasBexelius
Vec-OpenGLRaw50.0Instances and functions to interoperate Vec and OpenGL. (bsd3, graphics, library, math)2010-06-28ChristopherLaneHinson
Vec-Transform370.0This package is obsolete (bsd3, graphics, library, math)2012-08-05TobiasBexelius
WeberLogic130.0Logic interpreter (bsd3, library, math, program)2014-03-17cameronbwhite
Xorshift128Plus120.0Pure haskell implementation of xorshift128plus random number generator. (library, math, public-domain)2015-04-14hkanai
ZEBEDDE (deprecated)70.0Polymer growth simulation method (bsd3, deprecated, library, math)2015-07-29hackrilege
accelerate-arithmetic270.0Linear algebra and interpolation using the Accelerate framework (bsd3, library, math)2018-03-17HenningThielemann
accelerate-blas270.0Numeric Linear Algebra in Accelerate (accelerate, bsd3, library, math)2020-08-28TrevorMcDonell
accelerate-cublas110.0Basic Linear Algebra using native CUBLAS library (bsd3, library, math, program)2017-04-23HenningThielemann
accelerate-cufft240.0Accelerate frontend to the CUFFT library (Fourier transform) (bsd3, library, math)2017-12-15HenningThielemann
accelerate-fft420.0FFT using the Accelerate library (accelerate, bsd3, library, math)2020-08-28TrevorMcDonell
accelerate-fftw180.0Accelerate frontend to the FFTW library (Fourier transform) (bsd3, library, math)2018-03-17HenningThielemann
accelerate-fourier310.0Fast Fourier transform and convolution using the Accelerate framework (bsd3, library, math)2018-03-17HenningThielemann
accelerate-fourier-benchmark30.0Compare different implementations of the Fast Fourier Transform (bsd3, math, program)2017-04-23HenningThielemann
accelerate-typelits52.0a typesafe way encode accelerate matrices and vectors (library, math)2016-05-17epsilonhalbe
acts190.0Semigroup actions and torsors. (algebra, bsd3, library, math)2020-02-23sheaf
ad742.5Automatic Differentiation (bsd3, library, math)2022-06-17EdwardKmett, EricMertens, ryanglscott
ad-delcont152.25Reverse-mode automatic differentiation with delimited continuations (bsd3, library, machine-learning, math, numeric, optimisation, optimization)2021-07-20ocramz
adjunction10.0See README for more info (adjunctions, bsd3, library, math)2020-02-01
aern2-mp760.0Multi-precision ball (interval) arithmetic (bsd3, library, math)2021-08-03MichalKonecny
aern2-real810.0Real numbers as sequences of MPBalls (bsd3, library, math)2021-08-03MichalKonecny
affine120.0Affine spaces (generalized) (bsd3, library, math)2018-05-17
alg (deprecated)940.0Algebraic structures (bsd3, deprecated, library, math)2019-12-24
algebra1460.0Constructive abstract algebra (algebra, bsd3, library, math)2017-12-25EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic150.0General linear algebra structures. (algebra, bsd3, library, math)2014-06-17danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-classes920.0Conversions between algebraic classes and F-algebras. (bsd3, data, generics, library, math)2020-01-06SjoerdVisscher
antimirov50.0Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-30RickKaudewitz
apportionment251.25Round a set of numbers while maintaining its sum (bsd3, library, math)2022-01-02HenningThielemann
arb-fft270.0Pure Haskell arbitrary length FFT library (bsd3, library, math, program)2016-04-24IanRoss
arithmatic100.0do things with numbers (bsd3, library, math)2017-01-26AlanHawkins
arithmoi1672.0Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2021-09-06CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
arrayfire342.0Haskell bindings to the ArrayFire general-purpose GPU library (bsd3, library, math, program)2019-11-15DavidJohnson
atp50.0Interface to automated theorem provers (formal-methods, gpl, library, logic, math, theorem-provers)2021-01-25EK
automata60.0automata (bsd3, data, library, math)2019-01-22chessai
backprop972.25Heterogeneous automatic differentation (bsd3, library, math)2020-07-01jle
battleship-combinatorics110.0Compute number of possible arrangements in the battleship game (bsd3, library, math, program)2021-11-18HenningThielemann
bayes-stack50.0Framework for inferring generative probabilistic models with Gibbs sampling (bsd3, library, math)2012-10-27BenGamari
bed-and-breakfast640.0Efficient Matrix and Vector operations in 100% Haskell. (library, linear-algebra, math, mit, numeric)2018-10-22JulianFleischer
besout140.0Extended GCD of polynomials over F_p[x] (bsd3, library, math)2014-06-21AbdelwahebMiled
bin1340.0Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2022-01-03phadej
bindings-mpdecimal (deprecated in favor of deka)150.0bindings to mpdecimal library (bsd3, deprecated, library, math)2014-01-20OmariNorman
bindings-saga-cmd140.0Wrapping saga_cmd (gpl, library, math, program)2015-06-16michelk
bins130.0Aggregate continuous values into discrete bins (bsd3, library, math)2019-10-04jle
blas (deprecated in favor of hblas)70.0Bindings to the BLAS library (bsd3, deprecated, library, math)2009-01-14CarterSchonwald
blas-carray270.0Auto-generated interface to Fortran BLAS via CArrays (bsd3, library, math)2019-01-24HenningThielemann
blas-comfort-array270.0Auto-generated interface to Fortran BLAS via comfort-array (bsd3, library, math)2021-08-06HenningThielemann
blas-ffi240.0Auto-generated interface to Fortran BLAS (bsd3, library, math)2018-12-20HenningThielemann
blas-hs130.0Low-level Haskell bindings to Blas. (library, math, mit)2014-12-27Rufflewind
boltzmann-brain140.0Analytic sampler compiler for combinatorial systems. (bsd3, library, math, program)2019-12-09mbendkowski
boolector670.0Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2020-08-20DeianStefan
boolsimplifier290.0Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-15GershomBazerman
braid50.0Types and functions to work with braids and Khovanov homology. (bsd3, library, math, program)2016-01-18saltza
buffon110.0An implementation of Buffon machines. (bsd2, library, math)2018-03-26DerekElkins
buffon-machines190.0Perfect simulation of discrete random variables (bsd3, library, math)2019-09-16mbendkowski
burst-detection50.0Burst detection algorithms (gpl, library, math)2013-11-08
ca00.0Cellular Automata (bsd3, library, math)2018-04-22
caffegraph172.0 (bsd3, library, math)2015-02-17ajtulloch
cal-layout120.0Calendar Layout Algorithm (bsd3, library, math, program)2019-01-03bor0
calculator1082.0A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-10sumitsahrawat
caldims60.0Calculation tool and library supporting units (library, math, program)2008-11-05RickKaudewitz
calendar-recycling160.0List years with the same calendars (bsd3, math, program)2018-08-31HenningThielemann
canon460.0Arithmetic for Psychedelically Large Numbers (library, math, mit)2019-09-03grandpascorpion
casadi-bindings2060.0mid-level bindings to CasADi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-control (deprecated in favor of casadi-bindings-core)20.0low level bindings to casadi-control (deprecated, lgpl, library, math, numerical)2014-08-21GregHorn
casadi-bindings-core790.0autogenerated low level bindings to casadi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-internal60.0low level bindings to CasADi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-ipopt-interface (deprecated in favor of casadi-bindings-core)20.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)60.0low level bindings to casadi-snopt_interface (deprecated, lgpl, library, math, numerical)2014-05-27GregHorn
cash130.0the Computer Algebra SHell (bsd3, computer-algebra, library, math)2012-03-26ChrisBrown
casui10.0Equation Manipulator (math, mit, program)2011-06-04EtienneLaurin
category (deprecated)681.25Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-24
category-traced (deprecated in favor of category)121.25Traced monoidal categories (bsd3, deprecated, library, math)2016-02-24
cayley-dickson420.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cf02.25Exact real arithmetic using continued fractions (library, math, mit)2015-09-03mvr
checksum130.0Compute and verify checksums of ISBN, IBAN, etc. (bsd3, library, math)2018-04-16HenningThielemann
circular420.0Circular fixed-sized mutable vectors (bsd3, data-structures, library, math)2022-02-22dschrempf
cl3302.0Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2022-04-10nwaivio
cl3-hmatrix-interface80.0Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-linear-interface160.0Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-21nwaivio
clac10.0Simple CLI RPN calculator (gpl, math, program)2015-03-18alexander
clif100.0A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-10maaleske
clifford570.0A Clifford algebra library (bsd3, library, math, numerical, program)2014-03-29spacekitteh
closure40.0Depth- and breadth-first set closures (library, math, mit)2013-10-21JosephAbrahamson
clumpiness230.0Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2019-01-21GregorySchwartz
clustering392.0High performance clustering algorithms (library, math, mit)2019-01-08kaizhang
cmath10.0A binding to the standard C math library (bsd3, library, math)2008-03-15DonaldStewart
coincident-root-loci82.0Equivariant CSM classes of coincident root loci (bsd3, library, math)2021-07-26BalazsKomuves
collect-errors380.0Error monad with a Float instance (bsd3, library, math)2021-05-18MichalKonecny
combinat842.0Generate and manipulate various combinatorial objects. (bsd3, library, math)2021-04-25BalazsKomuves
combinat-compat60.0Generate and manipulate various combinatorial objects. (bsd3, library, math)2018-04-03vmchale
combinat-diagrams60.0Graphical representations for various combinatorial objects (bsd3, library, math)2015-10-30BalazsKomuves
combinatorial210.0Count, enumerate, rank and unrank combinatorial objects (bsd3, library, math, statistics)2018-08-31HenningThielemann
combinatorics (deprecated in favor of exact-combinatorics)30.0Efficient computation of common combinatoric functions. (bsd3, deprecated, library, math, statistics)2012-01-29WrenThornton
comfort-fftw110.0High-level interface to FFTW (Fast Fourier Transform) based on comfort-array (bsd3, library, math)2021-08-05HenningThielemann
commutative-semigroups460.0Commutative semigroups (algebra, bsd3, data, library, math)2022-06-12JohnEricson
complex-generic100.0complex numbers with non-mandatory RealFloat (bsd3, library, math)2017-04-03ClaudeHeilandAllen
complex-integrate120.0A simple integration function to integrate a complex-valued complex functions (library, math, public-domain)2012-01-21MarkSafronov
computational-algebra252.25Well-kinded computational algebra library, currently supporting Groebner basis. (bsd3, library, math)2017-12-07HiromiIshii
computational-geometry110.0Collection of algorithms in Computational Geometry. (bsd3, graphics, library, math)2017-10-13MaksymilianOwsianny
conjugateGradient370.0Sparse matrix linear-equation solver (bsd3, library, math)2013-04-20LeventErkok
connections310.0Orders, Galois connections, and lattices. (bsd3, library, math, numerical, program)2021-09-16cmk
constructible160.0Exact computation with constructible real numbers (bsd3, library, math)2021-11-09AndersKaseorg
constructive-algebra400.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
continued-fraction462.0Types and functions for working with continued fractions in Haskell (bsd3, library, math)2018-08-18vmchale
continued-fractions330.0Continued fractions. (library, math, numerical, public-domain)2019-01-29JamesCook, rockbmb
converge110.0Limit operations for converging sequences (library, math, numerical, public-domain)2011-08-15JamesCook
covariance250.0Well-conditioned estimation of large-dimensional covariance matrices (gpl, library, math, statistics)2022-03-22dschrempf
coya60.0Coya monoids (bsd3, data, library, math)2020-07-09chessai
cplex-hs302.0high-level CPLEX interface (bsd3, library, math)2016-11-05stefanjhlk
crf-chain1200.0First-order, linear-chain conditional random fields (bsd3, library, math)2019-11-30JakubWaszczuk
crf-chain1-constrained540.0First-order, constrained, linear-chain conditional random fields (bsd3, library, math)2018-10-30JakubWaszczuk
crf-chain2-generic120.0Second-order, generic, constrained, linear conditional random fields (bsd3, library, math)2013-01-09JakubWaszczuk
cubicspline262.0Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-18GershomBazerman
curve25519360.0Fast implementations of the curve25519 elliptic curve primitives. (bsd3, library, math)2021-11-16AdamWick
cyclotomic840.0A subfield of the complex numbers for exact calculation. (gpl, library, math)2020-05-24ScottWalck
data-category1142.25Category theory (bsd3, category-theory, library, math)2020-05-11SjoerdVisscher
data-interval1550.0Interval datatype, interval arithmetic and interval-based containers (bsd3, data, library, math)2021-11-02MasahiroSakai, Bodigrim
data-nat150.0data Nat = Zero | Succ Nat (bsd3, data, library, math)2012-09-23GaborLehel
dde02.0Delay differential equations (bsd3, library, math, program)2018-07-08penkovsky
decimal-literals30.0Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2019-02-20leftaroundabout
declarative580.0DIY Markov Chains. (library, math, mit)2021-02-23JaredTobin
deeplearning-hs140.0Deep Learning in Haskell (library, math, mit, program)2014-05-05ajtulloch
deka300.0Decimal floating point arithmetic (bsd3, library, math)2014-07-16OmariNorman
deka-tests60.0Tests for deka, decimal floating point arithmetic (bsd3, library, math, program)2014-07-16OmariNorman
dense-linear-algebra1290.0Simple and incomplete pure haskell implementation of linear algebra (bsd2, library, math, numeric, statistics)2018-10-11AlexeyKhudyakov
derivation-trees180.0Typeset Derivation Trees via MetaPost (graphics, library, math)2010-11-18JeanPhilippeBernardy
detour-via-sci140.0JSON and CSV encoding for rationals as decimal point numbers. (csv, data, json, library, math, mpl, numeric)2018-06-22philderbeast
detour-via-uom70.0JSON and CSV encoding for quantities. (csv, data, json, library, math, mpl, numeric, physics)2018-06-22philderbeast
dfrac170.0A package for precise decimal arithmatic using rationals. (library, math, mit)2014-08-15georgerogers42
diagrams-solve1040.0Pure Haskell solver routines used by diagrams (bsd3, library, math)2021-02-13BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
digamma (deprecated in favor of math-functions)110.0A (deprecated) implementation of the digamma function (bsd3, deprecated, library, math)2016-04-13BenGamari
dimensional1492.5Statically checked physical dimensions (bsd3, library, math, physics)2022-06-22BjornBuckwalter, dmcclean
dimensional-tf (deprecated in favor of dimensional)410.0Statically checked physical dimensions, implemented using type families. (bsd3, deprecated, library, math, physics)2016-12-07BjornBuckwalter
dimensions470.0Safe type-level dimensionality for multidimensional data. (bsd3, geometry, library, math)2021-04-04achirkin
diophantine150.0A quadratic diophantine equation solving library. (gpl, library, math)2014-11-24joejev
directed-cubical140.0Finite directed cubical complexes and associated algorithms (bsd3, library, math)2014-06-08mmisamore
dirichlet160.0Multivariate Dirichlet distribution (bsd3, library, math)2022-02-22dschrempf
distribution242.0Finite discrete probability distributions. (apache, library, math)2017-06-29RomainEdelmann
distribution-plot50.0Easily plot distributions from the distribution package.. (apache, library, math)2014-08-04RomainEdelmann
downhill30.0Reverse mode automatic differentiation (library, math, mit)2022-05-18andriusstank
dozenal30.0A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-11siddhanathan
dsp242.0Haskell Digital Signal Processing (gpl, library, math, sound)2020-06-24HenningThielemann
dual (deprecated)390.0Dual category (bsd3, deprecated, library, math)2020-01-20
dumb-cas310.0A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)2021-01-11leftaroundabout
dvda (deprecated in favor of dynobud)100.0Efficient automatic differentiation and code generation (bsd3, deprecated, library, math, numerical)2014-04-05GregHorn
dyckword200.0A library for working with binary Dyck words. (bsd3, library, math)2017-05-01arbelos
earcut300.0Binding to C++ earcut library. (library, math)2020-07-11DavidHimmelstrup
ease160.0Robert Penner's easing equations (bsd3, game, library, math)2020-10-01fresheyeball
easyplot190.0A tiny plotting library, utilizes gnuplot for plotting. (graphics, library, math, mit, plotting)2013-03-26JulianFleischer
easytensor730.0Pure, type-indexed haskell vector, matrix, and tensor library. (bsd3, geometry, library, math)2021-04-07achirkin
easytensor-vulkan360.0Use easytensor with vulkan-api. (bsd3, geometry, graphics, library, math, opengl, vulkan)2021-04-05achirkin
egyptian-fractions120.0Egyptian fractions in Haskell (bsd3, library, math)2018-06-25vmchale
eigen1061.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-11OlegSidorkin, chessai
elbow170.0Find the elbow point. (gpl, library, math)2020-02-20GregorySchwartz
emd720.0Empirical Mode Decomposition and Hilbert-Huang Transform (bsd3, library, math)2019-10-31jle
equational-reasoning1361.5Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2021-10-31HiromiIshii
equational-reasoning-induction10.0Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2019-02-08HiromiIshii
erf1250.0The error function, erf, and related functions. (bsd3, library, math)2011-05-26LennartAugustsson
erf-native100.0Native Haskell implementation of the interface from the erf package (library, math)2012-01-03JamesCook
estimator200.0State-space estimation algorithms such as Kalman Filters (bsd3, library, math, numerical, statistics)2016-07-19AdamFoltzer, JameySharp
euler530.0Mathematics utilities for Haskell (library, math, mit)2020-05-25decomputed, luisonthekeyboard
exact-combinatorics1540.0Efficient exact computation of combinatoric functions. (bsd3, library, math, statistics)2021-11-03WrenThornton, WrenRomano
exact-cover80.0Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-22arthur
exact-real972.25Exact real arithmetic (library, math, mit)2021-12-13jophish
exact-real-positional50.0Framework for Exact Real Arithmetic in the Positional Number System (bsd3, library, math)2017-07-20grlks
exp-pairs580.0Linear programming over exponent pairs (gpl, library, math)2020-10-03Bodigrim
explicit-determinant70.0explicit computation of determinant of small matrices (gpl, library, math)2014-07-03JohannesWaldmann
expressions711.5Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-30jakubdaniel
expressions-z3470.0Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2019-04-30jakubdaniel
extended-categories80.0Extended Categories (bsd3, library, math)2014-11-23ian_mi
extended-reals1050.0Extension of real numbers with positive/negative infinities (bsd3, library, math)2020-03-28MasahiroSakai, Bodigrim
factory970.0Rational arithmetic in an irrational world. (gpl, library, math, number-theory, program)2021-08-25AlistairWard, LennartAugustsson
fad70.0Forward Automatic Differentiation. (bsd3, library, math)2012-12-22BjornBuckwalter
fadno-braids470.0Braid representations in Haskell (algebra, bsd2, data, library, math)2020-12-27spopejoy
fast-arithmetic3012.0Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2022-01-17vmchale
fast-math670.0Non IEEE-754 compliant compile-time floating-point optimisations (bsd3, library, math, numeric)2015-08-01LiyangHu, MikeIzbicki
fft682.0Bindings to the FFTW library. (bsd3, library, math)2021-05-21HenningThielemann, JedBrown
fftw-ffi70.0Low-level interface to FFTW (Fast Fourier Transform) (bsd3, library, math)2021-07-26HenningThielemann
fftwRaw120.0Low level bindings to FFTW. (bsd3, library, math)2018-09-04adamwalker
fib40.0fibonacci algebra (bsd3, library, math)2020-07-09chessai
fin1712.0Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2022-01-03phadej
find-clumpiness460.0Find the clumpiness of labels in a tree (gpl, library, math, program)2019-01-21GregorySchwartz
finite-field360.0Finite Fields (algebra, bsd3, data, library, math)2021-01-02MasahiroSakai
finite-fields72.0Arithmetic in finite fields (bsd3, library, math)2021-04-22BalazsKomuves
fixed-point (deprecated)390.0Binary fixed-point arithmetic (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector (deprecated)170.0Unbox instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector-space (deprecated)30.0vector-space instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-precision200.0Fixed Precision Arithmetic (bsd3, library, math)2010-06-15EdwardKmett
fixedprec440.0A fixed-precision real number type (bsd3, data, library, math)2018-11-06PeterSelinger
fizz-buzz120.0Functional Fizz/Buzz (bsd3, library, math)2017-01-26AlanHawkins
flat-mcmc700.0Painless general-purpose sampling. (library, math, mit)2020-10-11JaredTobin
float12840.0FFI bindings for C _Float128 (bsd3, library, math)2020-06-15ClaudeHeilandAllen
foldl-statistics582.0Statistical functions from the statistics package implemented as Folds. (bsd3, library, math, statistics)2018-09-25AlexMason
fp-ieee160.0IEEE 754-2019 compliant operations (bsd3, library, math, numeric)2021-11-30aratamizuki
fplll50.0Haskell bindings to <https://fplll.github.io/fplll/ fplll> (lgpl, library, math)2019-12-05lanceroy
fpnla90.0A library for NLA operations (bsd3, library, math)2014-02-04mblanco
fpnla-examples110.0Example implementations for FPNLA library (bsd3, library, math, parallelism)2014-02-04mblanco
fptest190.0IEEE754r floating point conformance tests (bsd3, math, program)2018-11-15jrp
fractals60.0A collection of useful fractal curve encoders (bsd3, library, math)2015-08-10sdekker
free-functors1720.0Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-05SjoerdVisscher
free-vector-spaces380.0Instantiate the classes from the vector-space package with types from linear (bsd3, library, math)2022-06-01leftaroundabout
frotate100.0Advanced rotation of backups and other things (math, program, system)2019-08-31ip1981
function-instances-algebra10.0Instances of the Algebra.* classes for functions (bsd3, library, math)2012-03-25TobiasBrandt
functor (deprecated in favor of category)130.0Functors (bsd3, control, deprecated, library, math)2017-11-16
game-probability50.0Simple probability library for dice rolls, card games and similar (bsd3, library, math)2010-09-08NeilBrown
gamma220.0Gamma function and related functions. (library, math, numerical, public-domain)2019-02-03JamesCook, rockbmb
garepinoh210.0reverse prefix notation calculator and calculation library (console, library, math, program, public-domain, tools)2014-01-21MekeorMelire
geocalc70.0Libary for calculating distances between two coordinates in WSG84 (bsd3, library, math)2011-07-01GeroKriependorf
geom2d260.0package for geometry in euklidean 2d space (gpl, library, math)2015-11-01seppeljordan
ghc-typelits-presburger221.75Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2021-12-11HiromiIshii
glasso120.0Graphical Lasso algorithm (bsd3, library, math)2015-04-15kaizhang
glicko260.0Glicko-2 implementation in Haskell. (gpl, library, math)2021-01-13rprecenth
glpk-headers170.0Low-level Haskell bindings to GLPK. (bsd3, library, math)2020-07-06prsteele
glpk-hs890.0Comprehensive GLPK linear programming bindings (bsd3, library, math, program)2021-01-29JeanPhilippeBernardy, LouisWasserman
gnuplot3451.52D and 3D plots using gnuplot (bsd3, graphics, library, math)2022-02-13HenningThielemann
goal-core90.0Common, non-geometric tools for use with Goal (bsd3, library, math)2021-08-31alex404
goal-geometry80.0The basic geometric type system of Goal (bsd3, library, math)2021-08-31alex404
goal-graphical50.0Optimization of latent variable and dynamical models with Goal (bsd3, library, math)2021-08-31alex404
goal-probability60.0Optimization on manifolds of probability distributions with Goal (bsd3, library, math)2021-08-31alex404
goal-simulation30.0Mealy based simulation tools (bsd3, library, math, program)2015-12-22alex404
gray-extended560.0Gray encoding schemes (bsd3, library, math)2021-08-18AmyDeBuitleir
grid352.25Tools for working with regular grids (graphs, lattices). (bsd3, library, math)2021-08-18AmyDeBuitleir
group-theory212.25The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-18ReedMullanix, topos
groups2520.0Groups (algebra, bsd3, data, library, math)2021-05-14NathanVanDoorn
groups-generic110.0Generically derive Group instances. (algebra, bsd3, library, math)2021-02-08sheaf
gsl-random900.0Bindings the the GSL random number generation facilities. (bsd3, library, math)2017-09-15PatrickPerry
gsl-random-fu30.0Instances for using gsl-random with random-fu (library, math, public-domain)2009-05-20JamesCook
gutenberg-fibonaccis330.0The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-09JustinHanekom
hR30.0R bindings and interface (bsd3, foreign, library, math)2012-03-05DylanSimon
hTensor440.0Multidimensional arrays and simple tensor computations. (bsd3, library, math)2016-11-02AlbertoRuiz, DominicSteinitz
haar12.0Haar wavelet transforms (bsd3, library, math)2014-09-22AmyDeBuitleir
hahp00.0Analytic Hierarchy Process (agpl, library, math, program)2016-02-22taeradan, jpierre03
half-space10.0Additive monoids generalising vector spaces (gpl, library, math)2022-04-15leftaroundabout
hascal200.0tiny calculator library and command-line program (console, library, math, parsing, program, tools, utility, utils)2017-02-27DagOdenhall, MekeorMelire
haskell-eigen-util220.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-18dilawars
haskell-igraph450.0Bindings to the igraph C library (v0.8.0). (library, math, mit)2020-02-21kaizhang
haskell-mpfr52.0Correctly-rounded arbitrary-precision floating-point arithmetic (library, math, numeric)2016-02-01ilist
hbayes150.0Bayesian Networks (bsd3, library, math)2016-05-13alpheccar
hblas482.0Human friendly BLAS and Lapack bindings for Haskell. (bsd3, library, math)2018-01-31CarterSchonwald
hcg-minus (deprecated)440.0haskell cg (minus) (bsd3, deprecated, library, math)2017-11-22RohanDrape
hcg-minus-cairo (deprecated)200.0haskell cg (minus) (cairo rendering) (bsd3, deprecated, library, math)2017-11-22RohanDrape
hdr-histogram60.0Haskell implementation of High Dynamic Range (HDR) Histograms (gpl, library, math, statistics)2016-01-03joshbohde
heyting-algebras230.0Heyting and Boolean algebras (bsd3, library, math)2021-03-27coot
hgeometric180.0A geometric library with bindings to GPC. (library, math, mit)2009-06-25DonaldStewart, GwernBranwen, MarcoSilva
hieraclus260.0Automated clustering of arbitrary elements in Haskell. (bsd3, clustering, library, math, statistics)2011-09-29PhilippPribbernow
hirt100.0Calculates IRT 2PL and 3PL models (bsd3, math, program)2012-05-14IvanLabath
hlbfgsb60.0Haskell binding to L-BFGS-B version 3.0 (bsd3, library, math)2012-05-04IvanLabath
hmatrix3192.5Numeric Linear Algebra (bsd3, library, math)2021-03-08AlbertoRuiz, DominicSteinitz
hmatrix-backprop480.0hmatrix operations lifted for backprop (bsd3, library, math)2019-08-18jle
hmatrix-banded (deprecated in favor of lapack)220.0HMatrix interface to LAPACK functions for banded matrices (bsd3, deprecated, library, math)2019-03-19HenningThielemann
hmatrix-glpk640.0Linear Programming based on GLPK (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-gsl560.0Numerical computation (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-gsl-stats1460.0GSL Statistics interface (bsd3, ffi, library, math, statistics)2019-06-11VivianMcPhail
hmatrix-mmap190.0Memory map Vector from disk into memory efficiently (bsd3, library, math, system)2011-02-22AlanFalloon
hmatrix-morpheus402.0Low-level machine learning auxiliary functions. (bsd3, library, math)2018-06-10aignatyev17
hmatrix-nipals120.0NIPALS method for Principal Components Analysis on large data-sets. (lgpl, library, math)2011-02-22AlanFalloon
hmatrix-quadprogpp250.0Bindings to the QuadProg++ quadratic programming library (bsd3, library, math)2017-12-15AkioTakano
hmatrix-repa360.0Adaptors for interoperability between hmatrix and repa (bsd3, data, library, math)2016-09-22VivianMcPhail
hmatrix-sparse60.0Sparse linear solver (bsd3, library, math)2018-04-22DominicSteinitz
hmatrix-special510.0Interface to GSL special functions (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-static250.0hmatrix with vector and matrix sizes encoded in types (library, math)2010-09-12ReinerPope
hmatrix-sundials122.0hmatrix interface to sundials (bsd3, library, math)2019-08-26DominicSteinitz
hmatrix-svdlibc490.0SVDLIBC bindings for HMatrix (bsd3, library, math)2018-09-13BenGamari
hmatrix-syntax200.0MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-31ReinerPope
hmatrix-tests390.0Tests for hmatrix (bsd3, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-vector-sized420.0Conversions between hmatrix and vector-sized types (bsd3, library, math)2020-02-11jle
hmm-hmatrix (deprecated in favor of hmm-lapack)310.0Hidden Markov Models using HMatrix primitives (bsd3, deprecated, library, math)2018-11-13HenningThielemann
hmm-lapack280.0Hidden Markov Models using LAPACK primitives (bsd3, library, math)2021-12-05HenningThielemann
hmpfr832.0Haskell binding to the MPFR library (bsd3, data, library, math)2018-01-16AlesBizjak, MichalKonecny
homeomorphic70.0Homeomorphic Embedding Test (bsd3, library, math)2008-04-03NeilMitchell
hopfield-networks72.0Hopfield Networks for unsupervised learning in Haskell (library, math, mit, program)2013-11-20ajtulloch
hops40.0Handy Operations on Power Series (bsd3, library, math, program)2017-07-03AndersClaesson
hps-kmeans110.0A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-10RodrigoGadea
hs-functors (deprecated)390.0Functors from products of Haskell and its dual to Haskell (bsd3, deprecated, library, math)2020-08-04
hsignal1470.0Signal processing and EEG data analysis (bsd3, library, math)2016-11-14VivianMcPhail
hsilop200.0RPN calculator (math, mit, program)2015-09-19rnhmjoj
hstatistics1530.0Statistics (bsd3, library, math, statistics)2020-08-06VivianMcPhail
hypergeometric22.25Hypergeometric functions (agpl, library, math, statistics)2022-02-07vmchale
hz3 (deprecated)40.0Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, deprecated, formal-methods, library, math, smt, theorem-provers)2019-10-01
ieee (deprecated in favor of ieee754)20.0Utilities for dealing with IEEE floating point numbers (bsd3, deprecated, library, math)2010-09-20PatrickPerry
ieee7541022.0Utilities for dealing with IEEE floating point numbers (bsd3, library, math)2017-01-30PatrickPerry
integer-logarithms2490.0Integer logarithms. (algorithms, library, math, mit, number-theory)2020-11-01phadej
integer-roots640.0Integer roots and perfect powers (algorithms, library, math, mit, number-theory)2021-11-22Bodigrim
interpolation480.0piecewise linear and cubic Hermite interpolation (bsd3, library, math)2021-08-07HenningThielemann
intervals2182.0Interval Arithmetic (bsd3, library, math)2021-02-17EdwardKmett, EricMertens, ryanglscott
involutive-semigroups10.0Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-30nosewings
ipopt-hs390.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
irt100.0Item Response Theory functions for use in computerized adaptive testing (bsd3, library, math)2017-08-03ElliotRobinson
iter-stats180.0iteratees for statistical processing (bsd3, library, math)2015-01-05JohnLato
jacobi-roots200.0Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision (bsd3, library, math)2014-05-27GregHorn
jalla120.0Higher level functions for linear algebra. Wraps BLAS and LAPACKE. (library, math)2015-06-26ChristianGosch
jinquantities132.0Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2018-09-12Novadiscovery
kalman122.0Kalman and particle filters and smoothers (library, math, mit)2016-12-14DominicSteinitz
kleene102.0Kleene algebra (bsd3, library, math)2019-04-25phadej
kmeans-vector260.0An implementation of the kmeans clustering algorithm based on the vector package (bsd3, library, math, program)2015-07-30AlpMestanogullari
kmn-programming10.0K_M,N quadratic programming (bsd3, math, program)2021-12-20PeterDivianszky
knead-arithmetic100.0Linear algebra and interpolation using LLVM JIT (bsd3, library, math)2016-10-09HenningThielemann
knots120.0Khovanov homology computations (library, math, mit, program)2015-04-09maltem
ks-test60.0Kolmogorov distribution and Kolmogorov-Smirnov test. (library, math, numerical, public-domain)2010-09-10JamesCook
l-bfgs-b20.0Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization (bsd3, library, math)2014-07-03GardSpreemann
lagrangian450.0Solve Lagrange multiplier problems (bsd3, library, math)2014-10-09JonathanFischoff, pash
lapack390.0Numerical Linear Algebra using LAPACK (bsd3, library, math)2021-12-05HenningThielemann
lapack-carray280.0Auto-generated interface to Fortran LAPACK via CArrays (bsd3, library, math)2019-01-23HenningThielemann
lapack-comfort-array190.0Auto-generated interface to Fortran LAPACK via comfort-array (bsd3, library, math)2021-08-06HenningThielemann
lapack-ffi290.0Auto-generated interface to Fortran LAPACK (bsd3, library, math)2021-03-14HenningThielemann
lapack-ffi-tools360.0Generator for Haskell interface to Fortran LAPACK (bsd3, math, program)2022-02-04HenningThielemann
lapack-hmatrix30.0Conversion of objects between 'lapack' and 'hmatrix' (bsd3, library, math)2021-12-05HenningThielemann
lattices2222.25Fine-grained library for constructing and manipulating lattices (bsd3, library, math)2021-10-30MaxBolingbroke, phadej
lawz00.0Common mathematical laws. (bsd3, library, math, testing)2020-02-11cmk
lazysplines152.0Differential solving with lazy splines (bsd3, library, math)2019-02-07GershomBazerman
lean (deprecated)50.0Bonds to Lean theorem prover (bsd3, deprecated, library, math)2019-05-15
left4deadrl100.0left4dead-inspired roguelike (bsd3, math, program)2018-04-06AndrewPennebaker
levmar510.0An implementation of the Levenberg-Marquardt algorithm (bsd3, library, math, numerical)2018-05-07BasVanDijk, RoelVanDijk
libroman572.0Use Roman Numerals as a Numeric Datatype (sort of) (bsd3, data, library, math, numerical)2016-10-10ahakki
lie50.0Lie Algebras (bsd3, library, math, program)2019-06-08jumper149
lin-alg150.0Low-dimensional matrices and vectors for graphics and physics (bsd3, library, math)2016-11-05JasonDagit
linda90.0LINear Discriminant Analysis (bsd3, library, math, statistics)2011-09-24LennartSchmitt
linear5302.5Linear Algebra (algebra, bsd3, library, math)2022-06-21AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate550.0Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-28EdwardKmett, TrevorMcDonell, ryanglscott
linear-algebra-cblas60.0A linear algebra library with bindings to BLAS and LAPACK (bsd3, library, math, program)2013-04-18CarterSchonwald
linear-circuit260.0Compute resistance of linear electrical circuits (bsd3, library, math)2021-12-05HenningThielemann
linear-code152.0A simple library for linear codes (coding theory, error correction) (gpl, library, math)2018-08-30wchresta
linear-grammar690.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-13athanclark
linear-tests100.0Linear Algebra (algebra, bsd3, library, math, testing)2020-03-27pdlla
linear-vect150.0A low-dimensional linear algebra library, operating on the Num typeclass (bsd3, library, math)2014-10-05capsjac
linearEqSolver380.0Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2020-05-13LeventErkok
linearmap-category530.0Native, complete, matrix-free linear algebra. (gpl, library, math)2022-04-15leftaroundabout
logfloat1150.0Log-domain floating point numbers (bsd3, data, library, math, natural-language-processing, statistics)2021-10-17WrenThornton, WrenRomano
logic-TPTP900.0Import, export etc. for TPTP, a syntax for first-order logic (codec, library, math, theorem-provers)2020-02-28DanielSchuessler, KiYungAhn, MasahiroSakai
long-double170.0FFI bindings for C long double (bsd3, math)2020-06-15ClaudeHeilandAllen
lowlin140.0Low dimensional linear algebra (bsd3, library, linear-algebra, math)2020-05-06jodak
magico290.0Compute solutions for Magico puzzle (bsd3, math, program)2021-12-05HenningThielemann
magma420.0magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2021-06-18KatsutoshiItoh
magmas40.0Magma-like objects. (bsd3, library, math, numerical)2020-02-20cmk
manifold-random550.0Sampling random points on general manifolds. (gpl, library, math)2022-04-15leftaroundabout
manifolds1030.0Coordinate-free hypersurfaces (gpl, library, math)2022-04-15leftaroundabout
manifolds-core420.0The basic classes for the manifolds hierarchy. (gpl, library, math)2022-04-14leftaroundabout
math-extras190.0A variety of mathematical utilities (bsd3, library, math, numeric)2020-03-03zliu41
math-functions3032.25Collection of tools for numeric computations (bsd2, library, math, numeric)2021-03-27AlexeyKhudyakov, BryanOSullivan
math-grads142.0Library containing graph data structures and graph algorithms (bsd3, graph, library, math)2020-04-02AlexKane
math-programming100.0A library for formulating and solving math programs. (bsd3, library, math)2020-07-05prsteele
math-programming-glpk110.0A GLPK backend to the math-programming library. (bsd3, library, math)2020-07-05prsteele
math-programming-tests70.0Utility functions for testing implementations of the math-programming library. (bsd3, library, math)2020-07-05prsteele
mathexpr280.0Parse and evaluate math expressions with variables and functions (gpl, library, math)2016-11-04mdibaiee
mathflow50.0Dependently typed tensorflow modeler (bsd3, library, math)2017-08-08junjihashimoto
matlab80.0Matlab bindings and interface (bsd3, foreign, library, math, program)2020-07-28DylanSimon, bmsherman, bebarker
matrix1682.25A native implementation of matrix operations. (bsd3, library, math)2018-03-18DanielDiaz
matrix-lens30.0Optics for the "matrix" package (bsd3, library, math)2020-07-07lgastako
matrix-market90.0Read and write NIST Matrix Market files (bsd3, library, math, system)2008-04-04PatrickPerry
matrix-market-pure90.0Pure and composable reader and writer of the Matrix Market format. (bsd3, library, math)2011-02-21SergeyAstanin
matrix-sized270.0Haskell matrix library with interface to C++ linear algebra libraries. (bsd3, library, math)2020-06-22kaizhang
matrix-static332.0Type-safe matrix operations (bsd3, library, math)2020-02-18wchresta
maxent570.0Compute Maximum Entropy Distributions (bsd3, library, math)2014-10-09JonathanFischoff, pash
mcl40.0Bindings to mcl, a generic and fast pairing-based cryptography library (bsd3, crypto, library, math)2017-05-09arybczak
mcmc230.0Sample from a posterior using Markov chain Monte Carlo (gpl, library, math, statistics)2022-05-23dschrempf
mcmc-samplers172.0Combinators for MCMC sampling (bsd3, library, machine-learning, math, numeric, statistics)2014-11-10pravnar, z
mcmc-types271.75Common types for sampling. (library, math, mit, numeric)2016-12-04JaredTobin
mdp60.0Tools for solving Markov Decision Processes. (algorithms, library, math, mit, program)2016-11-29prsteele
mersenne-random380.0Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister (bsd3, library, math, system)2011-06-18DonaldStewart
mersenne-random-pure641410.0Generate high quality pseudorandom numbers purely using a Mersenne Twister (bsd3, library, math, system)2016-08-29BenGamari, DonaldStewart
mfsolve692.0Equation solver and calculator à la metafont (bsd3, library, math)2021-12-30KristofBastiaensen
miniball150.0Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-04GardSpreemann
mixed-strategies40.0Find optimal mixed strategies for two-player games (library, math, mit, program)2012-12-14BartonMassey
mixed-types-num1450.0Alternative Prelude with numeric and logic expressions typed bottom-up (bsd3, library, math)2021-08-03MichalKonecny
mltool242.0Machine Learning Toolbox (bsd3, library, math)2018-06-10aignatyev, aignatyev17
mmsyn2-array-ukrainian-data10.0Data that is taken from the ukrainian-phonetics-basic-array for optimization. (data, language, library, math, mit)2022-02-22OleksandrZhabenko
mod1472.0Fast type-safe modular arithmetic (library, math, mit, number-theory)2021-04-13Bodigrim
modular670.0Type-safe modular arithmetic (bsd3, library, math)2018-11-05pgujjula
modular-arithmetic622.0A type for integers modulo some constant. (bsd3, library, math)2020-08-31TikhonJelvis
monad-lrs (deprecated)110.0a monad to calculate linear recursive sequence (bsd3, deprecated, library, math)2012-03-04BinJin
monoidplus110.0Extra classes/functions about monoids (data, library, math, public-domain)2011-11-12AaronBlack
monoids (deprecated in favor of reducers)1000.0Deprecated: Use 'reducers' (bsd3, data, deprecated, library, math, numerical)2012-02-09DanielWagner, EdwardKmett
monte-carlo500.0A monad and transformer for Monte Carlo calculations. (bsd3, library, math)2017-09-15PatrickPerry
ms00.0metric spaces (bsd2, library, math)2015-07-21RickyElrod
multiset-comb320.0Combinatorial algorithms over multisets (bsd3, library, math)2016-05-09BrentYorgey
mwc-probability1100.0Sampling function-based probability distributions. (library, math, mit)2020-07-31JaredTobin, ocramz
mwc-random5162.0Fast, high quality pseudo random number generation (bsd3, library, math, statistics)2021-08-15AlexeyKhudyakov, BryanOSullivan
mwc-random-monad482.0Monadic interface for mwc-random (bsd3, library, math, statistics)2015-05-20AlexeyKhudyakov
nat30.0Lazy binary natural numbers (bsd3, data, library, math)2012-08-13JanChristiansen
natural-arithmetic1310.0Arithmetic of natural numbers (bsd3, library, math)2022-05-23andrewthad
natural-induction (deprecated)210.0Induction over natural numbers (bsd3, deprecated, library, math)2017-12-14
natural-numbers580.0Natural numbers (bsd3, data, library, math)2012-07-13WolfgangJeltsch
netlib-carray260.0Helper modules for CArray wrappers to BLAS and LAPACK (bsd3, library, math)2019-01-23HenningThielemann
netlib-comfort-array230.0Helper modules for comfort-array wrappers to BLAS and LAPACK (bsd3, library, math)2021-08-06HenningThielemann
netlib-ffi250.0Helper modules for FFI to BLAS and LAPACK (bsd3, library, math)2019-01-05HenningThielemann
network-topic-models60.0A few network topic model implementations for bayes-stack (bsd3, math, program)2012-10-27BenGamari
nimber150.0Finite nimber arithmetic (bsd3, library, math)2019-03-27AndersKaseorg, PatrickHurst
noether30.0Math in Haskell. (library, math, mit, program)2017-06-25mrkgnao
non-negative910.0Non-negative numbers (library, math)2018-02-16HenningThielemann
nonlinear-optimization510.0Various iterative algorithms for optimization of nonlinear functions. (library, math)2020-03-01FelipeLessa
nonlinear-optimization-ad60.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
nonlinear-optimization-backprop00.0Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
normaldistribution680.0Minimum fuss normally distributed random values. (bsd3, library, math, statistics)2011-08-31BjornBuckwalter
np-extras530.0NumericPrelude extras (bsd3, library, math)2022-05-13BrentYorgey
np-linear280.0Linear algebra for the numeric-prelude framework (bsd3, library, math)2014-11-24AriePeterson
nuha150.0Multidimensional arrays, Linear algebra, Numerical analysis (bsd3, library, math, numeric)2020-11-27jodak
number110.0A library for real numbers (library, math, mit)2015-09-10rnhmjoj
numbers1362.0Various number types (bsd3, data, library, math)2018-05-14CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor
numeric-domains60.0Numeric Domains (bsd3, library, math)2019-12-16MichaelSzvetits
numeric-extras360.0Useful tools from the C standard library (bsd3, library, math)2015-09-28EdwardKmett, EricMertens
numeric-ode50.0Ode solvers (bsd3, library, math, program)2017-07-22DominicSteinitz
numeric-prelude1422.0An experimental alternative hierarchy of numeric type classes (bsd3, library, math)2022-05-28HenningThielemann
numeric-quest471.75Math and quantum mechanics (library, math)2018-02-15HenningThielemann
numeric-tools260.0Collection of numerical tools for integration, differentiation etc. (bsd3, library, math, numerical)2014-03-09AlexeyKhudyakov
numerical20.0core package for Numerical Haskell project (bsd2, library, math)2019-01-01CarterSchonwald
numericpeano120.0Peano numbers with attendant bells and whistles. (apache, library, math)2014-12-29jtapolczai, jtapolczai2
numtype210.0Type-level (low cardinality) integers. (bsd3, library, math)2016-05-10BjornBuckwalter
numtype-dk660.0Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. (bsd3, library, math)2021-06-06BjornBuckwalter, dmcclean
numtype-tf170.0Type-level (low cardinality) integers, implemented using type families. (bsd3, library, math)2014-02-11BjornBuckwalter
nurbs150.0NURBS (bsd3, geometry, library, linear-algebra, math)2015-08-21AlexandrRuchkin
oeis210.0Interface to the Online Encyclopedia of Integer Sequences (OEIS) (bsd3, library, math)2020-01-24BrentYorgey, BrianLewis, niteria
oeis2320.0Interface for Online Encyclopedia of Integer Sequences (OEIS). (bsd3, library, math)2022-03-2023prime
optimization450.0Numerical optimization (bsd3, library, math)2018-01-24BenGamari
padic30.0Fast, type-safe p-adic arithmetic (library, math, mit, number-theory)2022-02-03samsergey
pareto100.0A library for cause-effect relationships. (bsd3, library, math)2016-10-19bwe
pareto-front10.0Monoids for dealing with Pareto efficiency (bsd3, library, math)2022-02-09quick_dudley
pava140.0Greatest convex majorants and least concave minorants (gpl, library, math, statistics)2022-02-22dschrempf
peano (deprecated)210.0Peano numbers (data, deprecated, library, math)2015-03-27
pell220.0Package to solve the Generalized Pell Equation. (algorithms, library, math, mit, number-theory)2019-11-12lbrunjes
periodic-polynomials130.0A library for working with periodic polynomials (very basic functionality) (library, math, mit)2020-06-26OleksandrZhabenko
permutation560.0A library for permutations and combinations. (bsd3, data-structures, library, math)2015-01-20PatrickPerry, spacekitteh
permutations (deprecated in favor of Fin)40.0Permutations of finite sets (bsd3, deprecated, library, math)2018-05-14
phonetic-languages-basis40.0A basics of the phonetic-languages functionality. (game, language, library, math, mit)2022-05-31OleksandrZhabenko
phonetic-languages-constaints (deprecated in favor of phonetic-languages-constraints)00.0Constraints to filter the needed permutations (deprecated, language, library, math, mit, phonetic-languages)2020-11-12OleksandrZhabenko
phonetic-languages-constraints20.0Constraints to filter the needed permutations (language, library, math, mit)2020-11-26OleksandrZhabenko
phonetic-languages-constraints-array20.0Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2022-04-25OleksandrZhabenko
phonetic-languages-examples10.0A generalization of the uniqueness-periods-vector-examples functionality. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-02OleksandrZhabenko
phonetic-languages-permutations00.0Commonly used versions of the phonetic-languages-common package (game, language, library, math, mit, phonetic-languages)2020-11-20OleksandrZhabenko
phonetic-languages-permutations-array10.0Permutations and universal set related functions for the phonetic-languages series (game, language, library, math, mit, phonetic-languages)2022-03-24OleksandrZhabenko
phonetic-languages-phonetics-basics70.0A library for working with generalized phonetic languages usage. (game, language, library, math, mit, phonetic-languages, phonetics, program, writing-systems)2022-02-09OleksandrZhabenko
phonetic-languages-plus350.0Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2022-05-31OleksandrZhabenko
phonetic-languages-rhythmicity20.0Allows to estimate the rhythmicity properties for the text (coherency, data, game, language, library, math, mit, phonetic-languages, polyrhythmicity, rap)2022-03-24OleksandrZhabenko
phonetic-languages-simplified-base290.0A basics of the phonetic-languages functionality that can be groupped. (game, language, library, math, mit, phonetic-languages)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-common00.0A simplified version of the phonetic-languages-functionality (game, language, library, math, mit, phonetic-languages)2020-12-05OleksandrZhabenko
phonetic-languages-simplified-examples-array1010.0Helps to create Ukrainian texts with the given phonetic properties. (Ukrainian, game, language, library, math, mit, phonetic-languages, program, prosodic-languages, prosody, rumba, syllables)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-examples-common30.0Some commonly used by phonetic-languages-simplified* series functions. (Ukrainian, game, language, library, math, mit, phonetic-languages)2022-04-25OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-array760.0Helps to create texts with the given phonetic properties (e. g. poetic). (espeak, game, ipa, language, library, math, mit, phonetic-languages, phonetics, prosodic-languages, prosody, writing-systems)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-common10.0Some common code for phonetic languages generalized functionality. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2022-02-09OleksandrZhabenko
phonetic-languages-simplified-generalized-properties-array510.0Some 'properties' of the phonetic languages approach text. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-lists-examples00.0Simplified and somewhat optimized version of the phonetic-languages-examples. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-02OleksandrZhabenko
phonetic-languages-simplified-properties-array590.0Some properties of the data related to rhythmicity. (Ukrainian, game, language, library, math, mit, phonetic-languages)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-properties-array-common40.0Common functionality for 'with-tuples' and old version of properties. (game, language, library, math, mit)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-properties-array-old30.0Some properties of the data related to rhythmicity. (game, language, library, math, mit)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-properties-lists-double10.0A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-02OleksandrZhabenko
pig10.0dice game (bsd3, library, math, program)2018-04-06AndrewPennebaker
plot-gtk-ui380.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)140.0A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-17sumitsahrawat
poker-eval220.0Binding to libpoker-eval (library, math, public-domain)2013-03-08DavidHimmelstrup
polar60.0Complex numbers in polar form (bsd3, library, math)2014-09-10StefanKersten
poly412.0Polynomials (bsd3, library, math, numerical)2020-09-30Bodigrim
polynom (deprecated)50.0Polynomial types and operations (deprecated, library, math)2016-01-21
polynomial352.0Polynomials (library, math, numerical, public-domain)2017-06-14JamesCook
polynomial-algebra60.0Multivariate polynomial rings (bsd3, library, math)2022-03-24BalazsKomuves
polynomials-bernstein230.0A solver for systems of polynomial equations in bernstein form (library, math)2015-09-29JeanPhilippeBernardy, PierreEtienneMeunier
prime170.0prime number tools (gpl, library, math)2021-01-18jlamothe
primecount10.0Bindings to the primecount library (bsd3, library, math, number-theory)2022-01-07pgujjula
primesieve110.0FFI bindings for the primesieve library. (algorithms, foreign, library, math, mit, number-theory, program)2017-09-08sighingnow
probability830.0Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2020-07-28HenningThielemann
probable202.0Easy and reasonably efficient probabilistic programming and random generation (bsd3, library, math, statistics)2018-02-11AlpMestanogullari
product (deprecated)30.0Product category (bsd3, deprecated, library, math)2017-11-28
property (deprecated)40.0common properties (bsd3, deprecated, library, math, testing)2019-10-30cmk
pure-fft340.0Fast Fourier Transform (bsd3, library, math, numerical)2009-03-15MattMorrow
qd00.0double-double and quad-double number type via libqd (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qd-vec00.0'Vec' instances for 'qd' types (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qhull-simple40.0Simple bindings to Qhull, a library for computing convex hulls (bsd3, library, math)2013-07-04GardSpreemann
qlinear140.0Typesafe library for linear algebra (bsd3, library, math)2020-08-12JuniorGarbageCollector
quadratic-irrational450.0An implementation of quadratic irrationals (algorithms, data, library, math, mit)2020-04-15ion, Bodigrim
quantities250.0Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2015-11-07jdreaver
quote-quot230.0Divide without division (bsd3, library, math, numerical)2022-04-11Bodigrim
r-glpk-phonetic-languages-ukrainian-durations30.0Can be used to calculate the durations of the approximations of the Ukrainian phonemes. (Ukrainian, glpk, language, library, math, mit, phonetic-languages, program)2022-03-24OleksandrZhabenko
rad (deprecated in favor of ad)110.0Reverse Automatic Differentiation. (bsd3, deprecated, library, math)2012-05-08EdwardKmett
rampart532.25Determine how intervals relate to each other. (library, math, mit)2022-06-10fozworth
random-extras550.0Additional functions for random values. (bsd3, data, library, math)2012-07-10AristidBreitkreuz
random-fu1470.0Random number generation (math, public-domain)2022-02-19BertramFelgenhauer, DominicSteinitz, JamesCook
random-fu-multivariate10.0Multivariate distributions for random-fu (bsd3, library, math)2019-07-21DominicSteinitz
random-hypergeometric00.0Random variate generation from hypergeometric distributions (library, math, mit)2015-03-30srijs
random-source (deprecated)590.0Generic basis for random number generators (deprecated, library, math, public-domain)2020-08-06BertramFelgenhauer, DominicSteinitz, JamesCook
range-space350.0A Range type with vector-space instances (bsd3, library, math)2015-08-28JohnLato
ratio-int250.0Fast specialisation of Data.Ratio for Int. (bsd3, library, math)2014-06-18RaphaelJavaux
rclient50.0Haskell client for Rserve (bsd3, library, math, network, statistics)2010-12-04TomDoris
reduce-equations50.0Simplify a set of equations by removing redundancies (bsd3, library, math, program)2016-11-12chriswarbo
reducers2630.0Semigroups, specialized containers and a general map/reduce framework (bsd3, data, library, math, numerical, semigroups)2021-11-01EdwardKmett, EricMertens, ryanglscott
regress60.0Linear and logistic regression through automatic differentiation (bsd3, library, math)2015-07-13AlpMestanogullari
regression-simple60.0Simple linear and quadratic regression (bsd3, library, math)2022-01-11phadej
reservoir20.0Unweighted reservoir sampling (bsd3, library, math)2018-07-29haym
resistor-cube440.0Compute total resistance of a cube of resistors (bsd3, math, program)2021-12-05HenningThielemann
rings500.0Ring-like objects. (bsd3, library, math, numerical)2020-03-09cmk
rivers80.0Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-04DrewDay
roots140.0Root-finding algorithms (1-dimensional) (library, math, numerical, public-domain)2012-09-09JamesCook
rounded370.0Correctly-rounded arbitrary-precision floating-point arithmetic (bsd3, library, math, numeric)2020-05-19ClaudeHeilandAllen
rounded-hw160.0Directed rounding for built-in floating types (bsd3, library, math, numeric)2022-01-08aratamizuki
rounding (deprecated)110.0Explicit floating point rounding mode wrappers (bsd3, deprecated, library, math)2010-06-13EdwardKmett
rsagl-math100.0The RogueStar Animation and Graphics Library: Mathematics (bsd3, library, math)2011-04-08ChristopherLaneHinson
ruff110.0relatively useful fractal functions (bsd3, library, math)2016-11-07ClaudeHeilandAllen
rvar760.0Random Variables (library, math, public-domain)2022-05-22BertramFelgenhauer, DominicSteinitz, JamesCook
safe-decimal530.0Safe and very efficient arithmetic operations on fixed decimal point numbers (bsd3, library, math, numeric, numerical)2021-06-10lehins
safe-tensor210.0Dependently typed tensor algebra (library, math, mit)2021-02-27nalex
sampling460.0Sample values from collections. (library, math, mit)2020-07-31JaredTobin
sbv1642.75SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2022-04-27LeventErkok
sbvPlugin650.0Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2022-04-27LeventErkok
science-constants230.0Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-13cbou
science-constants-dimensional70.0Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-13cbou
sde-solver50.0Distributed SDE solver (bsd3, library, math, numerical)2012-12-18DavidNilsson
search82.0Infinite search in finite time with Hilbert's epsilon (bsd3, library, math, search, topology)2017-11-04EdwardKmett
semigroups7292.75Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-11-16EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions70.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-20PetrPudlak
semilattices380.0Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-03robrix
semiring180.0Semirings, ring-like structures used for dynamic programming applications (bsd3, math, natural-language-processing)2010-03-08SashaRush
semiring-simple301.5A module for dealing with semirings. (bsd3, library, math)2016-03-28pharpend
semirings2142.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-07chessai
set-cover600.0Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2020-03-21HenningThielemann
sfmt00.0SIMD-oriented Fast Mersenne Twister(SFMT) binding. (bsd3, library, math, random)2015-04-14HirotomoMoriwaki
sgd500.0Stochastic gradient descent library (bsd3, library, math)2019-11-13JakubWaszczuk
shapes-math50.0faster vector/matrix math using unboxed numbers and Template Haskell (bsd3, library, math, program)2018-05-17ublubu
siggy-chardust160.0Rounding rationals to significant digits and decimal places. (data, library, math, mpl, numeric)2018-06-22philderbeast
sigma-ij160.0Thom polynomials of second order Thom-Boardman singularities (bsd3, library, math, program)2016-10-22BalazsKomuves
sign60.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-26MasahiroSakai
simd100.0simple interface to GHC's SIMD instructions (bsd3, library, math)2014-05-19MikeIzbicki, chessai
simple-smt1320.0A simple way to interact with an SMT solver process. (bsd3, library, math)2021-06-29IavorDiatchki
simple-vec3850.0Three-dimensional vectors of doubles with basic operations (bsd3, library, math, numerical)2020-06-04DmitryDzhus
simplex-basic (deprecated)20.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-13athanclark
singletons-presburger90.0Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2021-11-07HiromiIshii
singular-factory70.0Multivariate polynomial factorization via bindings to Singular-factory (library, math)2019-11-23BalazsKomuves
sloane1050.0A command line interface to Sloane's OEIS. (bsd3, math, program)2017-07-03AndersClaesson
softfloat-hs70.0Haskell bindings for SoftFloat (bsd3, library, math)2018-08-21benselfridge, galoisinc
som62.0Self-Organising Maps (bsd3, library, math)2021-08-18AmyDeBuitleir
sparse-lin-alg262.0Effective linear algebra on sparse matrices (bsd3, library, math)2013-03-23AlexeyAlekhin
sparse-tensor460.0typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-27nalex, TobiReinhart
spatial-math1180.03d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2018-08-21GregHorn, peddie
spatial-rotations110.0Rotate about any suitable axis (gpl, library, math)2022-04-15leftaroundabout
spe10.0Combinatorial species lite (bsd3, library, math)2014-08-06AndersClaesson
species740.0Computational combinatorial species (bsd3, library, math)2018-04-10BrentYorgey
spectral-clustering810.0Library for spectral clustering. (gpl, library, math)2020-05-04GregorySchwartz
speedy-slice470.0Speedy slice sampling. (library, math, mit)2021-02-21JaredTobin
spherical262.0Geometry on a sphere (bsd3, library, math)2020-09-12vmchale
spline3110.0A parallel implementation of the Sorokina/Zeilfelder spline scheme. (agpl, math, program)2019-03-05MichaelOrlitzky
splines200.0B-Splines, other splines, and NURBS. (graphics, library, math, numerical, public-domain)2013-05-28JamesCook
splitmix-distributions122.0Random samplers for some common distributions, based on splitmix. (bsd3, library, math)2022-05-05ocramz
spsa150.0Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (library, math, mit, optimization)2014-01-20yanatan16
squares162.0The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2020-05-27SjoerdVisscher
stable-maps400.0Heterogeneous maps keyed by StableNames (bsd3, library, math)2014-03-13EdwardKmett
staf60.0Numerical statistics for Foldable containers (library, math)2017-01-28lovasko
statistics8572.25A library of statistical types, data, and functions (bsd2, library, math, statistics)2022-05-12AlexeyKhudyakov, BryanOSullivan
statistics-dirichlet190.0Functions for working with Dirichlet densities and mixtures on vectors. (bsd3, library, math)2015-07-21FelipeLessa
statistics-fusion (deprecated in favor of statistics)180.0An implementation of high performance, minimal statistics functions (bsd3, deprecated, library, math)2010-02-20DonaldStewart
statistics-hypergeometric-genvar40.0Random variate generation from hypergeometric distributions (library, math, mit, statistics)2015-03-26srijs
statistics-linreg1452.0Linear regression between two samples, based on the 'statistics' package. (library, math, mit, statistics)2014-08-22AlpMestanogullari
statistics-skinny40.0A library of statistical types, data, and functions (bsd2, library, math, statistics)2021-01-11vmchale
stats60.0command line statistics (gpl, math, program)2013-12-05cheecheeo
stern-brocot (deprecated)50.0Positive rational numbers represented as paths in the Stern-Brocot tree (bsd3, deprecated, library, math, numeric)2019-03-28
stochastic110.0Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-27chokboy
stp100.0Simple Theorem Prover (bsd3, library, math, program)2018-11-21bor0
svm-light-utils200.0Parsers and formatters for the SVMlight input file format (bsd3, library, math)2016-04-13BenGamari
sym30.0Permutations, patterns, and statistics (bsd3, library, math)2017-11-20AndersClaesson
sym-plot120.0Plot permutations; an addition to the sym package (bsd3, library, math)2017-06-10AndersClaesson
symengine180.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-10bollu
symengine-hs130.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-05bollu
tau30.0Tau, the ratio between any circle's circumference and radius. (bsd3, library, math)2013-06-28BrentYorgey
tensor220.0A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-19NicolaSquartini
terntup52.0a ternary library (bsd3, library, math)2016-01-16mcandre
th-cas40.0Compile-time CAS(Computer Algebra System) (library, math, mit, numeric)2015-11-16junjihashimoto
theta-functions150.0Theta-functions implemented as trigonometric series (library, math, public-domain)2012-06-21MarkSafronov
tikzsd00.0A program for generating LaTeX code of string diagrams. (library, math, mit, program)2021-05-04anthonyywang
tilings80.0substitution tilings (bsd3, library, math)2011-05-25ClaudeHeilandAllen
tropical170.0A library for tropical mathematics. (bsd3, library, math)2014-07-13pharpend
turing-machines120.0A simple simulator for Turing machines (library, math, mit)2016-07-24jariazavalverde
turingMachine210.0An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-15sanjorgek
type-natural1952.0Type-level natural and proofs of their properties. (bsd3, library, math)2021-12-11HiromiIshii
type-settheory210.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
uncertain160.0Manipulating numbers with inherent experimental/measurement uncertainty (bsd3, library, math)2016-05-22jle
uniqueness-periods-vector40.0Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. (game, language, library, math, mit, uniqueness)2020-10-14OleksandrZhabenko
uniqueness-periods-vector-common10.0Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-14OleksandrZhabenko
uniqueness-periods-vector-examples00.0Usage examples for the uniqueness-periods-vector series of packages (game, language, library, math, mit, phonetic-languages, program, uniqueness-periods)2021-02-02OleksandrZhabenko
uniqueness-periods-vector-filters20.0A library allows to change the structure of the 'RealFrac' function output. (data, game, language, library, math, mit, uniqueness-periods)2020-10-07OleksandrZhabenko
uniqueness-periods-vector-general10.0Some kind of the optimization approach to data inner structure. (extremum-estimator, game, language, library, math, mit, phonetic-languages, uniqueness)2020-11-12OleksandrZhabenko
uniqueness-periods-vector-properties00.0Metrices for the maximum element for the uniqueness-periods-vector packages family. (game, language, library, math, mit, phonetic-languages, syllable-segmentation)2021-02-02OleksandrZhabenko
uniqueness-periods-vector-stats210.0A very basic descriptive statistics. (data, library, math, mit)2022-05-31OleksandrZhabenko
units652.5A domain-specific type system for dimensional analysis (bsd3, library, math)2022-01-06RichardEisenberg
unittyped80.0An extendable library for type-safe computations including units. (lgpl, library, math, physics)2012-11-26ThijsAlkemade
variable-precision (deprecated in favor of rounded)250.0variable-precision floating point (bsd3, deprecated, library, math)2013-02-18ClaudeHeilandAllen
vect122.0A low-dimensional linear algebra library, tailored to computer graphics. (bsd3, graphics, library, math)2011-06-11BalazsKomuves
vect-floating (deprecated in favor of linear)210.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)30.0Accelerate instances for vect-floating types (bsd3, deprecated, library, math)2014-09-25cdurham
vect-opengl90.0OpenGL support for the `vect' low-dimensional linear algebra library. (bsd3, graphics, library, math)2014-03-19BalazsKomuves
vector-fftw640.0A binding to the fftw library for one-dimensional vectors. (bsd3, library, math)2020-09-01BenGamari, JudahJacobson
vector-space3182.5Vector & affine spaces, linear maps, and derivatives (bsd3, math)2019-01-22ConalElliott
vector-space-map250.0vector-space operations for finite maps using Data.Map (library, math, mit)2018-10-16ChristianConkle
vector-space-opengl150.0Instances of vector-space classes for OpenGL types (bsd3, graphics, library, math)2013-09-30AdamFoltzer
vector-space-points500.0A type for points, as distinct from vectors. (bsd3, library, math)2016-05-21BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
vowpal-utils150.0Vowpal Wabbit utilities (bsd3, library, math)2012-02-21CarterSchonwald
wigner-symbols40.0CG coefficients and Wigner symbols. (library, math, mit)2015-10-02Rufflewind
word (deprecated)131.25Words of arbitrary size (bsd3, data, deprecated, library, math, numeric)2018-05-14
wuerfelschlange10.0Code for the dice chain problem (bsd3, math)2021-12-05HenningThielemann
xorshift50.0Haskell implementation of the xorshift random generator. (library, math)2011-04-11RobertClausecker
xorshift-plus90.0Simple implementation of xorshift+ PRNG (bsd3, library, math)2019-01-28syocy
yhseq180.0Calculation of YH sequence system (apache, library, math, program)2020-08-28Hexirp
yices440.0Haskell programming interface to Yices SMT solver (bsd3, library, math)2012-02-07KiYungAhn
yices-easy120.0Simple interface to the Yices SMT (SAT modulo theories) solver. (algorithms, bsd3, library, math, theorem-provers)2010-09-29KeeganMcAllister
yices-painless140.0An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)2011-01-17DonaldStewart
z3302.25Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2020-08-29IagoAbal