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-Angle230.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-Colour150.0Efficient RGB colour types. (bsd3, data, graphics, library, math, numerical)2014-01-12AndrewCoppin
AC-HalfInteger110.0Efficient half-integer type. (bsd3, data, library, math, numerical)2009-08-12AndrewCoppin
AC-Terminal70.0Trivial wrapper over ansi-terminal. (bsd3, data, library, math, numerical)2010-10-28AndrewCoppin
AC-Vector550.0Efficient geometric vectors and transformations. (bsd3, data, graphics, library, math, numerical)2011-08-12AndrewCoppin
AC-Vector-Fancy200.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)60.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)60.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)260.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-11MichalKonecny
AERN-Real-Double (deprecated in favor of aern2-mp, aern2-real)90.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)200.0polynomial function enclosures (PFEs) approximating exact real functions (bsd3, data, deprecated, library, math)2009-07-29MichalKonecny
AERN-RnToRm-Plot (deprecated)90.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
BerlekampAlgorithm40.0Factorization of polynomials over finite field (bsd3, library, math)2013-06-10AbdelwahebMiled
Cartesian130.0Coordinate systems (library, math, mit)2016-10-10SwiftsNamesake
ContextAlgebra80.0Implementation of the context algebra. (bsd3, math, program)2016-08-24jhahn
DP50.0Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-08SashaRush
Data-Angle50.0Geometric angles (bsd3, data, library, math)2017-03-26deadmanswitch
Decimal870.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
Dist80.0A Haskell library for probability distributions (library, math, mit)2019-06-16wyager
DistanceTransform70.0Distance transform function. (bsd3, library, math)2013-02-16AnthonyCowley
Eq (deprecated)210.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
EqualitySolver110.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
GaussQuadIntegration80.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
HABQT70.0Hierarchical adaptive Bayesian quantum tomography for quantum bits (bsd3, library, math, program, quantum)2018-07-01LeonidBelinsky
HERA30.0 (bsd3, library, math)2008-12-05LukePalmer
HQu112.0quantitative finance library (finance, library, math, mit)2021-07-09ghais
HROOT380.0Haskell binding to the ROOT data analysis framework (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-core90.0Haskell binding to ROOT Core modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-graf60.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-io50.0Haskell binding to ROOT IO modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-math90.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
HasBigDecimal342.25A library for arbitrary precision decimal numbers. (apache, library, math, program)2022-09-01thma
HaskellForMaths580.0Combinatorics, group theory, commutative algebra, non-commutative algebra (bsd3, library, math)2018-12-15DavidAmos
HaskellLM110.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
Homology60.0Compute the homology of a chain complex (library, math)2012-06-24DamekDavis
HsASA40.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
LargeCardinalHierarchy70.0A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-07Stephen_E_A_Britton
Lattices170.0A library for lattices (library, math)2018-09-21BartCoppens
LetsBeRational120.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-glpk20.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
Modulo70.0Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-08NikolayMurzin
Monocle80.0Symbolic computations in strict monoidal categories with LaTeX output. (bsd3, library, math)2009-12-17OsmanBineev
NTRU70.0NTRU Cryptography (cryptography, library, math)2020-01-27mikewest, Bodigrim
Naperian30.0Naperian Functors for APL-like programming (library, math)2019-03-28DominicSteinitz
NaperianNetCDF30.0Instances of NcStore for hypercuboids (bsd3, library, math, program)2019-04-18DominicSteinitz
NearContextAlgebra50.0Context Algebra of near (bsd3, math, program)2015-10-25jhahn
Noise100.0A Haskell coherent noise generator based on libnoise (bsd3, graphics, library, math, noise)2013-02-25HugoGomes
NumberSieves100.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
Operads140.0Groebner basis computation for Operads. (bsd3, library, math)2009-08-14MikaelVejdemoJohansson
Ordinals50.0Ordinal arithmetic (bsd3, library, math)2010-07-09KiYungAhn
Paillier50.0a simple Paillier cryptosystem (bsd3, library, math)2013-12-11onemouth
ParserFunction (deprecated in favor of attoparsec)220.0Parse and evaluate mathematical expressions. (bsd3, deprecated, library, math, parsing)2014-05-14EnzoHaussecker
Persistence160.0A versatile library for topological data analysis. (bsd3, data, library, math)2019-08-19Ebanflo
Probnet172.25Geometric Extrapolation of Integer Sequences with error prediction (ai, forecasting, library, math, mit, sequences)2021-06-02vnos
PropaFP50.0Auto-active verification of floating-point programs (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers)2022-10-13JunaidRasheed
ProxN60.0Proximity sets in N dimensions (bsd3, library, math)2012-01-28AndrasSlemmer
RANSAC60.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-math130.0Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math, program)2021-05-18leftaroundabout
Vec280.0Fixed-length lists and low-dimensional linear algebra. (bsd3, data, library, math)2014-08-06ScottDillard
Vec-Boolean110.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-Transform140.0This package is obsolete (bsd3, graphics, library, math)2012-08-05TobiasBexelius
WeakSets290.0Simple set types. Useful to create sets of arbitrary types and nested sets. (data, lgpl, library, math)2022-08-30gsabbagh
WeberLogic50.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-arithmetic140.0Linear algebra and interpolation using the Accelerate framework (bsd3, library, math)2018-03-17HenningThielemann
accelerate-blas170.0Numeric Linear Algebra in Accelerate (accelerate, bsd3, library, math)2020-08-28TrevorMcDonell
accelerate-cublas30.0Basic Linear Algebra using native CUBLAS library (bsd3, library, math, program)2017-04-23HenningThielemann
accelerate-cufft120.0Accelerate frontend to the CUFFT library (Fourier transform) (bsd3, library, math)2017-12-15HenningThielemann
accelerate-fft260.0FFT using the Accelerate library (accelerate, bsd3, library, math)2020-08-28TrevorMcDonell
accelerate-fftw70.0Accelerate frontend to the FFTW library (Fourier transform) (bsd3, library, math)2018-03-17HenningThielemann
accelerate-fourier140.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-typelits32.0a typesafe way encode accelerate matrices and vectors (library, math)2016-05-17epsilonhalbe
acts230.0Semigroup actions and torsors. (algebra, bsd3, library, math)2022-12-03sheaf
ad1762.5Automatic Differentiation (bsd3, library, math)2022-06-17EdwardKmett, EricMertens, ryanglscott
ad-delcont162.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-mp480.0Multi-precision ball (interval) arithmetic (bsd3, library, math)2022-08-25MichalKonecny
aern2-real430.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)350.0Algebraic structures (bsd3, deprecated, library, math)2019-12-24
algebra1090.0Constructive abstract algebra (algebra, bsd3, library, math)2017-12-25EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic100.0General linear algebra structures. (algebra, bsd3, library, math)2014-06-17danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-classes290.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
apportionment211.25Round a set of numbers while maintaining its sum (bsd3, library, math)2022-01-02HenningThielemann
arb-fft80.0Pure Haskell arbitrary length FFT library (bsd3, library, math, program)2016-04-24IanRoss
arithmatic100.0do things with numbers (bsd3, library, math)2017-01-26AlanHawkins
arithmoi1872.0Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2022-08-10CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
arrayfire72.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
automata60.0automata (bsd3, data, library, math)2019-01-22chessai
backprop482.25Heterogeneous automatic differentation (bsd3, library, math)2020-07-01jle
battleship-combinatorics220.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-breakfast370.0Efficient Matrix and Vector operations in 100% Haskell. (library, linear-algebra, math, mit, numeric)2018-10-22JulianFleischer
besout60.0Extended GCD of polynomials over F_p[x] (bsd3, library, math)2014-06-21AbdelwahebMiled
bin1720.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-cmd100.0Wrapping saga_cmd (gpl, library, math, program)2015-06-16michelk
bins100.0Aggregate continuous values into discrete bins (bsd3, library, math)2019-10-04jle
blas (deprecated in favor of hblas)130.0Bindings to the BLAS library (bsd3, deprecated, library, math)2009-01-14CarterSchonwald
blas-carray170.0Auto-generated interface to Fortran BLAS via CArrays (bsd3, library, math)2019-01-24HenningThielemann
blas-comfort-array200.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-brain40.0Analytic sampler compiler for combinatorial systems. (bsd3, library, math, program)2019-12-09mbendkowski
boolector280.0Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2020-08-20DeianStefan
boolsimplifier200.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
buffon40.0An implementation of Buffon machines. (bsd2, library, math)2018-03-26DerekElkins
buffon-machines20.0Perfect simulation of discrete random variables (bsd3, library, math)2019-09-16mbendkowski
burst-detection10.0Burst detection algorithms (gpl, library, math)2013-11-08
ca50.0Cellular Automata (bsd3, library, math)2018-04-22
caffegraph82.0 (bsd3, library, math)2015-02-17ajtulloch
cal-layout120.0Calendar Layout Algorithm (bsd3, library, math, program)2019-01-03bor0
calculator392.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-recycling140.0List years with the same calendars (bsd3, math, program)2018-08-31HenningThielemann
canon110.0Arithmetic for Psychedelically Large Numbers (library, math, mit)2019-09-03grandpascorpion
casadi-bindings690.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-core340.0autogenerated low level bindings to casadi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-internal170.0low level bindings to CasADi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-ipopt-interface (deprecated in favor of casadi-bindings-core)50.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)90.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)201.25Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-24
category-traced (deprecated in favor of category)41.25Traced monoidal categories (bsd3, deprecated, library, math)2016-02-24
cayley-dickson230.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cf132.25Exact real arithmetic using continued fractions (library, math, mit)2015-09-03mvr
checksum100.0Compute and verify checksums of ISBN, IBAN, etc. (bsd3, library, math)2018-04-16HenningThielemann
circular380.0Circular fixed-sized mutable vectors (bsd3, data-structures, library, math)2022-07-10dschrempf
cl3152.0Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2022-04-10nwaivio
cl3-hmatrix-interface90.0Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-linear-interface110.0Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-21nwaivio
clac80.0Simple CLI RPN calculator (gpl, math, program)2015-03-18alexander
clif50.0A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-10maaleske
clifford200.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
clumpiness150.0Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2019-01-21GregorySchwartz
clustering162.0High performance clustering algorithms (library, math, mit)2019-01-08kaizhang
cmath70.0A binding to the standard C math library (bsd3, library, math)2008-03-15DonaldStewart
coincident-root-loci62.0Equivariant CSM classes of coincident root loci (bsd3, library, math)2021-07-26BalazsKomuves
collect-errors220.0Error monad with a Float instance (bsd3, library, math)2021-05-18MichalKonecny
combinat632.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-diagrams50.0Graphical representations for various combinatorial objects (bsd3, library, math)2015-10-30BalazsKomuves
combinatorial240.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-fftw150.0High-level interface to FFTW (Fast Fourier Transform) based on comfort-array (bsd3, library, math)2021-08-05HenningThielemann
commutative-semigroups1140.0Commutative semigroups (algebra, bsd3, data, library, math)2022-06-12JohnEricson
complex-generic60.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-algebra442.25Well-kinded computational algebra library, currently supporting Groebner basis. (bsd3, library, math)2017-12-07HiromiIshii
computational-geometry100.0Collection of algorithms in Computational Geometry. (bsd3, graphics, library, math)2017-10-13MaksymilianOwsianny
conjugateGradient130.0Sparse matrix linear-equation solver (bsd3, library, math)2013-04-20LeventErkok
connections190.0Orders, Galois connections, and lattices. (bsd3, library, math, numerical, program)2021-09-16cmk
constructible100.0Exact computation with constructible real numbers (bsd3, library, math)2021-11-09AndersKaseorg
constructive-algebra250.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
continued-fraction172.0Types and functions for working with continued fractions in Haskell (bsd3, library, math)2018-08-18vmchale
continued-fractions190.0Continued fractions. (library, math, numerical, public-domain)2019-01-29JamesCook, rockbmb
converge130.0Limit operations for converging sequences (library, math, numerical, public-domain)2011-08-15JamesCook
covariance290.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-hs82.0high-level CPLEX interface (bsd3, library, math)2016-11-05stefanjhlk
crf-chain170.0First-order, linear-chain conditional random fields (bsd3, library, math)2019-11-30JakubWaszczuk
crf-chain1-constrained190.0First-order, constrained, linear-chain conditional random fields (bsd3, library, math)2018-10-30JakubWaszczuk
crf-chain2-generic50.0Second-order, generic, constrained, linear conditional random fields (bsd3, library, math)2013-01-09JakubWaszczuk
cubicspline182.0Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-18GershomBazerman
curve25519230.0Fast implementations of the curve25519 elliptic curve primitives. (bsd3, library, math)2021-11-16AdamWick
cyclotomic340.0A subfield of the complex numbers for exact calculation. (gpl, library, math)2020-05-24ScottWalck
data-category442.25Category theory (bsd3, category-theory, library, math)2020-05-11SjoerdVisscher
data-interval1080.0Interval datatype, interval arithmetic and interval-based containers (bsd3, data, library, math)2021-11-02MasahiroSakai, Bodigrim
data-nat80.0data Nat = Zero | Succ Nat (bsd3, data, library, math)2012-09-23GaborLehel
dde92.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
declarative330.0DIY Markov Chains. (library, math, mit)2021-02-23JaredTobin
deeplearning-hs40.0Deep Learning in Haskell (library, math, mit, program)2014-05-05ajtulloch
deka130.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-algebra1440.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-sci150.0JSON and CSV encoding for rationals as decimal point numbers. (csv, data, json, library, math, mpl, numeric)2018-06-22philderbeast
detour-via-uom20.0JSON and CSV encoding for quantities. (csv, data, json, library, math, mpl, numeric, physics)2018-06-22philderbeast
dfrac80.0A package for precise decimal arithmatic using rationals. (library, math, mit)2014-08-15georgerogers42
diagrams-solve910.0Pure Haskell solver routines used by diagrams (bsd3, library, math)2021-02-13BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
digamma (deprecated in favor of math-functions)30.0A (deprecated) implementation of the digamma function (bsd3, deprecated, library, math)2016-04-13BenGamari
dimensional742.5Statically checked physical dimensions (bsd3, library, math, physics)2022-06-22BjornBuckwalter, dmcclean
dimensional-tf (deprecated in favor of dimensional)130.0Statically checked physical dimensions, implemented using type families. (bsd3, deprecated, library, math, physics)2016-12-07BjornBuckwalter
dimensions180.0Safe type-level dimensionality for multidimensional data. (bsd3, geometry, library, math)2021-04-04achirkin
diophantine60.0A quadratic diophantine equation solving library. (gpl, library, math)2014-11-24joejev
directed-cubical70.0Finite directed cubical complexes and associated algorithms (bsd3, library, math)2014-06-08mmisamore
dirichlet200.0Multivariate Dirichlet distribution (bsd3, library, math)2022-07-10dschrempf
distribution142.0Finite discrete probability distributions. (apache, library, math)2017-06-29RomainEdelmann
distribution-plot40.0Easily plot distributions from the distribution package.. (apache, library, math)2014-08-04RomainEdelmann
downhill100.0Reverse mode automatic differentiation (library, math, mit)2022-09-27andriusstank
dozenal30.0A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-11siddhanathan
dsp322.0Haskell Digital Signal Processing (gpl, library, math, sound)2022-09-21HenningThielemann
dual (deprecated)280.0Dual category (bsd3, deprecated, library, math)2020-01-20
dumb-cas100.0A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)2021-01-11leftaroundabout
dvda (deprecated in favor of dynobud)230.0Efficient automatic differentiation and code generation (bsd3, deprecated, library, math, numerical)2014-04-05GregHorn
dyckword110.0A library for working with binary Dyck words. (bsd3, library, math)2017-05-01arbelos
earcut90.0Binding to C++ earcut library. (library, math)2020-07-11DavidHimmelstrup
ease80.0Robert Penner's easing equations (bsd3, game, library, math)2020-10-01fresheyeball
easyplot120.0A tiny plotting library, utilizes gnuplot for plotting. (graphics, library, math, mit, plotting)2013-03-26JulianFleischer
easytensor300.0Pure, type-indexed haskell vector, matrix, and tensor library. (bsd3, geometry, library, math)2021-04-07achirkin
easytensor-vulkan170.0Use easytensor with vulkan-api. (bsd3, geometry, graphics, library, math, opengl, vulkan)2021-04-05achirkin
egyptian-fractions60.0Egyptian fractions in Haskell (bsd3, library, math)2018-06-25vmchale
eigen791.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-11OlegSidorkin, chessai
elbow40.0Find the elbow point. (gpl, library, math)2020-02-20GregorySchwartz
emd280.0Empirical Mode Decomposition and Hilbert-Huang Transform (bsd3, library, math)2019-10-31jle
equational-reasoning751.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
erf1310.0The error function, erf, and related functions. (bsd3, library, math)2011-05-26LennartAugustsson
erf-native50.0Native Haskell implementation of the interface from the erf package (library, math)2012-01-03JamesCook
estimator110.0State-space estimation algorithms such as Kalman Filters (bsd3, library, math, numerical, statistics)2016-07-19AdamFoltzer, JameySharp
euler260.0Mathematics utilities for Haskell (library, math, mit)2020-05-25decomputed, luisonthekeyboard
exact-combinatorics1060.0Efficient exact computation of combinatoric functions. (bsd3, library, math, statistics)2021-11-03WrenThornton, WrenRomano
exact-cover40.0Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-22arthur
exact-real652.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-pairs410.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
expressions331.5Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-30jakubdaniel
expressions-z3200.0Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2019-04-30jakubdaniel
extended-categories50.0Extended Categories (bsd3, library, math)2014-11-23ian_mi
extended-reals970.0Extension of real numbers with positive/negative infinities (bsd3, library, math)2020-03-28MasahiroSakai, Bodigrim
factory400.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-braids250.0Braid representations in Haskell (algebra, bsd2, data, library, math)2020-12-27spopejoy
fast-arithmetic2022.0Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2022-01-17vmchale
fast-math500.0Non IEEE-754 compliant compile-time floating-point optimisations (bsd3, library, math, numeric)2015-08-01LiyangHu, MikeIzbicki
fft582.0Bindings to the FFTW library. (bsd3, library, math)2021-05-21HenningThielemann, JedBrown
fftw-ffi150.0Low-level interface to FFTW (Fast Fourier Transform) (bsd3, library, math)2021-07-26HenningThielemann
fftwRaw100.0Low level bindings to FFTW. (bsd3, library, math)2018-09-04adamwalker
fib80.0fibonacci algebra (bsd3, library, math)2020-07-09chessai
fin2122.0Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2022-01-03phadej
find-clumpiness190.0Find the clumpiness of labels in a tree (gpl, library, math, program)2019-01-21GregorySchwartz
finite-field230.0Finite Fields (algebra, bsd3, data, library, math)2021-01-02MasahiroSakai
finite-fields62.0Arithmetic in finite fields (bsd3, library, math)2021-04-22BalazsKomuves
fixed-point (deprecated)170.0Binary fixed-point arithmetic (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector (deprecated)100.0Unbox instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector-space (deprecated)50.0vector-space instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-precision110.0Fixed Precision Arithmetic (bsd3, library, math)2010-06-15EdwardKmett
fixedprec310.0A fixed-precision real number type (bsd3, data, library, math)2018-11-06PeterSelinger
fizz-buzz130.0Functional Fizz/Buzz (bsd3, library, math)2017-01-26AlanHawkins
flat-mcmc340.0Painless general-purpose sampling. (library, math, mit)2020-10-11JaredTobin
float12850.0FFI bindings for C _Float128 (bsd3, library, math)2020-06-15ClaudeHeilandAllen
foldl-statistics262.0Statistical functions from the statistics package implemented as Folds. (bsd3, library, math, statistics)2018-09-25AlexMason
fp-ieee120.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
fpnla70.0A library for NLA operations (bsd3, library, math)2014-02-04mblanco
fpnla-examples60.0Example implementations for FPNLA library (bsd3, library, math, parallelism)2014-02-04mblanco
fptest120.0IEEE754r floating point conformance tests (bsd3, math, program)2018-11-15jrp
fractals30.0A collection of useful fractal curve encoders (bsd3, library, math)2015-08-10sdekker
free-functors750.0Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-05SjoerdVisscher
free-vector-spaces130.0Instantiate the classes from the vector-space package with types from linear (bsd3, library, math)2022-06-01leftaroundabout
frotate60.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)70.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
gamma160.0Gamma function and related functions. (library, math, numerical, public-domain)2019-02-03JamesCook, rockbmb
garepinoh90.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
geom2d70.0package for geometry in euklidean 2d space (gpl, library, math)2015-11-01seppeljordan
ghc-typelits-presburger881.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
glicko110.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-hs410.0Comprehensive GLPK linear programming bindings (bsd3, library, math, program)2021-01-29JeanPhilippeBernardy, LouisWasserman
gnuplot1721.52D and 3D plots using gnuplot (bsd3, graphics, library, math)2022-02-13HenningThielemann
goal-core60.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-graphical40.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-simulation50.0Mealy based simulation tools (bsd3, library, math, program)2015-12-22alex404
gray-extended210.0Gray encoding schemes (bsd3, library, math)2021-08-18AmyDeBuitleir
grid732.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
groups1770.0Groups (algebra, bsd3, data, library, math)2021-05-14NathanVanDoorn
groups-generic330.0Generically derive Group instances. (algebra, bsd3, library, math)2022-12-04sheaf
gsl-random380.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-fibonaccis170.0The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-09JustinHanekom
hR40.0R bindings and interface (bsd3, foreign, library, math)2012-03-05DylanSimon
hTensor160.0Multidimensional arrays and simple tensor computations. (bsd3, library, math)2016-11-02AlbertoRuiz, DominicSteinitz
haar42.0Haar wavelet transforms (bsd3, library, math)2014-09-22AmyDeBuitleir
hahp60.0Analytic Hierarchy Process (agpl, library, math, program)2016-02-22taeradan, jpierre03
half-space30.0Additive monoids generalising vector spaces (gpl, library, math)2022-04-15leftaroundabout
hascal230.0tiny calculator library and command-line program (console, library, math, parsing, program, tools, utility, utils)2017-02-27DagOdenhall, MekeorMelire
haskell-eigen-util140.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-18dilawars
haskell-igraph220.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
hbayes190.0Bayesian Networks (bsd3, library, math)2016-05-13alpheccar
hblas202.0Human friendly BLAS and Lapack bindings for Haskell. (bsd3, library, math)2018-01-31CarterSchonwald
hcg-minus (deprecated)370.0haskell cg (minus) (bsd3, deprecated, library, math)2017-11-22RohanDrape
hcg-minus-cairo (deprecated)80.0haskell cg (minus) (cairo rendering) (bsd3, deprecated, library, math)2017-11-22RohanDrape
hdr-histogram40.0Haskell implementation of High Dynamic Range (HDR) Histograms (gpl, library, math, statistics)2016-01-03joshbohde
heyting-algebras60.0Heyting and Boolean algebras (bsd3, library, math)2021-03-27coot
hgeometric70.0A geometric library with bindings to GPC. (library, math, mit)2009-06-25DonaldStewart, GwernBranwen, MarcoSilva
hieraclus70.0Automated clustering of arbitrary elements in Haskell. (bsd3, clustering, library, math, statistics)2011-09-29PhilippPribbernow
hirt50.0Calculates IRT 2PL and 3PL models (bsd3, math, program)2012-05-14IvanLabath
hlbfgsb20.0Haskell binding to L-BFGS-B version 3.0 (bsd3, library, math)2012-05-04IvanLabath
hmatrix1522.5Numeric Linear Algebra (bsd3, library, math)2021-03-08AlbertoRuiz, DominicSteinitz
hmatrix-backprop130.0hmatrix operations lifted for backprop (bsd3, library, math)2019-08-18jle
hmatrix-banded (deprecated in favor of lapack)60.0HMatrix interface to LAPACK functions for banded matrices (bsd3, deprecated, library, math)2019-03-19HenningThielemann
hmatrix-glpk170.0Linear Programming based on GLPK (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-gsl300.0Numerical computation (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-gsl-stats620.0GSL Statistics interface (bsd3, ffi, library, math, statistics)2019-06-11VivianMcPhail
hmatrix-mmap60.0Memory map Vector from disk into memory efficiently (bsd3, library, math, system)2011-02-22AlanFalloon
hmatrix-morpheus202.0Low-level machine learning auxiliary functions. (bsd3, library, math)2018-06-10aignatyev17
hmatrix-nipals70.0NIPALS method for Principal Components Analysis on large data-sets. (lgpl, library, math)2011-02-22AlanFalloon
hmatrix-quadprogpp100.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-sparse20.0Sparse linear solver (bsd3, library, math)2018-04-22DominicSteinitz
hmatrix-special260.0Interface to GSL special functions (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-static60.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-svdlibc160.0SVDLIBC bindings for HMatrix (bsd3, library, math)2018-09-13BenGamari
hmatrix-syntax60.0MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-31ReinerPope
hmatrix-tests220.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)90.0Hidden Markov Models using HMatrix primitives (bsd3, deprecated, library, math)2018-11-13HenningThielemann
hmm-lapack170.0Hidden Markov Models using LAPACK primitives (bsd3, library, math)2021-12-05HenningThielemann
hmpfr502.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-networks62.0Hopfield Networks for unsupervised learning in Haskell (library, math, mit, program)2013-11-20ajtulloch
hops170.0Handy Operations on Power Series (bsd3, library, math, program)2017-07-03AndersClaesson
hps-kmeans60.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
hsignal500.0Signal processing and EEG data analysis (bsd3, library, math)2016-11-14VivianMcPhail
hsilop50.0RPN calculator (math, mit, program)2015-09-19rnhmjoj
hstatistics490.0Statistics (bsd3, library, math, statistics)2020-08-06VivianMcPhail
hypergeomatrix140.0Hypergeometric function of a matrix argument (bsd3, library, math, numeric)2022-12-05stla
hypergeometric292.25Hypergeometric functions (agpl, library, math, statistics)2022-12-05vmchale
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)120.0Utilities for dealing with IEEE floating point numbers (bsd3, deprecated, library, math)2010-09-20PatrickPerry
ieee754882.0Utilities for dealing with IEEE floating point numbers (bsd3, library, math)2017-01-30PatrickPerry
integer-logarithms2120.0Integer logarithms. (algorithms, library, math, mit, number-theory)2020-11-01phadej
integer-roots610.0Integer roots and perfect powers (algorithms, library, math, mit, number-theory)2021-11-22Bodigrim
interpolation200.0piecewise linear and cubic Hermite interpolation (bsd3, library, math)2021-08-07HenningThielemann
interval-patterns280.0Intervals, and monoids thereof (algebra, bsd3, charts, data-structures, library, math, statistics, unclassified)2022-12-04melaniebrown
intervals1362.0Interval Arithmetic (bsd3, library, math)2021-02-17EdwardKmett, EricMertens, ryanglscott
involutive-semigroups10.0Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-30nosewings
ipopt-hs140.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-stats60.0iteratees for statistical processing (bsd3, library, math)2015-01-05JohnLato
jackpolynomials110.0Jack, zonal, and Schur polynomials (algebra, gpl, library, math)2022-12-05stla
jacobi-roots80.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
jinquantities62.0Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2018-09-12Novadiscovery
kalman102.0Kalman and particle filters and smoothers (library, math, mit)2016-12-14DominicSteinitz
kleene132.0Kleene algebra (bsd3, library, math)2019-04-25phadej
kmeans-vector80.0An implementation of the kmeans clustering algorithm based on the vector package (bsd3, library, math, program)2015-07-30AlpMestanogullari
kmn-programming40.0K_M,N quadratic programming (bsd3, math, program)2021-12-20PeterDivianszky
knead-arithmetic50.0Linear algebra and interpolation using LLVM JIT (bsd3, library, math)2016-10-09HenningThielemann
knots30.0Khovanov homology computations (library, math, mit, program)2015-04-09maltem
ks-test50.0Kolmogorov distribution and Kolmogorov-Smirnov test. (library, math, numerical, public-domain)2010-09-10JamesCook
l-bfgs-b40.0Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization (bsd3, library, math)2014-07-03GardSpreemann
lagrangian120.0Solve Lagrange multiplier problems (bsd3, library, math)2014-10-09JonathanFischoff, pash
lapack250.0Numerical Linear Algebra using LAPACK (bsd3, library, math)2021-12-05HenningThielemann
lapack-carray170.0Auto-generated interface to Fortran LAPACK via CArrays (bsd3, library, math)2019-01-23HenningThielemann
lapack-comfort-array180.0Auto-generated interface to Fortran LAPACK via comfort-array (bsd3, library, math)2021-08-06HenningThielemann
lapack-ffi180.0Auto-generated interface to Fortran LAPACK (bsd3, library, math)2021-03-14HenningThielemann
lapack-ffi-tools260.0Generator for Haskell interface to Fortran LAPACK (bsd3, math, program)2022-02-04HenningThielemann
lapack-hmatrix70.0Conversion of objects between 'lapack' and 'hmatrix' (bsd3, library, math)2021-12-05HenningThielemann
lattices1382.25Fine-grained library for constructing and manipulating lattices (bsd3, library, math)2021-10-30MaxBolingbroke, phadej
lawz20.0Common mathematical laws. (bsd3, library, math, testing)2020-02-11cmk
lazysplines32.0Differential solving with lazy splines (bsd3, library, math)2019-02-07GershomBazerman
lean (deprecated)10.0Bonds to Lean theorem prover (bsd3, deprecated, library, math)2019-05-15
left4deadrl30.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
libroman192.0Use Roman Numerals as a Numeric Datatype (sort of) (bsd3, data, library, math, numerical)2016-10-10ahakki
lie20.0Lie Algebras (bsd3, library, math, program)2019-06-08jumper149
lin-alg50.0Low-dimensional matrices and vectors for graphics and physics (bsd3, library, math)2016-11-05JasonDagit
linda80.0LINear Discriminant Analysis (bsd3, library, math, statistics)2011-09-24LennartSchmitt
linear4112.5Linear Algebra (algebra, bsd3, library, math)2022-11-30AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate280.0Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-28EdwardKmett, TrevorMcDonell, ryanglscott
linear-algebra-cblas20.0A linear algebra library with bindings to BLAS and LAPACK (bsd3, library, math, program)2013-04-18CarterSchonwald
linear-circuit160.0Compute resistance of linear electrical circuits (bsd3, library, math)2021-12-05HenningThielemann
linear-code42.0A simple library for linear codes (coding theory, error correction) (gpl, library, math)2018-08-30wchresta
linear-grammar360.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-13athanclark
linear-tests20.0Linear Algebra (algebra, bsd3, library, math, testing)2020-03-27pdlla
linear-vect60.0A low-dimensional linear algebra library, operating on the Num typeclass (bsd3, library, math)2014-10-05capsjac
linearEqSolver70.0Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2020-05-13LeventErkok
linearmap-category140.0Native, complete, matrix-free linear algebra. (gpl, library, math)2022-09-19leftaroundabout
logfloat470.0Log-domain floating point numbers (bsd3, data, library, math, natural-language-processing, statistics)2021-10-17WrenThornton, WrenRomano
logic-TPTP200.0Import, export etc. for TPTP, a syntax for first-order logic (codec, library, math, theorem-provers)2020-02-28DanielSchuessler, KiYungAhn, MasahiroSakai
long-double230.0FFI bindings for C long double (bsd3, math)2020-06-15ClaudeHeilandAllen
lowlin10.0Low dimensional linear algebra (bsd3, library, linear-algebra, math)2020-05-06jodak
magico150.0Compute solutions for Magico puzzle (bsd3, math, program)2021-12-05HenningThielemann
magma230.0magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2021-06-18KatsutoshiItoh
magmas20.0Magma-like objects. (bsd3, library, math, numerical)2020-02-20cmk
manifold-random100.0Sampling random points on general manifolds. (gpl, library, math)2022-04-15leftaroundabout
manifolds240.0Coordinate-free hypersurfaces (gpl, library, math)2022-04-15leftaroundabout
manifolds-core70.0The basic classes for the manifolds hierarchy. (gpl, library, math)2022-04-14leftaroundabout
math-extras140.0A variety of mathematical utilities (bsd3, library, math, numeric)2020-03-03zliu41
math-functions1962.25Collection of tools for numeric computations (bsd2, library, math, numeric)2021-03-27AlexeyKhudyakov, BryanOSullivan
math-grads12.0Library containing graph data structures and graph algorithms (bsd3, graph, library, math)2020-04-02AlexKane
math-programming10.0A library for formulating and solving math programs. (bsd3, library, math)2020-07-05prsteele
math-programming-glpk30.0A GLPK backend to the math-programming library. (bsd3, library, math)2020-07-05prsteele
math-programming-tests10.0Utility functions for testing implementations of the math-programming library. (bsd3, library, math)2020-07-05prsteele
mathexpr220.0Parse and evaluate math expressions with variables and functions (gpl, library, math)2022-07-14mdibaiee
mathflow20.0Dependently typed tensorflow modeler (bsd3, library, math)2017-08-08junjihashimoto
matlab50.0Matlab bindings and interface (bsd3, foreign, library, math, program)2020-07-28DylanSimon, bmsherman, bebarker
matrix1252.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-market50.0Read and write NIST Matrix Market files (bsd3, library, math, system)2008-04-04PatrickPerry
matrix-market-pure40.0Pure and composable reader and writer of the Matrix Market format. (bsd3, library, math)2011-02-21SergeyAstanin
matrix-sized20.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
maxent140.0Compute Maximum Entropy Distributions (bsd3, library, math)2014-10-09JonathanFischoff, pash
mcl50.0Bindings to mcl, a generic and fast pairing-based cryptography library (bsd3, crypto, library, math)2017-05-09arybczak
mcmc380.0Sample from a posterior using Markov chain Monte Carlo (gpl, library, math, statistics)2022-09-09dschrempf
mcmc-samplers62.0Combinators for MCMC sampling (bsd3, library, machine-learning, math, numeric, statistics)2014-11-10pravnar, z
mcmc-types211.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-random200.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
mfsolve632.0Equation solver and calculator à la metafont (bsd3, library, math)2021-12-30KristofBastiaensen
miniball70.0Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-04GardSpreemann
mixed-strategies30.0Find optimal mixed strategies for two-player games (library, math, mit, program)2012-12-14BartonMassey
mixed-types-num560.0Alternative Prelude with numeric and logic expressions typed bottom-up (bsd3, library, math)2022-08-25MichalKonecny
mltool132.0Machine Learning Toolbox (bsd3, library, math)2018-06-10aignatyev, aignatyev17
mmsyn2-array-ukrainian-data30.0Data that is taken from the ukrainian-phonetics-basic-array for optimization. (data, language, library, math, mit)2022-02-22OleksandrZhabenko
mod1142.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-arithmetic352.0A type for integers modulo some constant. (bsd3, library, math)2022-11-11TikhonJelvis
monad-lrs (deprecated)50.0a monad to calculate linear recursive sequence (bsd3, deprecated, library, math)2012-03-04BinJin
monoidplus40.0Extra classes/functions about monoids (data, library, math, public-domain)2011-11-12AaronBlack
monoids (deprecated in favor of reducers)320.0Deprecated: Use 'reducers' (bsd3, data, deprecated, library, math, numerical)2012-02-09DanielWagner, EdwardKmett
monte-carlo130.0A monad and transformer for Monte Carlo calculations. (bsd3, library, math)2017-09-15PatrickPerry
mpolynomials130.0Simple multivariate polynomials. (algebra, gpl, library, math)2022-12-05stla
ms50.0metric spaces (bsd2, library, math)2015-07-21RickyElrod
multiset-comb130.0Combinatorial algorithms over multisets (bsd3, library, math)2016-05-09BrentYorgey
mwc-probability450.0Sampling function-based probability distributions. (library, math, mit)2020-07-31JaredTobin, ocramz
mwc-random2572.0Fast, high quality pseudo random number generation (bsd3, library, math, statistics)2021-08-15AlexeyKhudyakov, BryanOSullivan
mwc-random-monad272.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-arithmetic990.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-numbers180.0Natural numbers (bsd3, data, library, math)2012-07-13WolfgangJeltsch
netlib-carray160.0Helper modules for CArray wrappers to BLAS and LAPACK (bsd3, library, math)2019-01-23HenningThielemann
netlib-comfort-array170.0Helper modules for comfort-array wrappers to BLAS and LAPACK (bsd3, library, math)2021-08-06HenningThielemann
netlib-ffi190.0Helper modules for FFI to BLAS and LAPACK (bsd3, library, math)2019-01-05HenningThielemann
network-topic-models30.0A few network topic model implementations for bayes-stack (bsd3, math, program)2012-10-27BenGamari
nimber50.0Finite nimber arithmetic (bsd3, library, math)2019-03-27AndersKaseorg, PatrickHurst
noether60.0Math in Haskell. (library, math, mit, program)2017-06-25mrkgnao
non-negative430.0Non-negative numbers (library, math)2018-02-16HenningThielemann
nonlinear-optimization220.0Various iterative algorithms for optimization of nonlinear functions. (library, math)2020-03-01FelipeLessa
nonlinear-optimization-ad130.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
normaldistribution440.0Minimum fuss normally distributed random values. (bsd3, library, math, statistics)2011-08-31BjornBuckwalter
np-extras140.0NumericPrelude extras (bsd3, library, math)2022-05-13BrentYorgey
np-linear80.0Linear algebra for the numeric-prelude framework (bsd3, library, math)2014-11-24AriePeterson
nuha90.0Multidimensional arrays, Linear algebra, Numerical analysis (bsd3, library, math, numeric)2020-11-27jodak
number90.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
numbers662.0Various number types (bsd3, data, library, math)2018-05-14CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor
numeric-domains10.0Numeric Domains (bsd3, library, math)2019-12-16MichaelSzvetits
numeric-extras210.0Useful tools from the C standard library (bsd3, library, math)2015-09-28EdwardKmett, EricMertens
numeric-ode30.0Ode solvers (bsd3, library, math, program)2017-07-22DominicSteinitz
numeric-prelude592.0An experimental alternative hierarchy of numeric type classes (bsd3, library, math)2022-05-28HenningThielemann
numeric-quest251.75Math and quantum mechanics (library, math)2018-02-15HenningThielemann
numeric-tools70.0Collection of numerical tools for integration, differentiation etc. (bsd3, library, math, numerical)2014-03-09AlexeyKhudyakov
numerical30.0core package for Numerical Haskell project (bsd2, library, math)2019-01-01CarterSchonwald
numericpeano80.0Peano numbers with attendant bells and whistles. (apache, library, math)2014-12-29jtapolczai, jtapolczai2
numtype90.0Type-level (low cardinality) integers. (bsd3, library, math)2016-05-10BjornBuckwalter
numtype-dk640.0Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. (bsd3, library, math)2021-06-06BjornBuckwalter, dmcclean
numtype-tf80.0Type-level (low cardinality) integers, implemented using type families. (bsd3, library, math)2014-02-11BjornBuckwalter
nurbs30.0NURBS (bsd3, geometry, library, linear-algebra, math)2015-08-21AlexandrRuchkin
oeis390.0Interface to the Online Encyclopedia of Integer Sequences (OEIS) (bsd3, library, math)2020-01-24BrentYorgey, BrianLewis, niteria
oeis2170.0Interface for Online Encyclopedia of Integer Sequences (OEIS). (bsd3, library, math)2022-03-2023prime
optimization110.0Numerical optimization (bsd3, library, math)2018-01-24BenGamari
padic30.0Fast, type-safe p-adic arithmetic (library, math, mit, number-theory)2022-02-03samsergey
pareto40.0A library for cause-effect relationships. (bsd3, library, math)2016-10-19bwe
pareto-front30.0Monoids for dealing with Pareto efficiency (bsd3, library, math)2022-02-09quick_dudley
pava210.0Greatest convex majorants and least concave minorants (gpl, library, math, statistics)2022-07-10dschrempf
peano (deprecated)350.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-polynomials40.0A library for working with periodic polynomials (very basic functionality) (library, math, mit)2020-06-26OleksandrZhabenko
permutation330.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-basis30.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)10.0Constraints to filter the needed permutations (deprecated, language, library, math, mit, phonetic-languages)2020-11-12OleksandrZhabenko
phonetic-languages-constraints10.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-examples210.0A generalization of the uniqueness-periods-vector-examples functionality. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-02OleksandrZhabenko
phonetic-languages-permutations10.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-basics360.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-plus130.0Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2022-05-31OleksandrZhabenko
phonetic-languages-rhythmicity240.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-base150.0A basics of the phonetic-languages functionality that can be groupped. (game, language, library, math, mit, phonetic-languages)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-common40.0A simplified version of the phonetic-languages-functionality (game, language, library, math, mit, phonetic-languages)2020-12-05OleksandrZhabenko
phonetic-languages-simplified-examples-array580.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-common190.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-array450.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-common110.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-array320.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-array290.0Some properties of the data related to rhythmicity. (Ukrainian, game, language, library, math, mit, phonetic-languages)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-properties-array-common30.0Common functionality for 'with-tuples' and old version of properties. (game, language, library, math, mit)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-properties-array-old20.0Some properties of the data related to rhythmicity. (game, language, library, math, mit)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-properties-lists-double40.0A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-02OleksandrZhabenko
pig20.0dice game (bsd3, library, math, program)2018-04-06AndrewPennebaker
plot-gtk-ui140.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)80.0A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-17sumitsahrawat
poker-eval70.0Binding to libpoker-eval (library, math, public-domain)2013-03-08DavidHimmelstrup
polar50.0Complex numbers in polar form (bsd3, library, math)2014-09-10StefanKersten
poly302.0Polynomials (bsd3, library, math, numerical)2020-09-30Bodigrim
polynom (deprecated)20.0Polynomial types and operations (deprecated, library, math)2016-01-21
polynomial142.0Polynomials (library, math, numerical, public-domain)2017-06-14JamesCook
polynomial-algebra30.0Multivariate polynomial rings (bsd3, library, math)2022-03-24BalazsKomuves
polynomials-bernstein150.0A solver for systems of polynomial equations in bernstein form (library, math)2015-09-29JeanPhilippeBernardy, PierreEtienneMeunier
prime20.0prime number tools (gpl, library, math)2021-01-18jlamothe
primecount40.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
prob20.0Discrete probability monad (bsd3, library, math)2022-07-30ChrisSmith
probability410.0Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2020-07-28HenningThielemann
probable72.0Easy and reasonably efficient probabilistic programming and random generation (bsd3, library, math, statistics)2018-02-11AlpMestanogullari
product (deprecated)20.0Product category (bsd3, deprecated, library, math)2017-11-28
property (deprecated)50.0common properties (bsd3, deprecated, library, math, testing)2019-10-30cmk
pure-fft200.0Fast Fourier Transform (bsd3, library, math, numerical)2009-03-15MattMorrow
qd90.0double-double and quad-double number type via libqd (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qd-vec30.0'Vec' instances for 'qd' types (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qhull40.0Delaunay triangulation, Voronoi diagrams and convex hulls. (gpl, library, math)2022-08-06andrewufrank
qhull-simple20.0Simple bindings to Qhull, a library for computing convex hulls (bsd3, library, math)2013-07-04GardSpreemann
qlinear10.0Typesafe library for linear algebra (bsd3, library, math)2020-08-12JuniorGarbageCollector
quadratic-irrational270.0An implementation of quadratic irrationals (algorithms, data, library, math, mit)2020-04-15ion, Bodigrim
quantities100.0Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2015-11-07jdreaver
quantizer20.0Library to provide the behaviour similar to quantum states superposition. (library, math, mit)2022-09-13OleksandrZhabenko
quote-quot180.0Divide without division (bsd3, library, math, numerical)2022-04-11Bodigrim
r-glpk-phonetic-languages-ukrainian-durations130.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)140.0Reverse Automatic Differentiation. (bsd3, deprecated, library, math)2012-05-08EdwardKmett
rampart282.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-fu810.0Random number generation (math, public-domain)2022-02-19BertramFelgenhauer, DominicSteinitz, JamesCook
random-fu-multivariate40.0Multivariate distributions for random-fu (bsd3, library, math)2019-07-21DominicSteinitz
random-hypergeometric30.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-int150.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-equations20.0Simplify a set of equations by removing redundancies (bsd3, library, math, program)2016-11-12chriswarbo
reducers1400.0Semigroups, specialized containers and a general map/reduce framework (bsd3, data, library, math, numerical, semigroups)2021-11-01EdwardKmett, EricMertens, ryanglscott
regress40.0Linear and logistic regression through automatic differentiation (bsd3, library, math)2015-07-13AlpMestanogullari
regression-simple40.0Simple linear and quadratic regression (bsd3, library, math)2022-01-11phadej
reservoir40.0Unweighted reservoir sampling (bsd3, library, math)2018-07-29haym
resistor-cube160.0Compute total resistance of a cube of resistors (bsd3, math, program)2021-12-05HenningThielemann
rings30.0Ring-like objects. (bsd3, library, math, numerical)2020-03-09cmk
rivers40.0Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-04DrewDay
roots60.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-hw150.0Directed rounding for built-in floating types (bsd3, library, math, numeric)2022-01-08aratamizuki
rounding (deprecated)50.0Explicit floating point rounding mode wrappers (bsd3, deprecated, library, math)2010-06-13EdwardKmett
rsagl-math80.0The RogueStar Animation and Graphics Library: Mathematics (bsd3, library, math)2011-04-08ChristopherLaneHinson
ruff80.0relatively useful fractal functions (bsd3, library, math)2016-11-07ClaudeHeilandAllen
rvar540.0Random Variables (library, math, public-domain)2022-05-22BertramFelgenhauer, DominicSteinitz, JamesCook
safe-decimal280.0Safe and very efficient arithmetic operations on fixed decimal point numbers (bsd3, library, math, numeric, numerical)2021-06-10lehins
safe-tensor70.0Dependently typed tensor algebra (library, math, mit)2021-02-27nalex
sampling260.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
sbvPlugin180.0Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2022-04-27LeventErkok
science-constants50.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-solver20.0Distributed SDE solver (bsd3, library, math, numerical)2012-12-18DavidNilsson
search42.0Infinite search in finite time with Hilbert's epsilon (bsd3, library, math, search, topology)2017-11-04EdwardKmett
semigroups5362.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
semilattices210.0Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-03robrix
semiring50.0Semirings, ring-like structures used for dynamic programming applications (bsd3, math, natural-language-processing)2010-03-08SashaRush
semiring-simple171.5A module for dealing with semirings. (bsd3, library, math)2016-03-28pharpend
semirings1632.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-07chessai
set-cover360.0Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2020-03-21HenningThielemann
sfmt40.0SIMD-oriented Fast Mersenne Twister(SFMT) binding. (bsd3, library, math, random)2015-04-14HirotomoMoriwaki
sgd220.0Stochastic gradient descent library (bsd3, library, math)2019-11-13JakubWaszczuk
shapes-math30.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-ij40.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-figures30.0Calculate expressions involving significant figures. (chemistry, gpl, library, math, program)2022-10-13mizlan
simd30.0simple interface to GHC's SIMD instructions (bsd3, library, math)2014-05-19MikeIzbicki, chessai
simple-smt1000.0A simple way to interact with an SMT solver process. (bsd3, library, math)2021-06-29IavorDiatchki
simple-vec3300.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
simplex-method30.0Implementation of the two-phase simplex method in exact rational arithmetic (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization)2022-07-18JunaidRasheed
singletons-presburger460.0Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2022-11-25HiromiIshii
singular-factory30.0Multivariate polynomial factorization via bindings to Singular-factory (library, math)2019-11-23BalazsKomuves
sloane390.0A command line interface to Sloane's OEIS. (bsd3, math, program)2017-07-03AndersClaesson
softfloat-hs40.0Haskell bindings for SoftFloat (bsd3, library, math)2018-08-21benselfridge, galoisinc
som532.0Self-Organising Maps (bsd3, library, math)2021-08-18AmyDeBuitleir
sparse-lin-alg92.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-math470.03d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2018-08-21GregHorn, peddie
spatial-rotations50.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-clustering140.0Library for spectral clustering. (gpl, library, math)2020-05-04GregorySchwartz
speedy-slice260.0Speedy slice sampling. (library, math, mit)2021-02-21JaredTobin
spherical92.0Geometry on a sphere (bsd3, library, math)2020-09-12vmchale
spline390.0A parallel implementation of the Sorokina/Zeilfelder spline scheme. (agpl, math, program)2022-08-28MichaelOrlitzky
splines80.0B-Splines, other splines, and NURBS. (graphics, library, math, numerical, public-domain)2013-05-28JamesCook
splitmix-distributions242.0Random samplers for some common distributions, based on splitmix. (bsd3, library, math)2022-05-05ocramz
spsa40.0Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (library, math, mit, optimization)2014-01-20yanatan16
squares42.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
staf30.0Numerical statistics for Foldable containers (library, math)2017-01-28lovasko
statistics3582.25A library of statistical types, data, and functions (bsd2, library, math, statistics)2022-05-12AlexeyKhudyakov, BryanOSullivan
statistics-dirichlet80.0Functions for working with Dirichlet densities and mixtures on vectors. (bsd3, library, math)2015-07-21FelipeLessa
statistics-fusion (deprecated in favor of statistics)50.0An implementation of high performance, minimal statistics functions (bsd3, deprecated, library, math)2010-02-20DonaldStewart
statistics-hypergeometric-genvar60.0Random variate generation from hypergeometric distributions (library, math, mit, statistics)2015-03-26srijs
statistics-linreg1212.0Linear regression between two samples, based on the 'statistics' package. (library, math, mit, statistics)2014-08-22AlpMestanogullari
statistics-skinny10.0A library of statistical types, data, and functions (bsd2, library, math, statistics)2021-01-11vmchale
stats50.0command line statistics (gpl, math, program)2013-12-05cheecheeo
stern-brocot (deprecated)10.0Positive rational numbers represented as paths in the Stern-Brocot tree (bsd3, deprecated, library, math, numeric)2019-03-28
stochastic50.0Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-27chokboy
stp40.0Simple Theorem Prover (bsd3, library, math, program)2018-11-21bor0
svm-light-utils60.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-plot40.0Plot permutations; an addition to the sym package (bsd3, library, math)2017-06-10AndersClaesson
symengine140.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-10bollu
symengine-hs50.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-05bollu
tau190.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
terntup22.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-functions70.0Theta-functions implemented as trigonometric series (library, math, public-domain)2012-06-21MarkSafronov
tikzsd20.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
tropical60.0A library for tropical mathematics. (bsd3, library, math)2014-07-13pharpend
turing-machines70.0A simple simulator for Turing machines (library, math, mit)2016-07-24jariazavalverde
turingMachine50.0An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-15sanjorgek
type-natural892.0Type-level natural and proofs of their properties. (bsd3, library, math)2022-11-25HiromiIshii
type-settheory80.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
uncertain100.0Manipulating numbers with inherent experimental/measurement uncertainty (bsd3, library, math)2016-05-22jle
uniqueness-periods-vector20.0Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. (game, language, library, math, mit, uniqueness)2020-10-14OleksandrZhabenko
uniqueness-periods-vector-common20.0Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-14OleksandrZhabenko
uniqueness-periods-vector-examples410.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-properties200.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-stats80.0A very basic descriptive statistics. (data, library, math, mit)2022-05-31OleksandrZhabenko
units332.5A domain-specific type system for dimensional analysis (bsd3, library, math)2022-01-06RichardEisenberg
unittyped50.0An extendable library for type-safe computations including units. (lgpl, library, math, physics)2012-11-26ThijsAlkemade
variable-precision (deprecated in favor of rounded)110.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)80.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)80.0Accelerate instances for vect-floating types (bsd3, deprecated, library, math)2014-09-25cdurham
vect-opengl80.0OpenGL support for the `vect' low-dimensional linear algebra library. (bsd3, graphics, library, math)2014-03-19BalazsKomuves
vector-fftw230.0A binding to the fftw library for one-dimensional vectors. (bsd3, library, math)2020-09-01BenGamari, JudahJacobson
vector-space1432.5Vector & affine spaces, linear maps, and derivatives (bsd3, math)2019-01-22ConalElliott
vector-space-map100.0vector-space operations for finite maps using Data.Map (library, math, mit)2018-10-16ChristianConkle
vector-space-opengl50.0Instances of vector-space classes for OpenGL types (bsd3, graphics, library, math)2013-09-30AdamFoltzer
vector-space-points (deprecated in favor of linear)140.0A type for points, as distinct from vectors. (bsd3, deprecated, library, math)2016-05-21BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
vowpal-utils70.0Vowpal Wabbit utilities (bsd3, library, math)2012-02-21CarterSchonwald
wigner-symbols50.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
wuerfelschlange30.0Code for the dice chain problem (bsd3, math)2021-12-05HenningThielemann
xorshift40.0Haskell implementation of the xorshift random generator. (library, math)2011-04-11RobertClausecker
xorshift-plus40.0Simple implementation of xorshift+ PRNG (bsd3, library, math)2019-01-28syocy
yhseq10.0Calculation of YH sequence system (apache, library, math, program)2020-08-28Hexirp
yices130.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-painless60.0An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)2011-01-17DonaldStewart
z3662.25Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2020-08-29IagoAbal