Packages tagged math

695 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (668), bsd3 (456), mit (99), program (84), data (72), gpl (58), deprecated (57), numerical (48), statistics (36), language (34), algebra (33), game (28), numeric (25), graphics (24), algorithms (21), phonetic-languages (21), lgpl (17), public-domain (17), theorem-provers (11), number-theory (10), formal-methods (9), bsd2 (8), data-structures (8), physics (8), optimisation (7), optimization (7), Ukrainian (6), smt (6), apache (5), mathematics (5), maths (5), mpl (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), chemistry (3), foreign (3), linear-algebra (3), natural-language-processing (3), testing (3), type-system (3), uniqueness (3), PhLADiPreLiO (2), clustering (2), console (2), control (2), csv (2), dependent-types (2), finance (2), json (2), machine-learning (2), parsing (2), phladiprelio (2), prosodic-languages (2), prosody (2), science (2), singletons (2), tools (2), uniqueness-periods (2), adjunctions (1), ai (1), ats (1), charts (1), codec (1), coherency (1), combinatorics (1), comonads (1), computer-algebra (1), crypto (1), cryptography (1), data-mining (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
AC-Angle270.0Angles in degrees and radians. (bsd3, data, library, math, numerical)2010-07-23AndrewCoppin
AC-Boolean60.0Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-09AndrewCoppin
AC-Colour200.0Efficient RGB colour types. (bsd3, data, graphics, library, math, numerical)2014-01-12AndrewCoppin
AC-HalfInteger100.0Efficient half-integer type. (bsd3, data, library, math, numerical)2009-08-12AndrewCoppin
AC-Terminal40.0Trivial wrapper over ansi-terminal. (bsd3, data, library, math, numerical)2010-10-28AndrewCoppin
AC-Vector560.0Efficient geometric vectors and transformations. (bsd3, data, graphics, library, math, numerical)2011-08-12AndrewCoppin
AC-Vector-Fancy230.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)70.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)70.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)400.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-11MichalKonecny
AERN-Real-Double (deprecated in favor of aern2-mp, aern2-real)110.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)60.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-11MichalKonecny
AERN-RnToRm (deprecated)290.0polynomial function enclosures (PFEs) approximating exact real functions (bsd3, data, deprecated, library, math)2009-07-29MichalKonecny
AERN-RnToRm-Plot (deprecated)130.0GL plotting of polynomial function enclosures (PFEs) (bsd3, data, deprecated, library, math)2009-08-01MichalKonecny
ApproxFun-hs20.0Function approximation (bsd3, library, math)2015-04-26DominicSteinitz
Baggins30.0Tools for self-assembly (gpl, library, math)2014-06-12pmeunier
BerlekampAlgorithm50.0Factorization of polynomials over finite field (bsd3, library, math)2013-06-10AbdelwahebMiled
Cartesian180.0Coordinate systems (library, math, mit)2016-10-10SwiftsNamesake
ContextAlgebra100.0Implementation of the context algebra. (bsd3, math, program)2016-08-24jhahn
DP70.0Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-08SashaRush
Data-Angle40.0Geometric angles (bsd3, data, library, math)2017-03-26deadmanswitch
Decimal1000.0Decimal numbers with variable precision (bsd3, library, math)2021-03-14PaulJohnson
DifferenceLogic80.0A theory solver for conjunctions of literals in difference logic (bsd3, library, math)2014-11-05dillonhuff
DigitGroup40.0Group the digits of numbers by lots (bsd3, library, math)2022-01-19AlanHawkins
Dist150.0A Haskell library for probability distributions (library, math, mit)2019-06-16wyager
DistanceTransform70.0Distance transform function. (bsd3, library, math)2013-02-16AnthonyCowley
Eq (deprecated)220.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
EqualitySolver120.0A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality (bsd3, library, math)2014-11-02dillonhuff
FirstOrderTheory120.0Grammar and typeclass for first order theories (bsd3, library, math)2014-11-05dillonhuff
GaussQuadIntegration70.0Non-adaptive Gaussian quadrature for numeric integraton (bsd3, library, math)2011-09-15GrigorySarnitsky
GeomPredicates70.0Geometric predicates (bsd3, library, math)2010-06-27NealAlexander
GeomPredicates-SSE40.0Geometric predicates (Intel SSE) (bsd3, library, math)2010-06-27NealAlexander
HABQT50.0Hierarchical adaptive Bayesian quantum tomography for quantum bits (bsd3, library, math, program, quantum)2018-07-01LeonidBelinsky
HERA30.0 (bsd3, library, math)2008-12-05LukePalmer
HQu142.0quantitative finance library (finance, library, math, mit)2021-07-09ghais
HROOT520.0Haskell binding to the ROOT data analysis framework (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-core100.0Haskell binding to ROOT Core modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-graf80.0Haskell binding to ROOT Graf modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-hist130.0Haskell binding to ROOT Hist modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-io60.0Haskell binding to ROOT IO modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-math110.0Haskell binding to ROOT Math modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-tree20.0Haskell binding to ROOT Tree modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HasBigDecimal312.25A library for arbitrary precision decimal numbers. (apache, library, math, program)2022-09-01thma
HaskellForMaths740.0Combinatorics, group theory, commutative algebra, non-commutative algebra (bsd3, library, math)2018-12-15DavidAmos
HaskellLM130.0Pure Haskell implementation of the Levenberg-Marquardt algorithm (library, math)2012-02-29KietLam
HerbiePlugin50.0automatically improve your code's numeric stability (bsd3, library, math)2015-09-28MikeIzbicki
Homology70.0Compute the homology of a chain complex (library, math)2012-06-24DamekDavis
HsASA50.0A haskell interface to Lester Ingber's adaptive simulating annealing code (bsd3, library, math)2012-01-27DonaldStewart, MalcolmWallace
Kalman (deprecated in favor of kalman)80.0A slightly extended Kalman filter (bsd3, deprecated, library, math)2015-04-05DominicSteinitz
LPPaver10.0An automated prover targeting problems that involve nonlinear real arithmetic (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification)2022-10-26JunaidRasheed
LargeCardinalHierarchy80.0A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-07Stephen_E_A_Britton
Lattices180.0A library for lattices (library, math)2018-09-21BartCoppens
LetsBeRational130.0European option implied vol calculation (finance, library, math, mit, numeric, quant)2021-12-19ghais
Logic30.0Logic (library, math, mit)2014-12-29gogotanaka
MIP80.0Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2020-12-26MasahiroSakai
MIP-glpk30.0A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-26MasahiroSakai
MeanShift20.0Mean shift algorithm (bsd3, library, math)2012-04-30VilleTirronen
Modulo90.0Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-08NikolayMurzin
Monocle120.0Symbolic computations in strict monoidal categories with LaTeX output. (bsd3, library, math)2009-12-17OsmanBineev
NTRU90.0NTRU Cryptography (cryptography, library, math)2020-01-27mikewest, Bodigrim
Naperian30.0Naperian Functors for APL-like programming (library, math)2019-03-28DominicSteinitz
NaperianNetCDF20.0Instances of NcStore for hypercuboids (bsd3, library, math, program)2019-04-18DominicSteinitz
NearContextAlgebra60.0Context Algebra of near (bsd3, math, program)2015-10-25jhahn
Noise160.0A Haskell coherent noise generator based on libnoise (bsd3, graphics, library, math, noise)2013-02-25HugoGomes
NumberSieves110.0Number Theoretic Sieves: primes, factorization, and Euler's Totient (bsd3, library, math)2012-08-21LeonSmith
NumberTheory60.0A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-17cfredric
Operads200.0Groebner basis computation for Operads. (bsd3, library, math)2009-08-14MikaelVejdemoJohansson
Ordinals60.0Ordinal arithmetic (bsd3, library, math)2010-07-09KiYungAhn
Paillier70.0a simple Paillier cryptosystem (bsd3, library, math)2013-12-11onemouth
ParserFunction (deprecated in favor of attoparsec)270.0Parse and evaluate mathematical expressions. (bsd3, deprecated, library, math, parsing)2014-05-14EnzoHaussecker
Persistence250.0A versatile library for topological data analysis. (bsd3, data, library, math)2019-08-19Ebanflo
Probnet212.25Geometric Extrapolation of Integer Sequences with error prediction (ai, forecasting, library, math, mit, sequences)2021-06-02vnos
PropaFP40.0Auto-active verification of floating-point programs (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers)2022-10-13JunaidRasheed
ProxN50.0Proximity sets in N dimensions (bsd3, library, math)2012-01-28AndrasSlemmer
RANSAC70.0The RANSAC algorithm for parameter estimation. (bsd3, library, math, numerical)2015-11-19AnthonyCowley
SG30.0Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2009-03-17NeilBrown
SGplus30.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
Smooth30.0A tiny, lazy SMT solver (bsd3, library, math)2014-11-05dillonhuff
TeX-my-math160.0Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math, program)2021-05-18leftaroundabout
Vec370.0Fixed-length lists and low-dimensional linear algebra. (bsd3, data, library, math)2014-08-06ScottDillard
Vec-Boolean180.0Provides Boolean instances for the Vec package (bsd3, data, library, math)2012-08-05TobiasBexelius
Vec-OpenGLRaw30.0Instances and functions to interoperate Vec and OpenGL. (bsd3, graphics, library, math)2010-06-28ChristopherLaneHinson
Vec-Transform200.0This package is obsolete (bsd3, graphics, library, math)2012-08-05TobiasBexelius
WeakSets390.0Simple set types. Useful to create sets of arbitrary types and nested sets. (data, lgpl, library, math)2022-08-30gsabbagh
WeberLogic70.0Logic interpreter (bsd3, library, math, program)2014-03-17cameronbwhite
Xorshift128Plus40.0Pure haskell implementation of xorshift128plus random number generator. (library, math, public-domain)2015-04-14hkanai
ZEBEDDE (deprecated)30.0Polymer growth simulation method (bsd3, deprecated, library, math)2015-07-29hackrilege
accelerate-arithmetic160.0Linear algebra and interpolation using the Accelerate framework (bsd3, library, math)2018-03-17HenningThielemann
accelerate-blas200.0Numeric Linear Algebra in Accelerate (accelerate, bsd3, library, math)2020-08-28TrevorMcDonell
accelerate-cublas40.0Basic Linear Algebra using native CUBLAS library (bsd3, library, math, program)2017-04-23HenningThielemann
accelerate-cufft150.0Accelerate frontend to the CUFFT library (Fourier transform) (bsd3, library, math)2017-12-15HenningThielemann
accelerate-fft280.0FFT using the Accelerate library (accelerate, bsd3, library, math)2020-08-28TrevorMcDonell
accelerate-fftw90.0Accelerate frontend to the FFTW library (Fourier transform) (bsd3, library, math)2018-03-17HenningThielemann
accelerate-fourier180.0Fast Fourier transform and convolution using the Accelerate framework (bsd3, library, math)2018-03-17HenningThielemann
accelerate-fourier-benchmark50.0Compare different implementations of the Fast Fourier Transform (bsd3, math, program)2017-04-23HenningThielemann
accelerate-typelits22.0a typesafe way encode accelerate matrices and vectors (library, math)2016-05-17epsilonhalbe
acts100.0Semigroup actions and torsors. (algebra, bsd3, library, math)2020-02-23sheaf
ad2292.5Automatic Differentiation (bsd3, library, math)2022-06-17EdwardKmett, EricMertens, ryanglscott
ad-delcont172.25Reverse-mode automatic differentiation with delimited continuations (bsd3, library, machine-learning, math, numeric, optimisation, optimization)2021-07-20ocramz
adjunction20.0See README for more info (adjunctions, bsd3, library, math)2020-02-01
aern2-fun20.0Generic operations for real functions (bsd3, library, math)2022-07-14MichalKonecny
aern2-mfun20.0Multi-variate real function optimisation and proving (bsd3, library, math, program)2022-07-14MichalKonecny
aern2-mp590.0Multi-precision ball (interval) arithmetic (bsd3, library, math)2022-08-25MichalKonecny
aern2-real610.0Real numbers as convergent sequences of intervals (bsd3, library, math)2022-08-25MichalKonecny
affine90.0Affine spaces (generalized) (bsd3, library, math)2018-05-17
alg (deprecated)500.0Algebraic structures (bsd3, deprecated, library, math)2019-12-24
algebra1340.0Constructive abstract algebra (algebra, bsd3, library, math)2017-12-25EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic120.0General linear algebra structures. (algebra, bsd3, library, math)2014-06-17danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-classes460.0Conversions between algebraic classes and F-algebras. (bsd3, data, generics, library, math)2020-01-06SjoerdVisscher
antimirov20.0Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-30RickKaudewitz
apportionment241.25Round a set of numbers while maintaining its sum (bsd3, library, math)2022-01-02HenningThielemann
arb-fft110.0Pure Haskell arbitrary length FFT library (bsd3, library, math, program)2016-04-24IanRoss
arithmatic120.0do things with numbers (bsd3, library, math)2017-01-26AlanHawkins
arithmoi2142.0Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2022-08-10CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
arrayfire132.25Haskell bindings to the ArrayFire general-purpose GPU library (bsd3, library, math, program)2022-10-02DavidJohnson
atp40.0Interface to automated theorem provers (formal-methods, gpl, library, logic, math, theorem-provers)2021-01-25EK
atrophy10.0Faster integer division and modulus operations (library, math, mit)2022-08-21goolord
automata50.0automata (bsd3, data, library, math)2019-01-22chessai
backprop622.25Heterogeneous automatic differentation (bsd3, library, math)2020-07-01jle
battleship-combinatorics250.0Compute number of possible arrangements in the battleship game (bsd3, library, math, program)2021-11-18HenningThielemann
bayes-stack30.0Framework for inferring generative probabilistic models with Gibbs sampling (bsd3, library, math)2012-10-27BenGamari
bed-and-breakfast450.0Efficient Matrix and Vector operations in 100% Haskell. (library, linear-algebra, math, mit, numeric)2018-10-22JulianFleischer
besout70.0Extended GCD of polynomials over F_p[x] (bsd3, library, math)2014-06-21AbdelwahebMiled
bin1660.0Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2022-01-03phadej
bindings-mpdecimal (deprecated in favor of deka)100.0bindings to mpdecimal library (bsd3, deprecated, library, math)2014-01-20OmariNorman
bindings-saga-cmd90.0Wrapping saga_cmd (gpl, library, math, program)2015-06-16michelk
bins110.0Aggregate continuous values into discrete bins (bsd3, library, math)2019-10-04jle
blas (deprecated in favor of hblas)180.0Bindings to the BLAS library (bsd3, deprecated, library, math)2009-01-14CarterSchonwald
blas-carray190.0Auto-generated interface to Fortran BLAS via CArrays (bsd3, library, math)2019-01-24HenningThielemann
blas-comfort-array220.0Auto-generated interface to Fortran BLAS via comfort-array (bsd3, library, math)2021-08-06HenningThielemann
blas-ffi210.0Auto-generated interface to Fortran BLAS (bsd3, library, math)2018-12-20HenningThielemann
blas-hs150.0Low-level Haskell bindings to Blas. (library, math, mit)2014-12-27Rufflewind
boltzmann-brain50.0Analytic sampler compiler for combinatorial systems. (bsd3, library, math, program)2019-12-09mbendkowski
boolector380.0Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2020-08-20DeianStefan
boolsimplifier240.0Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-15GershomBazerman
braid20.0Types and functions to work with braids and Khovanov homology. (bsd3, library, math, program)2016-01-18saltza
buffon50.0An implementation of Buffon machines. (bsd2, library, math)2018-03-26DerekElkins
buffon-machines60.0Perfect simulation of discrete random variables (bsd3, library, math)2019-09-16mbendkowski
burst-detection20.0Burst detection algorithms (gpl, library, math)2013-11-08
ca30.0Cellular Automata (bsd3, library, math)2018-04-22
caffegraph92.0 (bsd3, library, math)2015-02-17ajtulloch
cal-layout120.0Calendar Layout Algorithm (bsd3, library, math, program)2019-01-03bor0
calculator632.0A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-10sumitsahrawat
caldims20.0Calculation tool and library supporting units (library, math, program)2008-11-05RickKaudewitz
calendar-recycling150.0List years with the same calendars (bsd3, math, program)2018-08-31HenningThielemann
canon180.0Arithmetic for Psychedelically Large Numbers (library, math, mit)2019-09-03grandpascorpion
casadi-bindings1080.0mid-level bindings to CasADi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-control (deprecated in favor of casadi-bindings-core)30.0low level bindings to casadi-control (deprecated, lgpl, library, math, numerical)2014-08-21GregHorn
casadi-bindings-core500.0autogenerated low level bindings to casadi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-internal230.0low level bindings to CasADi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-ipopt-interface (deprecated in favor of casadi-bindings-core)60.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)80.0low level bindings to casadi-snopt_interface (deprecated, lgpl, library, math, numerical)2014-05-27GregHorn
cash70.0the Computer Algebra SHell (bsd3, computer-algebra, library, math)2012-03-26ChrisBrown
casui20.0Equation Manipulator (math, mit, program)2011-06-04EtienneLaurin
category (deprecated)301.25Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-24
category-traced (deprecated in favor of category)51.25Traced monoidal categories (bsd3, deprecated, library, math)2016-02-24
cayley-dickson330.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cf182.25Exact real arithmetic using continued fractions (library, math, mit)2015-09-03mvr
checksum110.0Compute and verify checksums of ISBN, IBAN, etc. (bsd3, library, math)2018-04-16HenningThielemann
circular470.0Circular fixed-sized mutable vectors (bsd3, data-structures, library, math)2022-07-10dschrempf
cl3272.0Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2022-04-10nwaivio
cl3-hmatrix-interface110.0Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-linear-interface150.0Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-21nwaivio
clac120.0Simple CLI RPN calculator (gpl, math, program)2015-03-18alexander
clif60.0A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-10maaleske
clifford330.0A Clifford algebra library (bsd3, library, math, numerical, program)2014-03-29spacekitteh
closure30.0Depth- and breadth-first set closures (library, math, mit)2013-10-21JosephAbrahamson
clumpiness170.0Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2019-01-21GregorySchwartz
clustering262.0High performance clustering algorithms (library, math, mit)2019-01-08kaizhang
cmath90.0A binding to the standard C math library (bsd3, library, math)2008-03-15DonaldStewart
coincident-root-loci72.0Equivariant CSM classes of coincident root loci (bsd3, library, math)2021-07-26BalazsKomuves
collect-errors290.0Error monad with a Float instance (bsd3, library, math)2021-05-18MichalKonecny
combinat782.0Generate and manipulate various combinatorial objects. (bsd3, library, math)2021-04-25BalazsKomuves
combinat-compat30.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
combinatorial250.0Count, enumerate, rank and unrank combinatorial objects (bsd3, library, math, statistics)2018-08-31HenningThielemann
combinatorics (deprecated in favor of exact-combinatorics)100.0Efficient computation of common combinatoric functions. (bsd3, deprecated, library, math, statistics)2012-01-29WrenThornton
comfort-fftw130.0High-level interface to FFTW (Fast Fourier Transform) based on comfort-array (bsd3, library, math)2021-08-05HenningThielemann
commutative-semigroups1100.0Commutative semigroups (algebra, bsd3, data, library, math)2022-06-12JohnEricson
complex-generic70.0complex numbers with non-mandatory RealFloat (bsd3, library, math)2017-04-03ClaudeHeilandAllen
complex-integrate40.0A simple integration function to integrate a complex-valued complex functions (library, math, public-domain)2012-01-21MarkSafronov
computational-algebra582.25Well-kinded computational algebra library, currently supporting Groebner basis. (bsd3, library, math)2017-12-07HiromiIshii
computational-geometry130.0Collection of algorithms in Computational Geometry. (bsd3, graphics, library, math)2017-10-13MaksymilianOwsianny
conjugateGradient190.0Sparse matrix linear-equation solver (bsd3, library, math)2013-04-20LeventErkok
connections260.0Orders, Galois connections, and lattices. (bsd3, library, math, numerical, program)2021-09-16cmk
constructible130.0Exact computation with constructible real numbers (bsd3, library, math)2021-11-09AndersKaseorg
constructive-algebra350.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
continued-fraction262.0Types and functions for working with continued fractions in Haskell (bsd3, library, math)2018-08-18vmchale
continued-fractions250.0Continued fractions. (library, math, numerical, public-domain)2019-01-29JamesCook, rockbmb
converge140.0Limit operations for converging sequences (library, math, numerical, public-domain)2011-08-15JamesCook
covariance330.0Well-conditioned estimation of large-dimensional covariance matrices (gpl, library, math, statistics)2022-07-10dschrempf
coya10.0Coya monoids (bsd3, data, library, math)2020-07-09chessai
cplex-hs132.0high-level CPLEX interface (bsd3, library, math)2016-11-05stefanjhlk
crf-chain1100.0First-order, linear-chain conditional random fields (bsd3, library, math)2019-11-30JakubWaszczuk
crf-chain1-constrained260.0First-order, constrained, linear-chain conditional random fields (bsd3, library, math)2018-10-30JakubWaszczuk
crf-chain2-generic70.0Second-order, generic, constrained, linear conditional random fields (bsd3, library, math)2013-01-09JakubWaszczuk
cubicspline192.0Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-18GershomBazerman
curve25519290.0Fast implementations of the curve25519 elliptic curve primitives. (bsd3, library, math)2021-11-16AdamWick
cyclotomic480.0A subfield of the complex numbers for exact calculation. (gpl, library, math)2020-05-24ScottWalck
data-category682.25Category theory (bsd3, category-theory, library, math)2020-05-11SjoerdVisscher
data-interval1130.0Interval datatype, interval arithmetic and interval-based containers (bsd3, data, library, math)2021-11-02MasahiroSakai, Bodigrim
data-nat90.0data Nat = Zero | Succ Nat (bsd3, data, library, math)2012-09-23GaborLehel
dde132.0Delay differential equations (bsd3, library, math, program)2018-07-08penkovsky
decimal-literals70.0Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2019-02-20leftaroundabout
declarative430.0DIY Markov Chains. (library, math, mit)2021-02-23JaredTobin
deeplearning-hs60.0Deep Learning in Haskell (library, math, mit, program)2014-05-05ajtulloch
deka190.0Decimal floating point arithmetic (bsd3, library, math)2014-07-16OmariNorman
deka-tests30.0Tests for deka, decimal floating point arithmetic (bsd3, library, math, program)2014-07-16OmariNorman
dense-linear-algebra1470.0Simple and incomplete pure haskell implementation of linear algebra (bsd2, library, math, numeric, statistics)2018-10-11AlexeyKhudyakov
derivation-trees90.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-uom30.0JSON and CSV encoding for quantities. (csv, data, json, library, math, mpl, numeric, physics)2018-06-22philderbeast
dfrac100.0A package for precise decimal arithmatic using rationals. (library, math, mit)2014-08-15georgerogers42
diagrams-solve860.0Pure Haskell solver routines used by diagrams (bsd3, library, math)2021-02-13BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
digamma (deprecated in favor of math-functions)40.0A (deprecated) implementation of the digamma function (bsd3, deprecated, library, math)2016-04-13BenGamari
dimensional1042.5Statically checked physical dimensions (bsd3, library, math, physics)2022-06-22BjornBuckwalter, dmcclean
dimensional-tf (deprecated in favor of dimensional)180.0Statically checked physical dimensions, implemented using type families. (bsd3, deprecated, library, math, physics)2016-12-07BjornBuckwalter
dimensions230.0Safe type-level dimensionality for multidimensional data. (bsd3, geometry, library, math)2021-04-04achirkin
diophantine80.0A quadratic diophantine equation solving library. (gpl, library, math)2014-11-24joejev
directed-cubical100.0Finite directed cubical complexes and associated algorithms (bsd3, library, math)2014-06-08mmisamore
dirichlet300.0Multivariate Dirichlet distribution (bsd3, library, math)2022-07-10dschrempf
distribution152.0Finite discrete probability distributions. (apache, library, math)2017-06-29RomainEdelmann
distribution-plot30.0Easily plot distributions from the distribution package.. (apache, library, math)2014-08-04RomainEdelmann
downhill120.0Reverse mode automatic differentiation (library, math, mit)2022-09-27andriusstank
dozenal40.0A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-11siddhanathan
dsp402.0Haskell Digital Signal Processing (gpl, library, math, sound)2022-09-21HenningThielemann
dual (deprecated)320.0Dual category (bsd3, deprecated, library, math)2020-01-20
dumb-cas150.0A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)2021-01-11leftaroundabout
dvda (deprecated in favor of dynobud)330.0Efficient automatic differentiation and code generation (bsd3, deprecated, library, math, numerical)2014-04-05GregHorn
dyckword140.0A library for working with binary Dyck words. (bsd3, library, math)2017-05-01arbelos
earcut110.0Binding to C++ earcut library. (library, math)2020-07-11DavidHimmelstrup
ease100.0Robert Penner's easing equations (bsd3, game, library, math)2020-10-01fresheyeball
easyplot130.0A tiny plotting library, utilizes gnuplot for plotting. (graphics, library, math, mit, plotting)2013-03-26JulianFleischer
easytensor410.0Pure, type-indexed haskell vector, matrix, and tensor library. (bsd3, geometry, library, math)2021-04-07achirkin
easytensor-vulkan230.0Use easytensor with vulkan-api. (bsd3, geometry, graphics, library, math, opengl, vulkan)2021-04-05achirkin
egyptian-fractions70.0Egyptian fractions in Haskell (bsd3, library, math)2018-06-25vmchale
eigen971.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-11OlegSidorkin, chessai
elbow70.0Find the elbow point. (gpl, library, math)2020-02-20GregorySchwartz
emd420.0Empirical Mode Decomposition and Hilbert-Huang Transform (bsd3, library, math)2019-10-31jle
equational-reasoning981.5Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2021-10-31HiromiIshii
equational-reasoning-induction20.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-native60.0Native Haskell implementation of the interface from the erf package (library, math)2012-01-03JamesCook
estimator150.0State-space estimation algorithms such as Kalman Filters (bsd3, library, math, numerical, statistics)2016-07-19AdamFoltzer, JameySharp
euler350.0Mathematics utilities for Haskell (library, math, mit)2020-05-25decomputed, luisonthekeyboard
exact-combinatorics1160.0Efficient exact computation of combinatoric functions. (bsd3, library, math, statistics)2021-11-03WrenThornton, WrenRomano
exact-cover50.0Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-22arthur
exact-real772.25Exact real arithmetic (library, math, mit)2021-12-13jophish
exact-real-positional30.0Framework for Exact Real Arithmetic in the Positional Number System (bsd3, library, math)2017-07-20grlks
exp-pairs500.0Linear programming over exponent pairs (gpl, library, math)2020-10-03Bodigrim
explicit-determinant30.0explicit computation of determinant of small matrices (gpl, library, math)2014-07-03JohannesWaldmann
expressions481.5Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-30jakubdaniel
expressions-z3280.0Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2019-04-30jakubdaniel
extended-categories70.0Extended Categories (bsd3, library, math)2014-11-23ian_mi
extended-reals920.0Extension of real numbers with positive/negative infinities (bsd3, library, math)2020-03-28MasahiroSakai, Bodigrim
factory570.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-braids330.0Braid representations in Haskell (algebra, bsd2, data, library, math)2020-12-27spopejoy
fast-arithmetic2662.0Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2022-01-17vmchale
fast-math490.0Non IEEE-754 compliant compile-time floating-point optimisations (bsd3, library, math, numeric)2015-08-01LiyangHu, MikeIzbicki
fft732.0Bindings to the FFTW library. (bsd3, library, math)2021-05-21HenningThielemann, JedBrown
fftw-ffi170.0Low-level interface to FFTW (Fast Fourier Transform) (bsd3, library, math)2021-07-26HenningThielemann
fftwRaw110.0Low level bindings to FFTW. (bsd3, library, math)2018-09-04adamwalker
fib80.0fibonacci algebra (bsd3, library, math)2020-07-09chessai
fin2132.0Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2022-01-03phadej
find-clumpiness260.0Find the clumpiness of labels in a tree (gpl, library, math, program)2019-01-21GregorySchwartz
finite-field300.0Finite Fields (algebra, bsd3, data, library, math)2021-01-02MasahiroSakai
finite-fields52.0Arithmetic in finite fields (bsd3, library, math)2021-04-22BalazsKomuves
fixed-point (deprecated)240.0Binary fixed-point arithmetic (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector (deprecated)90.0Unbox instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector-space (deprecated)60.0vector-space instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-precision130.0Fixed Precision Arithmetic (bsd3, library, math)2010-06-15EdwardKmett
fixedprec390.0A fixed-precision real number type (bsd3, data, library, math)2018-11-06PeterSelinger
fizz-buzz150.0Functional Fizz/Buzz (bsd3, library, math)2017-01-26AlanHawkins
flat-mcmc470.0Painless general-purpose sampling. (library, math, mit)2020-10-11JaredTobin
float12850.0FFI bindings for C _Float128 (bsd3, library, math)2020-06-15ClaudeHeilandAllen
foldl-statistics372.0Statistical functions from the statistics package implemented as Folds. (bsd3, library, math, statistics)2018-09-25AlexMason
fp-ieee110.0IEEE 754-2019 compliant operations (bsd3, library, math, numeric)2021-11-30aratamizuki
fplll30.0Haskell bindings to <https://fplll.github.io/fplll/ fplll> (lgpl, library, math)2019-12-05lanceroy
fpnla80.0A library for NLA operations (bsd3, library, math)2014-02-04mblanco
fpnla-examples70.0Example implementations for FPNLA library (bsd3, library, math, parallelism)2014-02-04mblanco
fptest120.0IEEE754r floating point conformance tests (bsd3, math, program)2018-11-15jrp
fractals40.0A collection of useful fractal curve encoders (bsd3, library, math)2015-08-10sdekker
free-functors1060.0Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-05SjoerdVisscher
free-vector-spaces180.0Instantiate the classes from the vector-space package with types from linear (bsd3, library, math)2022-06-01leftaroundabout
frotate70.0Advanced rotation of backups and other things (math, program, system)2019-08-31ip1981
function-instances-algebra30.0Instances of the Algebra.* classes for functions (bsd3, library, math)2012-03-25TobiasBrandt
functor (deprecated in favor of category)80.0Functors (bsd3, control, deprecated, library, math)2017-11-16
game-probability60.0Simple probability library for dice rolls, card games and similar (bsd3, library, math)2010-09-08NeilBrown
gamma200.0Gamma function and related functions. (library, math, numerical, public-domain)2019-02-03JamesCook, rockbmb
garepinoh110.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
geom2d110.0package for geometry in euklidean 2d space (gpl, library, math)2015-11-01seppeljordan
ghc-typelits-presburger961.75Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2022-11-25HiromiIshii
glasso150.0Graphical Lasso algorithm (bsd3, library, math)2015-04-15kaizhang
glicko150.0Glicko-2 implementation in Haskell. (gpl, library, math)2021-01-13rprecenth
glpk-headers50.0Low-level Haskell bindings to GLPK. (bsd3, library, math)2020-07-06prsteele
glpk-hs540.0Comprehensive GLPK linear programming bindings (bsd3, library, math, program)2021-01-29JeanPhilippeBernardy, LouisWasserman
gnuplot1921.52D and 3D plots using gnuplot (bsd3, graphics, library, math)2022-02-13HenningThielemann
goal-core80.0Common, non-geometric tools for use with Goal (bsd3, library, math)2021-08-31alex404
goal-geometry70.0The basic geometric type system of Goal (bsd3, library, math)2021-08-31alex404
goal-graphical30.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-simulation40.0Mealy based simulation tools (bsd3, library, math, program)2015-12-22alex404
gray-extended320.0Gray encoding schemes (bsd3, library, math)2021-08-18AmyDeBuitleir
grid1102.25Tools for working with regular grids (graphs, lattices). (bsd3, library, math)2021-08-18AmyDeBuitleir
group-theory112.25The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-18ReedMullanix, topos
groups1880.0Groups (algebra, bsd3, data, library, math)2021-05-14NathanVanDoorn
groups-generic90.0Generically derive Group instances. (algebra, bsd3, library, math)2021-02-08sheaf
gsl-random540.0Bindings the the GSL random number generation facilities. (bsd3, library, math)2017-09-15PatrickPerry
gsl-random-fu40.0Instances for using gsl-random with random-fu (library, math, public-domain)2009-05-20JamesCook
gutenberg-fibonaccis240.0The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-09JustinHanekom
hR70.0R bindings and interface (bsd3, foreign, library, math)2012-03-05DylanSimon
hTensor250.0Multidimensional arrays and simple tensor computations. (bsd3, library, math)2016-11-02AlbertoRuiz, DominicSteinitz
haar32.0Haar wavelet transforms (bsd3, library, math)2014-09-22AmyDeBuitleir
hahp70.0Analytic Hierarchy Process (agpl, library, math, program)2016-02-22taeradan, jpierre03
half-space30.0Additive monoids generalising vector spaces (gpl, library, math)2022-04-15leftaroundabout
hascal280.0tiny calculator library and command-line program (console, library, math, parsing, program, tools, utility, utils)2017-02-27DagOdenhall, MekeorMelire
haskell-eigen-util150.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-18dilawars
haskell-igraph310.0Bindings to the igraph C library (v0.8.0). (library, math, mit)2020-02-21kaizhang
haskell-mpfr32.0Correctly-rounded arbitrary-precision floating-point arithmetic (library, math, numeric)2016-02-01ilist
hbayes220.0Bayesian Networks (bsd3, library, math)2016-05-13alpheccar
hblas262.0Human friendly BLAS and Lapack bindings for Haskell. (bsd3, library, math)2018-01-31CarterSchonwald
hcg-minus (deprecated)320.0haskell cg (minus) (bsd3, deprecated, library, math)2017-11-22RohanDrape
hcg-minus-cairo (deprecated)100.0haskell cg (minus) (cairo rendering) (bsd3, deprecated, library, math)2017-11-22RohanDrape
hdr-histogram30.0Haskell implementation of High Dynamic Range (HDR) Histograms (gpl, library, math, statistics)2016-01-03joshbohde
heyting-algebras50.0Heyting and Boolean algebras (bsd3, library, math)2021-03-27coot
hgeometric60.0A geometric library with bindings to GPC. (library, math, mit)2009-06-25DonaldStewart, GwernBranwen, MarcoSilva
hieraclus60.0Automated clustering of arbitrary elements in Haskell. (bsd3, clustering, library, math, statistics)2011-09-29PhilippPribbernow
hirt40.0Calculates IRT 2PL and 3PL models (bsd3, math, program)2012-05-14IvanLabath
hlbfgsb10.0Haskell binding to L-BFGS-B version 3.0 (bsd3, library, math)2012-05-04IvanLabath
hmatrix1362.5Numeric Linear Algebra (bsd3, library, math)2021-03-08AlbertoRuiz, DominicSteinitz
hmatrix-backprop120.0hmatrix operations lifted for backprop (bsd3, library, math)2019-08-18jle
hmatrix-banded (deprecated in favor of lapack)40.0HMatrix interface to LAPACK functions for banded matrices (bsd3, deprecated, library, math)2019-03-19HenningThielemann
hmatrix-glpk150.0Linear Programming based on GLPK (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-gsl310.0Numerical computation (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-gsl-stats580.0GSL Statistics interface (bsd3, ffi, library, math, statistics)2019-06-11VivianMcPhail
hmatrix-mmap40.0Memory map Vector from disk into memory efficiently (bsd3, library, math, system)2011-02-22AlanFalloon
hmatrix-morpheus182.0Low-level machine learning auxiliary functions. (bsd3, library, math)2018-06-10aignatyev17
hmatrix-nipals60.0NIPALS method for Principal Components Analysis on large data-sets. (lgpl, library, math)2011-02-22AlanFalloon
hmatrix-quadprogpp110.0Bindings to the QuadProg++ quadratic programming library (bsd3, library, math)2017-12-15AkioTakano
hmatrix-repa130.0Adaptors for interoperability between hmatrix and repa (bsd3, data, library, math)2016-09-22VivianMcPhail
hmatrix-sparse10.0Sparse linear solver (bsd3, library, math)2018-04-22DominicSteinitz
hmatrix-special220.0Interface to GSL special functions (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-static50.0hmatrix with vector and matrix sizes encoded in types (library, math)2010-09-12ReinerPope
hmatrix-sundials32.0hmatrix interface to sundials (bsd3, library, math)2019-08-26DominicSteinitz
hmatrix-svdlibc150.0SVDLIBC bindings for HMatrix (bsd3, library, math)2018-09-13BenGamari
hmatrix-syntax40.0MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-31ReinerPope
hmatrix-tests190.0Tests for hmatrix (bsd3, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-vector-sized200.0Conversions between hmatrix and vector-sized types (bsd3, library, math)2020-02-11jle
hmm-hmatrix (deprecated in favor of hmm-lapack)80.0Hidden Markov Models using HMatrix primitives (bsd3, deprecated, library, math)2018-11-13HenningThielemann
hmm-lapack150.0Hidden Markov Models using LAPACK primitives (bsd3, library, math)2021-12-05HenningThielemann
hmpfr472.0Haskell binding to the MPFR library (bsd3, data, library, math)2022-12-01AlesBizjak, MichalKonecny
homeomorphic20.0Homeomorphic Embedding Test (bsd3, library, math)2008-04-03NeilMitchell
hopfield-networks42.0Hopfield Networks for unsupervised learning in Haskell (library, math, mit, program)2013-11-20ajtulloch
hops150.0Handy Operations on Power Series (bsd3, library, math, program)2017-07-03AndersClaesson
hps-kmeans50.0A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-10RodrigoGadea
hs-functors (deprecated)110.0Functors from products of Haskell and its dual to Haskell (bsd3, deprecated, library, math)2020-08-04
hsignal480.0Signal processing and EEG data analysis (bsd3, library, math)2016-11-14VivianMcPhail
hsilop40.0RPN calculator (math, mit, program)2015-09-19rnhmjoj
hstatistics470.0Statistics (bsd3, library, math, statistics)2020-08-06VivianMcPhail
hypergeomatrix20.0Hypergeometric function of a matrix argument (bsd3, library, math, numeric)2022-08-08stla
hypergeometric132.25Hypergeometric functions (agpl, library, math, statistics)2022-12-01vmchale
hz3 (deprecated)20.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)110.0Utilities for dealing with IEEE floating point numbers (bsd3, deprecated, library, math)2010-09-20PatrickPerry
ieee754812.0Utilities for dealing with IEEE floating point numbers (bsd3, library, math)2017-01-30PatrickPerry
integer-logarithms2080.0Integer logarithms. (algorithms, library, math, mit, number-theory)2020-11-01phadej
integer-roots560.0Integer roots and perfect powers (algorithms, library, math, mit, number-theory)2021-11-22Bodigrim
interpolation190.0piecewise linear and cubic Hermite interpolation (bsd3, library, math)2021-08-07HenningThielemann
interval-patterns140.0Intervals, and monoids thereof (algebra, bsd3, charts, data-structures, library, math, statistics, unclassified)2022-08-04melaniebrown
intervals1272.0Interval Arithmetic (bsd3, library, math)2021-02-17EdwardKmett, EricMertens, ryanglscott
involutive-semigroups10.0Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-30nosewings
ipopt-hs110.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
irt70.0Item Response Theory functions for use in computerized adaptive testing (bsd3, library, math)2017-08-03ElliotRobinson
iter-stats50.0iteratees for statistical processing (bsd3, library, math)2015-01-05JohnLato
jackpolynomials20.0Jack, zonal, and Schur polynomials (algebra, gpl, library, math)2022-08-08stla
jacobi-roots50.0Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision (bsd3, library, math)2014-05-27GregHorn
jalla50.0Higher level functions for linear algebra. Wraps BLAS and LAPACKE. (library, math)2015-06-26ChristianGosch
jinquantities42.0Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2018-09-12Novadiscovery
kalman72.0Kalman and particle filters and smoothers (library, math, mit)2016-12-14DominicSteinitz
kleene112.0Kleene algebra (bsd3, library, math)2019-04-25phadej
kmeans-vector70.0An implementation of the kmeans clustering algorithm based on the vector package (bsd3, library, math, program)2015-07-30AlpMestanogullari
kmn-programming20.0K_M,N quadratic programming (bsd3, math, program)2021-12-20PeterDivianszky
knead-arithmetic30.0Linear algebra and interpolation using LLVM JIT (bsd3, library, math)2016-10-09HenningThielemann
knots20.0Khovanov homology computations (library, math, mit, program)2015-04-09maltem
ks-test30.0Kolmogorov distribution and Kolmogorov-Smirnov test. (library, math, numerical, public-domain)2010-09-10JamesCook
l-bfgs-b30.0Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization (bsd3, library, math)2014-07-03GardSpreemann
lagrangian110.0Solve Lagrange multiplier problems (bsd3, library, math)2014-10-09JonathanFischoff, pash
lapack230.0Numerical Linear Algebra using LAPACK (bsd3, library, math)2021-12-05HenningThielemann
lapack-carray150.0Auto-generated interface to Fortran LAPACK via CArrays (bsd3, library, math)2019-01-23HenningThielemann
lapack-comfort-array170.0Auto-generated interface to Fortran LAPACK via comfort-array (bsd3, library, math)2021-08-06HenningThielemann
lapack-ffi160.0Auto-generated interface to Fortran LAPACK (bsd3, library, math)2021-03-14HenningThielemann
lapack-ffi-tools230.0Generator for Haskell interface to Fortran LAPACK (bsd3, math, program)2022-02-04HenningThielemann
lapack-hmatrix60.0Conversion of objects between 'lapack' and 'hmatrix' (bsd3, library, math)2021-12-05HenningThielemann
lattices1452.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
lazysplines32.0Differential solving with lazy splines (bsd3, library, math)2019-02-07GershomBazerman
lean (deprecated)00.0Bonds to Lean theorem prover (bsd3, deprecated, library, math)2019-05-15
left4deadrl20.0left4dead-inspired roguelike (bsd3, math, program)2018-04-06AndrewPennebaker
levmar240.0An implementation of the Levenberg-Marquardt algorithm (bsd3, library, math, numerical)2018-05-07BasVanDijk, RoelVanDijk
libroman172.0Use Roman Numerals as a Numeric Datatype (sort of) (bsd3, data, library, math, numerical)2016-10-10ahakki
lie10.0Lie Algebras (bsd3, library, math, program)2019-06-08jumper149
lin-alg40.0Low-dimensional matrices and vectors for graphics and physics (bsd3, library, math)2016-11-05JasonDagit
linda70.0LINear Discriminant Analysis (bsd3, library, math, statistics)2011-09-24LennartSchmitt
linear3782.5Linear Algebra (algebra, bsd3, library, math)2022-11-30AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate270.0Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-28EdwardKmett, TrevorMcDonell, ryanglscott
linear-algebra-cblas10.0A linear algebra library with bindings to BLAS and LAPACK (bsd3, library, math, program)2013-04-18CarterSchonwald
linear-circuit140.0Compute resistance of linear electrical circuits (bsd3, library, math)2021-12-05HenningThielemann
linear-code52.0A simple library for linear codes (coding theory, error correction) (gpl, library, math)2018-08-30wchresta
linear-grammar350.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-13athanclark
linear-tests30.0Linear Algebra (algebra, bsd3, library, math, testing)2020-03-27pdlla
linear-vect50.0A low-dimensional linear algebra library, operating on the Num typeclass (bsd3, library, math)2014-10-05capsjac
linearEqSolver60.0Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2020-05-13LeventErkok
linearmap-category130.0Native, complete, matrix-free linear algebra. (gpl, library, math)2022-09-19leftaroundabout
logfloat450.0Log-domain floating point numbers (bsd3, data, library, math, natural-language-processing, statistics)2021-10-17WrenThornton, WrenRomano
logic-TPTP190.0Import, export etc. for TPTP, a syntax for first-order logic (codec, library, math, theorem-provers)2020-02-28DanielSchuessler, KiYungAhn, MasahiroSakai
long-double200.0FFI bindings for C long double (bsd3, math)2020-06-15ClaudeHeilandAllen
lowlin00.0Low dimensional linear algebra (bsd3, library, linear-algebra, math)2020-05-06jodak
magico130.0Compute solutions for Magico puzzle (bsd3, math, program)2021-12-05HenningThielemann
magma210.0magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2021-06-18KatsutoshiItoh
magmas00.0Magma-like objects. (bsd3, library, math, numerical)2020-02-20cmk
manifold-random100.0Sampling random points on general manifolds. (gpl, library, math)2022-04-15leftaroundabout
manifolds230.0Coordinate-free hypersurfaces (gpl, library, math)2022-04-15leftaroundabout
manifolds-core60.0The basic classes for the manifolds hierarchy. (gpl, library, math)2022-04-14leftaroundabout
math-extras100.0A variety of mathematical utilities (bsd3, library, math, numeric)2020-03-03zliu41
math-functions2242.25Collection of tools for numeric computations (bsd2, library, math, numeric)2021-03-27AlexeyKhudyakov, BryanOSullivan
math-grads02.0Library containing graph data structures and graph algorithms (bsd3, graph, library, math)2020-04-02AlexKane
math-programming00.0A library for formulating and solving math programs. (bsd3, library, math)2020-07-05prsteele
math-programming-glpk20.0A GLPK backend to the math-programming library. (bsd3, library, math)2020-07-05prsteele
math-programming-tests00.0Utility functions for testing implementations of the math-programming library. (bsd3, library, math)2020-07-05prsteele
mathexpr190.0Parse and evaluate math expressions with variables and functions (gpl, library, math)2022-07-14mdibaiee
mathflow10.0Dependently typed tensorflow modeler (bsd3, library, math)2017-08-08junjihashimoto
matlab40.0Matlab bindings and interface (bsd3, foreign, library, math, program)2020-07-28DylanSimon, bmsherman, bebarker
matrix1142.25A native implementation of matrix operations. (bsd3, library, math)2018-03-18DanielDiaz
matrix-lens10.0Optics for the "matrix" package (bsd3, library, math)2020-07-07lgastako
matrix-market40.0Read and write NIST Matrix Market files (bsd3, library, math, system)2008-04-04PatrickPerry
matrix-market-pure20.0Pure and composable reader and writer of the Matrix Market format. (bsd3, library, math)2011-02-21SergeyAstanin
matrix-sized10.0Haskell matrix library with interface to C++ linear algebra libraries. (bsd3, library, math)2020-06-22kaizhang
matrix-static202.0Type-safe matrix operations (bsd3, library, math)2020-02-18wchresta
maxent120.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
mcmc340.0Sample from a posterior using Markov chain Monte Carlo (gpl, library, math, statistics)2022-09-09dschrempf
mcmc-samplers52.0Combinators for MCMC sampling (bsd3, library, machine-learning, math, numeric, statistics)2014-11-10pravnar, z
mcmc-types201.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-random180.0Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister (bsd3, library, math, system)2011-06-18DonaldStewart
mersenne-random-pure641330.0Generate high quality pseudorandom numbers purely using a Mersenne Twister (bsd3, library, math, system)2016-08-29BenGamari, DonaldStewart
mfsolve562.0Equation solver and calculator à la metafont (bsd3, library, math)2021-12-30KristofBastiaensen
miniball60.0Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-04GardSpreemann
mixed-strategies10.0Find optimal mixed strategies for two-player games (library, math, mit, program)2012-12-14BartonMassey
mixed-types-num540.0Alternative Prelude with numeric and logic expressions typed bottom-up (bsd3, library, math)2022-08-25MichalKonecny
mltool92.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
mod1072.0Fast type-safe modular arithmetic (library, math, mit, number-theory)2021-04-13Bodigrim
modular140.0Type-safe modular arithmetic (bsd3, library, math)2018-11-05pgujjula
modular-arithmetic322.0A type for integers modulo some constant. (bsd3, library, math)2022-11-11TikhonJelvis
monad-lrs (deprecated)40.0a monad to calculate linear recursive sequence (bsd3, deprecated, library, math)2012-03-04BinJin
monoidplus20.0Extra classes/functions about monoids (data, library, math, public-domain)2011-11-12AaronBlack
monoids (deprecated in favor of reducers)290.0Deprecated: Use 'reducers' (bsd3, data, deprecated, library, math, numerical)2012-02-09DanielWagner, EdwardKmett
monte-carlo120.0A monad and transformer for Monte Carlo calculations. (bsd3, library, math)2017-09-15PatrickPerry
mpolynomials20.0Simple multivariate polynomials. (algebra, gpl, library, math)2022-08-05stla
ms40.0metric spaces (bsd2, library, math)2015-07-21RickyElrod
multiset-comb110.0Combinatorial algorithms over multisets (bsd3, library, math)2016-05-09BrentYorgey
mwc-probability420.0Sampling function-based probability distributions. (library, math, mit)2020-07-31JaredTobin, ocramz
mwc-random2952.0Fast, high quality pseudo random number generation (bsd3, library, math, statistics)2021-08-15AlexeyKhudyakov, BryanOSullivan
mwc-random-monad262.0Monadic interface for mwc-random (bsd3, library, math, statistics)2015-05-20AlexeyKhudyakov
nat50.0Lazy binary natural numbers (bsd3, data, library, math)2012-08-13JanChristiansen
natural-arithmetic930.0Arithmetic of natural numbers (bsd3, library, math)2022-05-23andrewthad
natural-induction (deprecated)160.0Induction over natural numbers (bsd3, deprecated, library, math)2017-12-14
natural-numbers170.0Natural numbers (bsd3, data, library, math)2012-07-13WolfgangJeltsch
netlib-carray140.0Helper modules for CArray wrappers to BLAS and LAPACK (bsd3, library, math)2019-01-23HenningThielemann
netlib-comfort-array150.0Helper modules for comfort-array wrappers to BLAS and LAPACK (bsd3, library, math)2021-08-06HenningThielemann
netlib-ffi170.0Helper modules for FFI to BLAS and LAPACK (bsd3, library, math)2019-01-05HenningThielemann
network-topic-models20.0A few network topic model implementations for bayes-stack (bsd3, math, program)2012-10-27BenGamari
nimber40.0Finite nimber arithmetic (bsd3, library, math)2019-03-27AndersKaseorg, PatrickHurst
noether30.0Math in Haskell. (library, math, mit, program)2017-06-25mrkgnao
non-negative450.0Non-negative numbers (library, math)2018-02-16HenningThielemann
nonlinear-optimization210.0Various iterative algorithms for optimization of nonlinear functions. (library, math)2020-03-01FelipeLessa
nonlinear-optimization-ad120.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
nonlinear-optimization-backprop20.0Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
normaldistribution400.0Minimum fuss normally distributed random values. (bsd3, library, math, statistics)2011-08-31BjornBuckwalter
np-extras130.0NumericPrelude extras (bsd3, library, math)2022-05-13BrentYorgey
np-linear70.0Linear algebra for the numeric-prelude framework (bsd3, library, math)2014-11-24AriePeterson
nuha60.0Multidimensional arrays, Linear algebra, Numerical analysis (bsd3, library, math, numeric)2020-11-27jodak
number70.0A library for real numbers (library, math, mit)2015-09-10rnhmjoj
number-wall40.0Create number walls and save them as images (algorithms, graphics, image, library, math, mit)2022-09-03OwenBechtel
numbers642.0Various number types (bsd3, data, library, math)2018-05-14CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor
numeric-domains00.0Numeric Domains (bsd3, library, math)2019-12-16MichaelSzvetits
numeric-extras200.0Useful tools from the C standard library (bsd3, library, math)2015-09-28EdwardKmett, EricMertens
numeric-ode10.0Ode solvers (bsd3, library, math, program)2017-07-22DominicSteinitz
numeric-prelude582.0An experimental alternative hierarchy of numeric type classes (bsd3, library, math)2022-05-28HenningThielemann
numeric-quest231.75Math and quantum mechanics (library, math)2018-02-15HenningThielemann
numeric-tools50.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
numericpeano60.0Peano numbers with attendant bells and whistles. (apache, library, math)2014-12-29jtapolczai, jtapolczai2
numtype80.0Type-level (low cardinality) integers. (bsd3, library, math)2016-05-10BjornBuckwalter
numtype-dk580.0Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. (bsd3, library, math)2021-06-06BjornBuckwalter, dmcclean
numtype-tf70.0Type-level (low cardinality) integers, implemented using type families. (bsd3, library, math)2014-02-11BjornBuckwalter
nurbs20.0NURBS (bsd3, geometry, library, linear-algebra, math)2015-08-21AlexandrRuchkin
oeis380.0Interface to the Online Encyclopedia of Integer Sequences (OEIS) (bsd3, library, math)2020-01-24BrentYorgey, BrianLewis, niteria
oeis2160.0Interface for Online Encyclopedia of Integer Sequences (OEIS). (bsd3, library, math)2022-03-2023prime
optimization90.0Numerical optimization (bsd3, library, math)2018-01-24BenGamari
padic20.0Fast, type-safe p-adic arithmetic (library, math, mit, number-theory)2022-02-03samsergey
pareto30.0A library for cause-effect relationships. (bsd3, library, math)2016-10-19bwe
pareto-front20.0Monoids for dealing with Pareto efficiency (bsd3, library, math)2022-02-09quick_dudley
pava180.0Greatest convex majorants and least concave minorants (gpl, library, math, statistics)2022-07-10dschrempf
peano (deprecated)250.0Peano numbers (data, deprecated, library, math)2015-03-27
pell70.0Package to solve the Generalized Pell Equation. (algorithms, library, math, mit, number-theory)2019-11-12lbrunjes
periodic-polynomials30.0A library for working with periodic polynomials (very basic functionality) (library, math, mit)2020-06-26OleksandrZhabenko
permutation320.0A library for permutations and combinations. (bsd3, data-structures, library, math)2015-01-20PatrickPerry, spacekitteh
permutations (deprecated in favor of Fin)20.0Permutations of finite sets (bsd3, deprecated, library, math)2018-05-14
phonetic-languages-basis20.0A basics of the phonetic-languages functionality. (game, language, library, math, mit)2022-09-13OleksandrZhabenko
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-constraints00.0Constraints to filter the needed permutations (language, library, math, mit)2020-11-26OleksandrZhabenko
phonetic-languages-constraints-array40.0Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2022-04-25OleksandrZhabenko
phonetic-languages-examples190.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-array100.0Permutations and universal set related functions for the phonetic-languages series (game, language, library, math, mit, phonetic-languages)2022-03-24OleksandrZhabenko
phonetic-languages-phonetics-basics350.0A library for working with generalized phonetic languages usage. (game, language, library, math, mit, phonetic-languages, phonetics, program, writing-systems)2022-09-13OleksandrZhabenko
phonetic-languages-plus120.0Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2022-05-31OleksandrZhabenko
phonetic-languages-rhythmicity230.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-base140.0A basics of the phonetic-languages functionality that can be groupped. (game, language, library, math, mit, phonetic-languages)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-common30.0A simplified version of the phonetic-languages-functionality (game, language, library, math, mit, phonetic-languages)2020-12-05OleksandrZhabenko
phonetic-languages-simplified-examples-array560.0Helps to create Ukrainian texts with the given phonetic properties. (PhLADiPreLiO, Ukrainian, game, language, library, math, mit, phladiprelio, phonetic-languages, program, prosodic-languages, prosody, rumba, syllables)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-examples-common170.0Some commonly used by phonetic-languages-simplified* series functions. (Ukrainian, game, language, library, math, mit, phonetic-languages)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-array430.0Helps to create texts with the given phonetic properties (e. g. poetic). (PhLADiPreLiO, espeak, game, ipa, language, library, math, mit, phladiprelio, phonetic-languages, phonetics, prosodic-languages, prosody, writing-systems)2022-09-14OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-common90.0Some common code for phonetic languages generalized functionality. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2022-09-14OleksandrZhabenko
phonetic-languages-simplified-generalized-properties-array300.0Some 'properties' of the phonetic languages approach text. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-lists-examples80.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-array270.0Some properties of the data related to rhythmicity. (Ukrainian, game, language, library, math, mit, phonetic-languages)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-properties-array-common20.0Common functionality for 'with-tuples' and old version of properties. (game, language, library, math, mit)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-properties-array-old10.0Some properties of the data related to rhythmicity. (game, language, library, math, mit)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-properties-lists-double30.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-ui110.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)70.0A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-17sumitsahrawat
poker-eval60.0Binding to libpoker-eval (library, math, public-domain)2013-03-08DavidHimmelstrup
polar40.0Complex numbers in polar form (bsd3, library, math)2014-09-10StefanKersten
poly272.0Polynomials (bsd3, library, math, numerical)2020-09-30Bodigrim
polynom (deprecated)10.0Polynomial types and operations (deprecated, library, math)2016-01-21
polynomial132.0Polynomials (library, math, numerical, public-domain)2017-06-14JamesCook
polynomial-algebra20.0Multivariate polynomial rings (bsd3, library, math)2022-03-24BalazsKomuves
polynomials-bernstein130.0A solver for systems of polynomial equations in bernstein form (library, math)2015-09-29JeanPhilippeBernardy, PierreEtienneMeunier
prime10.0prime number tools (gpl, library, math)2021-01-18jlamothe
primecount30.0Bindings to the primecount library (bsd3, library, math, number-theory)2022-01-07pgujjula
primesieve100.0FFI bindings for the primesieve library. (algorithms, foreign, library, math, mit, number-theory, program)2017-09-08sighingnow
prob10.0Discrete probability monad (bsd3, library, math)2022-07-30ChrisSmith
probability420.0Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2020-07-28HenningThielemann
probable62.0Easy and reasonably efficient probabilistic programming and random generation (bsd3, library, math, statistics)2018-02-11AlpMestanogullari
product (deprecated)10.0Product category (bsd3, deprecated, library, math)2017-11-28
property (deprecated)40.0common properties (bsd3, deprecated, library, math, testing)2019-10-30cmk
pure-fft240.0Fast Fourier Transform (bsd3, library, math, numerical)2009-03-15MattMorrow
qd80.0double-double and quad-double number type via libqd (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qd-vec20.0'Vec' instances for 'qd' types (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qhull30.0Delaunay triangulation, Voronoi diagrams and convex hulls. (gpl, library, math)2022-08-06andrewufrank
qhull-simple10.0Simple bindings to Qhull, a library for computing convex hulls (bsd3, library, math)2013-07-04GardSpreemann
qlinear00.0Typesafe library for linear algebra (bsd3, library, math)2020-08-12JuniorGarbageCollector
quadratic-irrational310.0An implementation of quadratic irrationals (algorithms, data, library, math, mit)2020-04-15ion, Bodigrim
quantities90.0Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2015-11-07jdreaver
quantizer00.0Library to provide the behaviour similar to quantum states superposition. (library, math, mit)2022-09-13OleksandrZhabenko
quote-quot190.0Divide without division (bsd3, library, math, numerical)2022-04-11Bodigrim
r-glpk-phonetic-languages-ukrainian-durations120.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
rampart262.25Determine how intervals relate to each other. (library, math, mit)2022-08-27fozworth
random-extras160.0Additional functions for random values. (bsd3, data, library, math)2012-07-10AristidBreitkreuz
random-fu770.0Random number generation (math, public-domain)2022-02-19BertramFelgenhauer, DominicSteinitz, JamesCook
random-fu-multivariate30.0Multivariate distributions for random-fu (bsd3, library, math)2019-07-21DominicSteinitz
random-hypergeometric20.0Random variate generation from hypergeometric distributions (library, math, mit)2015-03-30srijs
random-source (deprecated)280.0Generic basis for random number generators (deprecated, library, math, public-domain)2020-08-06BertramFelgenhauer, DominicSteinitz, JamesCook
range-space100.0A Range type with vector-space instances (bsd3, library, math)2015-08-28JohnLato
ratio-int130.0Fast specialisation of Data.Ratio for Int. (bsd3, library, math)2014-06-18RaphaelJavaux
rclient30.0Haskell client for Rserve (bsd3, library, math, network, statistics)2010-12-04TomDoris
reduce-equations10.0Simplify a set of equations by removing redundancies (bsd3, library, math, program)2016-11-12chriswarbo
reducers1340.0Semigroups, specialized containers and a general map/reduce framework (bsd3, data, library, math, numerical, semigroups)2021-11-01EdwardKmett, EricMertens, ryanglscott
regress30.0Linear and logistic regression through automatic differentiation (bsd3, library, math)2015-07-13AlpMestanogullari
regression-simple30.0Simple linear and quadratic regression (bsd3, library, math)2022-01-11phadej
reservoir30.0Unweighted reservoir sampling (bsd3, library, math)2018-07-29haym
resistor-cube140.0Compute total resistance of a cube of resistors (bsd3, math, program)2021-12-05HenningThielemann
rings00.0Ring-like objects. (bsd3, library, math, numerical)2020-03-09cmk
rivers20.0Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-04DrewDay
roots50.0Root-finding algorithms (1-dimensional) (library, math, numerical, public-domain)2012-09-09JamesCook
rounded110.0Correctly-rounded arbitrary-precision floating-point arithmetic (bsd3, library, math, numeric)2020-05-19ClaudeHeilandAllen
rounded-hw110.0Directed rounding for built-in floating types (bsd3, library, math, numeric)2022-01-08aratamizuki
rounding (deprecated)40.0Explicit floating point rounding mode wrappers (bsd3, deprecated, library, math)2010-06-13EdwardKmett
rsagl-math50.0The RogueStar Animation and Graphics Library: Mathematics (bsd3, library, math)2011-04-08ChristopherLaneHinson
ruff70.0relatively useful fractal functions (bsd3, library, math)2016-11-07ClaudeHeilandAllen
rvar500.0Random Variables (library, math, public-domain)2022-05-22BertramFelgenhauer, DominicSteinitz, JamesCook
safe-decimal290.0Safe and very efficient arithmetic operations on fixed decimal point numbers (bsd3, library, math, numeric, numerical)2021-06-10lehins
safe-tensor60.0Dependently typed tensor algebra (library, math, mit)2021-02-27nalex
sampling220.0Sample values from collections. (library, math, mit)2020-07-31JaredTobin
sbv2972.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
sbvPlugin150.0Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2022-04-27LeventErkok
science-constants40.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-solver10.0Distributed SDE solver (bsd3, library, math, numerical)2012-12-18DavidNilsson
search32.0Infinite search in finite time with Hilbert's epsilon (bsd3, library, math, search, topology)2017-11-04EdwardKmett
semigroups5332.75Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-11-16EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions20.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-20PetrPudlak
semilattices220.0Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-03robrix
semiring40.0Semirings, ring-like structures used for dynamic programming applications (bsd3, math, natural-language-processing)2010-03-08SashaRush
semiring-simple161.5A module for dealing with semirings. (bsd3, library, math)2016-03-28pharpend
semirings1592.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-07chessai
set-cover380.0Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2020-03-21HenningThielemann
sfmt20.0SIMD-oriented Fast Mersenne Twister(SFMT) binding. (bsd3, library, math, random)2015-04-14HirotomoMoriwaki
sgd210.0Stochastic gradient descent library (bsd3, library, math)2019-11-13JakubWaszczuk
shapes-math10.0faster vector/matrix math using unboxed numbers and Template Haskell (bsd3, library, math, program)2018-05-17ublubu
siggy-chardust110.0Rounding rationals to significant digits and decimal places. (data, library, math, mpl, numeric)2018-06-22philderbeast
sigma-ij30.0Thom polynomials of second order Thom-Boardman singularities (bsd3, library, math, program)2016-10-22BalazsKomuves
sign180.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-26MasahiroSakai
significant-figures20.0Calculate expressions involving significant figures. (chemistry, gpl, library, math, program)2022-10-13mizlan
simd20.0simple interface to GHC's SIMD instructions (bsd3, library, math)2014-05-19MikeIzbicki, chessai
simple-smt950.0A simple way to interact with an SMT solver process. (bsd3, library, math)2021-06-29IavorDiatchki
simple-vec3290.0Three-dimensional vectors of doubles with basic operations (bsd3, library, math, numerical)2020-06-04DmitryDzhus
simplex-basic (deprecated)30.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-13athanclark
simplex-method20.0Implementation of the two-phase simplex method in exact rational arithmetic (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization)2022-07-18JunaidRasheed
singletons-presburger440.0Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2022-11-25HiromiIshii
singular-factory10.0Multivariate polynomial factorization via bindings to Singular-factory (library, math)2019-11-23BalazsKomuves
sloane400.0A command line interface to Sloane's OEIS. (bsd3, math, program)2017-07-03AndersClaesson
softfloat-hs20.0Haskell bindings for SoftFloat (bsd3, library, math)2018-08-21benselfridge, galoisinc
som532.0Self-Organising Maps (bsd3, library, math)2021-08-18AmyDeBuitleir
sparse-lin-alg82.0Effective linear algebra on sparse matrices (bsd3, library, math)2013-03-23AlexeyAlekhin
sparse-tensor210.0typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-27nalex, TobiReinhart
spatial-math430.03d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2018-08-21GregHorn, peddie
spatial-rotations30.0Rotate about any suitable axis (gpl, library, math)2022-04-15leftaroundabout
spe110.0Combinatorial species lite (bsd3, library, math)2014-08-06AndersClaesson
species180.0Computational combinatorial species (bsd3, library, math)2018-04-10BrentYorgey
spectral-clustering100.0Library for spectral clustering. (gpl, library, math)2020-05-04GregorySchwartz
speedy-slice240.0Speedy slice sampling. (library, math, mit)2021-02-21JaredTobin
spherical72.0Geometry on a sphere (bsd3, library, math)2020-09-12vmchale
spline350.0A parallel implementation of the Sorokina/Zeilfelder spline scheme. (agpl, math, program)2022-08-28MichaelOrlitzky
splines70.0B-Splines, other splines, and NURBS. (graphics, library, math, numerical, public-domain)2013-05-28JamesCook
splitmix-distributions202.0Random samplers for some common distributions, based on splitmix. (bsd3, library, math)2022-05-05ocramz
spsa30.0Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (library, math, mit, optimization)2014-01-20yanatan16
squares22.0The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2020-05-27SjoerdVisscher
stable-maps120.0Heterogeneous maps keyed by StableNames (bsd3, library, math)2014-03-13EdwardKmett
staf20.0Numerical statistics for Foldable containers (library, math)2017-01-28lovasko
statistics4292.25A library of statistical types, data, and functions (bsd2, library, math, statistics)2022-05-12AlexeyKhudyakov, BryanOSullivan
statistics-dirichlet70.0Functions for working with Dirichlet densities and mixtures on vectors. (bsd3, library, math)2015-07-21FelipeLessa
statistics-fusion (deprecated in favor of statistics)40.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-linreg1242.0Linear regression between two samples, based on the 'statistics' package. (library, math, mit, statistics)2014-08-22AlpMestanogullari
statistics-skinny00.0A library of statistical types, data, and functions (bsd2, library, math, statistics)2021-01-11vmchale
stats40.0command line statistics (gpl, math, program)2013-12-05cheecheeo
stern-brocot (deprecated)00.0Positive rational numbers represented as paths in the Stern-Brocot tree (bsd3, deprecated, library, math, numeric)2019-03-28
stochastic40.0Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-27chokboy
stp30.0Simple Theorem Prover (bsd3, library, math, program)2018-11-21bor0
svm-light-utils50.0Parsers and formatters for the SVMlight input file format (bsd3, library, math)2016-04-13BenGamari
sym240.0Permutations, patterns, and statistics (bsd3, library, math)2017-11-20AndersClaesson
sym-plot30.0Plot permutations; an addition to the sym package (bsd3, library, math)2017-06-10AndersClaesson
symengine120.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-10bollu
symengine-hs40.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-05bollu
tau160.0Tau, the ratio between any circle's circumference and radius. (bsd3, library, math)2013-06-28BrentYorgey
tensor100.0A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-19NicolaSquartini
terntup12.0a ternary library (bsd3, library, math)2016-01-16mcandre
th-cas20.0Compile-time CAS(Computer Algebra System) (library, math, mit, numeric)2015-11-16junjihashimoto
theta-functions40.0Theta-functions implemented as trigonometric series (library, math, public-domain)2012-06-21MarkSafronov
tikzsd10.0A program for generating LaTeX code of string diagrams. (library, math, mit, program)2021-05-04anthonyywang
tilings40.0substitution tilings (bsd3, library, math)2011-05-25ClaudeHeilandAllen
tropical40.0A library for tropical mathematics. (bsd3, library, math)2014-07-13pharpend
turing-machines40.0A simple simulator for Turing machines (library, math, mit)2016-07-24jariazavalverde
turingMachine40.0An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-15sanjorgek
type-natural832.0Type-level natural and proofs of their properties. (bsd3, library, math)2022-11-25HiromiIshii
type-settheory70.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
uncertain90.0Manipulating numbers with inherent experimental/measurement uncertainty (bsd3, library, math)2016-05-22jle
uniqueness-periods-vector10.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-examples390.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-filters10.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-general30.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-properties180.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-stats70.0A very basic descriptive statistics. (data, library, math, mit)2022-05-31OleksandrZhabenko
units382.5A domain-specific type system for dimensional analysis (bsd3, library, math)2022-01-06RichardEisenberg
unittyped40.0An extendable library for type-safe computations including units. (lgpl, library, math, physics)2012-11-26ThijsAlkemade
variable-precision (deprecated in favor of rounded)90.0variable-precision floating point (bsd3, deprecated, library, math)2013-02-18ClaudeHeilandAllen
vect112.0A low-dimensional linear algebra library, tailored to computer graphics. (bsd3, graphics, library, math)2011-06-11BalazsKomuves
vect-floating (deprecated in favor of linear)70.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)70.0Accelerate instances for vect-floating types (bsd3, deprecated, library, math)2014-09-25cdurham
vect-opengl60.0OpenGL support for the `vect' low-dimensional linear algebra library. (bsd3, graphics, library, math)2014-03-19BalazsKomuves
vector-fftw200.0A binding to the fftw library for one-dimensional vectors. (bsd3, library, math)2020-09-01BenGamari, JudahJacobson
vector-space1422.5Vector & affine spaces, linear maps, and derivatives (bsd3, math)2019-01-22ConalElliott
vector-space-map90.0vector-space operations for finite maps using Data.Map (library, math, mit)2018-10-16ChristianConkle
vector-space-opengl40.0Instances of vector-space classes for OpenGL types (bsd3, graphics, library, math)2013-09-30AdamFoltzer
vector-space-points (deprecated in favor of linear)130.0A type for points, as distinct from vectors. (bsd3, deprecated, library, math)2016-05-21BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
vowpal-utils60.0Vowpal Wabbit utilities (bsd3, library, math)2012-02-21CarterSchonwald
wigner-symbols60.0CG coefficients and Wigner symbols. (library, math, mit)2015-10-02Rufflewind
word (deprecated)71.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
xorshift30.0Haskell implementation of the xorshift random generator. (library, math)2011-04-11RobertClausecker
xorshift-plus20.0Simple implementation of xorshift+ PRNG (bsd3, library, math)2019-01-28syocy
yhseq00.0Calculation of YH sequence system (apache, library, math, program)2020-08-28Hexirp
yices120.0Haskell programming interface to Yices SMT solver (bsd3, library, math)2012-02-07KiYungAhn
yices-easy30.0Simple interface to the Yices SMT (SAT modulo theories) solver. (algorithms, bsd3, library, math, theorem-provers)2010-09-29KeeganMcAllister
yices-painless50.0An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)2011-01-17DonaldStewart
z3562.25Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2020-08-29IagoAbal