Packages tagged math

746 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (717), bsd3 (483), mit (114), program (93), data (78), gpl (66), deprecated (58), numerical (50), language (42), statistics (37), algebra (35), numeric (34), game (28), algorithms (24), graphics (24), phonetic-languages (21), lgpl (18), public-domain (17), optimization (11), theorem-provers (11), number-theory (10), optimisation (10), bsd2 (9), data-structures (9), formal-methods (9), physics (9), geometry (7), Ukrainian (6), music (6), smt (6), apache (5), mathematics (5), maths (5), mpl (5), system (5), PhLADiPreLiO (4), bit-vectors (4), ffi (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), science (3), sound (3), testing (3), type-system (3), uniqueness (3), clustering (2), combinatorics (2), console (2), control (2), csv (2), dependent-types (2), finance (2), groups (2), json (2), machine-learning (2), noise (2), numerics (2), parsing (2), phladiprelio (2), prosodic-languages (2), prosody (2), singletons (2), tools (2), uniqueness-periods (2), #AncientEgypt (1), adjunctions (1), aftovolio (1), ai (1), ats (1), charts (1), codec (1), coherency (1), comonads (1), computer-algebra (1), crypto (1), cryptography (1), data-mining (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
AC-Angle200.05Angles in degrees and radians. (bsd3, data, library, math, numerical)2010-07-231.0AndrewCoppin
AC-Boolean90.01Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-091.1.0AndrewCoppin
AC-Colour10.01Efficient RGB colour types. (bsd3, data, graphics, library, math, numerical)2014-01-121.1.6AndrewCoppin
AC-HalfInteger20.01Efficient half-integer type. (bsd3, data, library, math, numerical)2009-08-121.2.1AndrewCoppin
AC-Terminal10.01Trivial wrapper over ansi-terminal. (bsd3, data, library, math, numerical)2010-10-281.0AndrewCoppin
AC-Vector142.08Efficient geometric vectors and transformations. (bsd3, data, graphics, library, math, numerical)2024-03-172.4.0AndrewCoppin, JanRochel
AC-Vector-Fancy10.01Fancy type-system stuff for AC-Vector (bsd3, data, graphics, library, math, numerical)2010-08-152.4.0AndrewCoppin
AERN-Basics (deprecated in favor of aern2-mp, aern2-real)30.04foundational type classes for approximating exact real numbers (bsd3, data, deprecated, library, math, program)2011-05-112011.1.0.1MichalKonecny
AERN-Net (deprecated in favor of aern2-mp, aern2-real)10.01Compositional lazy dataflow networks for exact real number computation (bsd3, deprecated, distributed-computing, library, math)2009-07-290.2.1.1MichalKonecny
AERN-Real (deprecated in favor of aern2-mp, aern2-real)210.06arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-112011.1.0.1MichalKonecny
AERN-Real-Double (deprecated in favor of aern2-mp, aern2-real)10.01arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math, program)2011-05-112011.1.0.2MichalKonecny
AERN-Real-Interval (deprecated in favor of aern2-mp, aern2-real)20.02arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-112011.1.0.1MichalKonecny
AERN-RnToRm (deprecated)00.03polynomial function enclosures (PFEs) approximating exact real functions (bsd3, data, deprecated, library, math)2009-07-290.5.0.1MichalKonecny
AERN-RnToRm-Plot (deprecated)50.01GL plotting of polynomial function enclosures (PFEs) (bsd3, data, deprecated, library, math)2009-08-010.2.0.3MichalKonecny
ApproxFun-hs00.01Function approximation (bsd3, library, math)2015-04-260.1.0.0DominicSteinitz
Baggins10.01Tools for self-assembly (gpl, library, math)2014-06-121.0pmeunier
BerlekampAlgorithm00.01Factorization of polynomials over finite field (bsd3, library, math)2013-06-100.1.0.0AbdelwahebMiled
BesselJ10.00Bessel J-function, Anger J-function, Weber E-function, and Anger-Weber function. (bsd3, library, math)2023-09-220.2.0.1stla
Cartesian40.01Coordinate systems (library, math, mit)2016-10-100.6.0.0SwiftsNamesake
ContextAlgebra10.00Implementation of the context algebra. (bsd3, math, program)2016-08-241.0.0.0jhahn
DP70.01Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-080.1.1SashaRush
Data-Angle50.01Geometric angles (bsd3, data, library, math)2017-03-260.9deadmanswitch
Decimal870.031Decimal numbers with variable precision (bsd3, library, math)2021-03-140.5.2PaulJohnson
DifferenceLogic00.02A theory solver for conjunctions of literals in difference logic (bsd3, library, math)2014-11-050.1.0.4dillonhuff
DigitGroup30.00Group the digits of numbers by lots (bsd3, library, math)2022-01-190.1.0.0AlanHawkins
Dist120.01A Haskell library for probability distributions (library, math, mit)2019-06-160.5.0wyager
DistanceTransform20.01Distance transform function. (bsd3, library, math)2013-02-160.1.2AnthonyCowley
Eq (deprecated)180.01Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-281.1.3VincentBerthoux
EqualitySolver00.01A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality (bsd3, library, math)2014-11-020.1.0.2dillonhuff
FirstOrderTheory20.03Grammar and typeclass for first order theories (bsd3, library, math)2014-11-050.1.0.6dillonhuff
Flint210.01Haskell bindings for the flint library for number theory (gpl, library, math)2023-11-170.1.0.5monien
Flint2-Examples20.00Examples for the Flint2 library (gpl, math, program)2023-11-170.1.0.2monien
GaussQuadIntegration40.01Non-adaptive Gaussian quadrature for numeric integraton (bsd3, library, math)2011-09-150.1GrigorySarnitsky
GeomPredicates90.02Geometric predicates (bsd3, library, math)2010-06-270.1NealAlexander
GeomPredicates-SSE00.01Geometric predicates (Intel SSE) (bsd3, library, math)2010-06-270.2NealAlexander
HABQT20.00Hierarchical adaptive Bayesian quantum tomography for quantum bits (bsd3, library, math, program, quantum)2018-07-010.1.0.0LeonidBelinsky
HERA30.01 (bsd3, library, math)2008-12-050.2LukePalmer
HQu112.00quantitative finance library (finance, library, math, mit)2021-07-090.0.0.5ghais
HROOT390.01Haskell binding to the ROOT data analysis framework (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-core50.08Haskell binding to ROOT Core modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-graf40.02Haskell binding to ROOT Graf modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-hist70.03Haskell binding to ROOT Hist modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-io110.03Haskell binding to ROOT IO modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-math90.02Haskell binding to ROOT Math modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-net50.01Haskell binding to ROOT Net modules (lgpl, library, math, numerical, raphics, statistics)2023-07-290.10.0.3IanWooKim
HROOT-tree80.01Haskell binding to ROOT Tree modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HasBigDecimal362.253A library for arbitrary precision decimal numbers. (apache, library, math, program)2022-09-010.2.0.0thma
HaskellForMaths570.04Combinatorics, group theory, commutative algebra, non-commutative algebra (bsd3, library, math)2024-10-120.4.10DavidAmos
HaskellLM20.01Pure Haskell implementation of the Levenberg-Marquardt algorithm (library, math)2012-02-290.1.2KietLam
HerbiePlugin60.07automatically improve your code's numeric stability (bsd3, library, math)2015-09-280.2.0.0MikeIzbicki
Homology30.01Compute the homology of a chain complex (library, math)2012-06-240.1.1DamekDavis
HsASA100.01A haskell interface to Lester Ingber's adaptive simulating annealing code (bsd3, library, math)2012-01-270.2DonaldStewart, MalcolmWallace
Kalman (deprecated in favor of kalman)20.01A slightly extended Kalman filter (bsd3, deprecated, library, math)2015-04-050.1.0.1DominicSteinitz
LPPaver30.00An automated prover targeting problems that involve nonlinear real arithmetic (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification)2023-03-130.0.5.0JunaidRasheed
LargeCardinalHierarchy30.01A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-070.0.1Stephen_E_A_Britton
Lattices90.02A library for lattices (library, math)2018-09-210.0.3BartCoppens
LetsBeRational80.00European option implied vol calculation (finance, library, math, mit, numeric, quant)2021-12-191.0.0.0ghais
Logic20.01Logic (library, math, mit)2014-12-290.1.0.0gogotanaka
MIP220.02Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2024-09-040.1.2.0MasahiroSakai
MIP-glpk20.00A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-260.1.1.0MasahiroSakai
MeanShift10.01Mean shift algorithm (bsd3, library, math)2012-04-300.1VilleTirronen
Modulo50.01Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-080.2.0.1NikolayMurzin
Monocle60.01Symbolic computations in strict monoidal categories with LaTeX output. (bsd3, library, math)2009-12-170.0.4OsmanBineev
MultipletCombiner160.00A Haskell implementation for combining SU(n) multiplets (bsd3, groups, library, math, physics, science)2023-09-100.0.7dressel
NTRU70.01NTRU Cryptography (cryptography, library, math)2020-01-271.1.0.0mikewest, Bodigrim
Naperian10.02Naperian Functors for APL-like programming (library, math)2019-03-280.1.1.0DominicSteinitz
NaperianNetCDF40.00Instances of NcStore for hypercuboids (bsd3, library, math, program)2019-04-180.1.0.1DominicSteinitz
NearContextAlgebra00.01Context Algebra of near (bsd3, math, program)2015-10-250.1.0.2jhahn
Noise140.01A Haskell coherent noise generator based on libnoise (bsd3, graphics, library, math, noise)2013-02-251.0.6HugoGomes
NumberSieves50.01Number Theoretic Sieves: primes, factorization, and Euler's Totient (bsd3, library, math)2012-08-210.1.2LeonSmith
NumberTheory30.01A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-170.1.0.1cfredric
Operads70.01Groebner basis computation for Operads. (bsd3, library, math)2009-08-141.0MikaelVejdemoJohansson
Ordinals50.01Ordinal arithmetic (bsd3, library, math)2010-07-090.0.0.2KiYungAhn
Paillier30.01a simple Paillier cryptosystem (bsd3, library, math)2013-12-110.1.0.3onemouth, abhiroop
ParserFunction (deprecated in favor of attoparsec)110.01Parse and evaluate mathematical expressions. (bsd3, deprecated, library, math, parsing)2014-05-140.1.0EnzoHaussecker
Persistence210.01A versatile library for topological data analysis. (bsd3, data, library, math)2019-08-192.0.3Ebanflo
Probnet132.250Geometric Extrapolation of Integer Sequences with error prediction (ai, forecasting, library, math, mit, sequences)2021-06-020.1.0.4vnos
PropaFP60.01Auto-active verification of floating-point programs (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers)2023-03-120.1.2.0JunaidRasheed
ProxN190.01Proximity sets in N dimensions (bsd3, library, math)2012-01-280.0.1AndrasSlemmer
RANSAC60.01The RANSAC algorithm for parameter estimation. (bsd3, library, math, numerical)2015-11-190.1.0.2AnthonyCowley
SG10.03Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2009-03-171.0NeilBrown
SGplus20.01(updated) Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2016-09-011.1donomii
SmithNormalForm20.00A lightweight Haskell implementation of Smith normal form over the integers. (library, linearalgebra, math, mit)2021-12-310.1.0.0BrianHwang
Smooth10.01A tiny, lazy SMT solver (bsd3, library, math)2014-11-050.1.0.1dillonhuff
SpatialMath10.033d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2023-09-160.2.7.1ScottWalck
TeX-my-math90.02Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math, program)2023-04-260.203.0.0leftaroundabout
Vec200.015Fixed-length lists and low-dimensional linear algebra. (bsd3, data, library, math)2014-08-061.0.5ScottDillard
Vec-Boolean70.02Provides Boolean instances for the Vec package (bsd3, data, library, math)2012-08-051.0.6TobiasBexelius
Vec-OpenGLRaw00.03Instances and functions to interoperate Vec and OpenGL. (bsd3, graphics, library, math)2010-06-280.2.0.1ChristopherLaneHinson
Vec-Transform90.03This package is obsolete (bsd3, graphics, library, math)2012-08-051.1TobiasBexelius
WeberLogic00.01Logic interpreter (bsd3, library, math, program)2014-03-170.1.2cameronbwhite
Xorshift128Plus20.01Pure haskell implementation of xorshift128plus random number generator. (library, math, public-domain)2015-04-140.1.0.1hkanai
ZEBEDDE (deprecated)10.01Polymer growth simulation method (bsd3, deprecated, library, math)2015-07-290.1.0.0hackrilege
accelerate-arithmetic30.03Linear algebra and interpolation using the Accelerate framework (bsd3, library, math)2018-03-171.0.0.1HenningThielemann
accelerate-blas60.01Numeric Linear Algebra in Accelerate (accelerate, bsd3, library, math)2020-08-280.3.0.0TrevorMcDonell
accelerate-cublas00.01Basic Linear Algebra using native CUBLAS library (bsd3, library, math, program)2017-04-230.1HenningThielemann
accelerate-cufft00.01Accelerate frontend to the CUFFT library (Fourier transform) (bsd3, library, math)2017-12-151.0HenningThielemann
accelerate-fft110.02FFT using the Accelerate library (accelerate, bsd3, library, math)2020-08-281.3.0.0TrevorMcDonell
accelerate-fftw00.01Accelerate frontend to the FFTW library (Fourier transform) (bsd3, library, math)2018-03-171.0.0.1HenningThielemann
accelerate-fourier20.02Fast Fourier transform and convolution using the Accelerate framework (bsd3, library, math)2018-03-171.0.0.5HenningThielemann
accelerate-fourier-benchmark00.01Compare different implementations of the Fast Fourier Transform (bsd3, math, program)2017-04-230.0.0.1HenningThielemann
accelerate-typelits02.01a typesafe way encode accelerate matrices and vectors (library, math)2016-05-170.1.0.0epsilonhalbe
acts110.00Semigroup actions and torsors. (algebra, bsd3, library, math)2022-12-030.3.1.1sheaf
ad1542.524Automatic Differentiation (bsd3, library, math)2024-05-014.5.6EdwardKmett, EricMertens, ryanglscott
ad-delcont152.250Reverse-mode automatic differentiation with delimited continuations (bsd3, library, machine-learning, math, numeric, optimisation, optimization)2023-07-030.5.0.0ocramz
adjunction10.00See README for more info (adjunctions, bsd3, library, math)2020-02-010.0.0.0
aern2-fun10.01Generic operations for real functions (bsd3, library, math)2022-07-140.2.9.0MichalKonecny
aern2-mfun30.02Multi-variate real function optimisation and proving (bsd3, library, math, program)2022-07-140.2.9.0MichalKonecny
aern2-mp360.05Multi-precision ball (interval) arithmetic (bsd3, library, math)2024-10-050.2.16.1MichalKonecny
aern2-real150.01Real numbers as convergent sequences of intervals (bsd3, library, math)2024-10-050.2.16.1MichalKonecny
affine80.01Affine spaces (generalized) (bsd3, library, math)2018-05-170.1.1.0
aftovolio510.00An AFTOVolio implementation for creating texts with special phonetic / prosodic properties. (aftovolio, language, library, math, mit, music, poetry, program, rhythmicity)2024-11-300.6.2.0OleksandrZhabenko
alg (deprecated)110.08Algebraic structures (bsd3, deprecated, library, math)2019-12-240.2.13.1
algebra610.012Constructive abstract algebra (algebra, bsd3, library, math)2017-12-254.3.1EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic00.01General linear algebra structures. (algebra, bsd3, library, math)2014-06-170.1.0.2danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-classes270.02Conversions between algebraic classes and F-algebras. (bsd3, data, generics, library, math)2020-01-060.9.4SjoerdVisscher
antimirov00.01Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-300.1.0RickKaudewitz
apportionment171.251Round a set of numbers while maintaining its sum (bsd3, library, math)2022-01-020.0.0.4HenningThielemann
arb-fft70.01Pure Haskell arbitrary length FFT library (bsd3, library, math, program)2016-04-240.3.0.0IanRoss
arithmatic80.01do things with numbers (bsd3, library, math)2017-01-260.1.0.3AlanHawkins
arithmoi1272.2524Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2023-07-290.13.0.0CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
arrayfire242.251Haskell bindings to the ArrayFire general-purpose GPU library (bsd3, library, math, program)2022-10-020.7.0.0DavidJohnson
atp20.00Interface to automated theorem provers (formal-methods, gpl, library, logic, math, theorem-provers)2021-01-250.1.0.0EK
atrophy20.00Faster integer division and modulus operations (library, math, mit)2022-08-210.1.0.0goolord
automata10.00automata (bsd3, data, library, math)2019-01-220.1.0.0chessai
backprop492.258Heterogeneous automatic differentation (bsd3, library, math)2023-07-230.2.6.5jle
battleship-combinatorics100.00Compute number of possible arrangements in the battleship game (bsd3, library, math, program)2021-11-180.0.1HenningThielemann
bayes-stack00.01Framework for inferring generative probabilistic models with Gibbs sampling (bsd3, library, math)2012-10-270.2.0.1BenGamari
bed-and-breakfast210.02Efficient Matrix and Vector operations in 100% Haskell. (library, linear-algebra, math, mit, numeric)2018-10-220.5JulianFleischer
besout40.02Extended GCD of polynomials over F_p[x] (bsd3, library, math)2014-06-210.2.0.1AbdelwahebMiled
bin1620.05Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2024-06-080.1.4phadej
bindings-mpdecimal (deprecated in favor of deka)00.01bindings to mpdecimal library (bsd3, deprecated, library, math)2014-01-200.8.0.0OmariNorman
bindings-saga-cmd70.01Wrapping saga_cmd (gpl, library, math, program)2015-06-160.1.1.1michelk
bins90.01Aggregate continuous values into discrete bins (bsd3, library, math)2019-10-040.1.2.0jle
blas (deprecated in favor of hblas)130.01Bindings to the BLAS library (bsd3, deprecated, library, math)2009-01-140.7.6CarterSchonwald
blas-carray120.01Auto-generated interface to Fortran BLAS via CArrays (bsd3, library, math)2023-02-160.1.0.2HenningThielemann
blas-comfort-array140.00Auto-generated interface to Fortran BLAS via comfort-array (bsd3, library, math)2021-08-060.0.0.3HenningThielemann
blas-ffi100.04Auto-generated interface to Fortran BLAS (bsd3, library, math)2018-12-200.1HenningThielemann
blas-hs160.03Low-level Haskell bindings to Blas. (library, math, mit)2014-12-270.1.1.0Rufflewind
boltzmann-brain10.00Analytic sampler compiler for combinatorial systems. (bsd3, library, math, program)2019-12-091.6mbendkowski
boolector70.01Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2020-08-200.0.0.13DeianStefan
boolsimplifier160.01Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-150.1.8GershomBazerman
braid10.01Types and functions to work with braids and Khovanov homology. (bsd3, library, math, program)2016-01-180.1.0.0saltza
buffon40.01An implementation of Buffon machines. (bsd2, library, math)2018-03-260.1.0.1DerekElkins
buffon-machines00.00Perfect simulation of discrete random variables (bsd3, library, math)2019-09-161.1.1.1mbendkowski
burst-detection10.01Burst detection algorithms (gpl, library, math)2013-11-081.0
ca100.01Cellular Automata (bsd3, library, math)2018-04-220.0.0.1
caffegraph32.01 (bsd3, library, math)2015-02-170.1.0.2ajtulloch
cal-layout10.00Calendar Layout Algorithm (bsd3, library, math, program)2019-01-030.1.0.2bor0
calculator292.01A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-100.4.1.2sumitsahrawat
caldims10.01Calculation tool and library supporting units (library, math, program)2008-11-050.1.0RickKaudewitz
calendar-recycling120.01List years with the same calendars (bsd3, math, program)2018-08-310.0.0.1HenningThielemann
canon90.01Arithmetic for Psychedelically Large Numbers (library, math, mit)2019-09-030.1.1.4grandpascorpion
casadi-bindings500.02mid-level bindings to CasADi (lgpl, library, math, numerical)2018-12-153.4.5.0GregHorn
casadi-bindings-control (deprecated in favor of casadi-bindings-core)10.01low level bindings to casadi-control (deprecated, lgpl, library, math, numerical)2014-08-212.0.0.1GregHorn
casadi-bindings-core20.06autogenerated low level bindings to casadi (lgpl, library, math, numerical)2018-12-153.4.5.0GregHorn
casadi-bindings-internal30.07low level bindings to CasADi (lgpl, library, math, numerical)2018-12-150.1.6.1GregHorn
casadi-bindings-ipopt-interface (deprecated in favor of casadi-bindings-core)70.01low level bindings to casadi-ipopt_interface (deprecated, lgpl, library, math, numerical)2014-05-271.9.0.3GregHorn
casadi-bindings-snopt-interface (deprecated in favor of casadi-bindings-core)30.01low level bindings to casadi-snopt_interface (deprecated, lgpl, library, math, numerical)2014-05-271.9.0.3GregHorn
cash20.01the Computer Algebra SHell (bsd3, computer-algebra, library, math)2012-03-260.1.0.1ChrisBrown
casui10.01Equation Manipulator (math, mit, program)2011-06-040.3EtienneLaurin
category (deprecated)201.2511Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-240.2.5.0
category-traced (deprecated in favor of category)01.251Traced monoidal categories (bsd3, deprecated, library, math)2016-02-240.1.0.1
cayley-dickson180.01Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-300.3.1.0lmj
cf122.251Exact real arithmetic using continued fractions (library, math, mit)2015-09-030.4.2mvr
checksum130.01Compute and verify checksums of ISBN, IBAN, etc. (bsd3, library, math)2023-01-140.0.0.1HenningThielemann
circular220.01Circular fixed-sized mutable vectors (bsd3, data-structures, library, math)2022-07-100.4.0.3dschrempf
cl3132.02Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2022-04-103.0.0.0nwaivio
cl3-hmatrix-interface80.01Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-212.0.0.0nwaivio
cl3-linear-interface90.01Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-212.0.0.0nwaivio
cl3-posit70.00Clifford Algebra of three dimensional space, implemented with Posit numbers. (algebra, bsd3, library, math, numeric)2024-12-241.0.0.0nwaivio
clac50.01Simple CLI RPN calculator (gpl, math, program)2015-03-180.5.0alexander
clif10.01A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-100.1.1.0maaleske
clifford140.01A Clifford algebra library (bsd3, library, math, numerical, program)2014-03-290.1.0.14spacekitteh
closure10.01Depth- and breadth-first set closures (library, math, mit)2013-10-210.1.0.0JosephAbrahamson
clumpiness130.01Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2019-01-210.17.0.2GregorySchwartz
clustering62.04High performance clustering algorithms (library, math, mit)2019-01-080.4.1kaizhang
cmath50.03A binding to the standard C math library (bsd3, library, math)2008-03-150.3DonaldStewart
coincident-root-loci12.01Equivariant CSM classes of coincident root loci (bsd3, library, math)2021-07-260.3BalazsKomuves
coinor-clp100.00Linear Programming using COIN-OR/CLP and comfort-array (bsd3, library, math)2024-01-030.0.0.2HenningThielemann
collect-errors190.07Error monad with a Float instance (bsd3, library, math)2024-04-100.1.6.0MichalKonecny
combinat502.09Generate and manipulate various combinatorial objects. (bsd3, library, math)2023-10-130.2.10.1BalazsKomuves
combinat-compat30.01Generate and manipulate various combinatorial objects. (bsd3, library, math)2018-04-030.2.8.2vmchale
combinat-diagrams30.01Graphical representations for various combinatorial objects (bsd3, library, math)2015-10-300.2BalazsKomuves
combinatorial250.02Count, enumerate, rank and unrank combinatorial objects (bsd3, library, math, statistics)2023-02-150.1.1HenningThielemann
combinatorics (deprecated in favor of exact-combinatorics)40.01Efficient computation of common combinatoric functions. (bsd3, deprecated, library, math, statistics)2012-01-290.1.0WrenThornton
comfort-blas100.01Numerical Basic Linear Algebra using BLAS (bsd3, library, math)2024-05-180.0.3HenningThielemann
comfort-fftw80.00High-level interface to FFTW (Fast Fourier Transform) based on comfort-array (bsd3, library, math)2023-04-220.0.0.1HenningThielemann
comfort-glpk80.00Linear Programming using GLPK and comfort-array (bsd3, library, math)2023-05-110.1HenningThielemann
commutative-semigroups2150.07Commutative semigroups (algebra, bsd3, data, library, math)2024-05-180.2.0.1JohnEricson, MarioBlazevic, RyanTrinkle, abrar, alexfmpe, maralorn, ymeister
complex-generic10.03complex numbers with non-mandatory RealFloat (bsd3, library, math)2017-04-030.1.1.1ClaudeHeilandAllen
complex-integrate40.01A simple integration function to integrate a complex-valued complex functions (library, math, public-domain)2012-01-211.0.0MarkSafronov
computational-algebra12.251Well-kinded computational algebra library, currently supporting Groebner basis. (bsd3, library, math)2017-12-070.5.1.0HiromiIshii
computational-geometry50.01Collection of algorithms in Computational Geometry. (bsd3, graphics, library, math)2017-10-130.1.0.3MaksymilianOwsianny
conjugateGradient60.01Sparse matrix linear-equation solver (bsd3, library, math)2013-04-202.2LeventErkok
connections140.02Orders, Galois connections, and lattices. (bsd3, library, math, numerical, program)2021-09-160.3.2cmk
constructible40.01Exact computation with constructible real numbers (bsd3, library, math)2021-11-090.1.2AndersKaseorg
constructive-algebra50.01A library of constructive algebra. (algebra, bsd3, library, math)2011-03-310.3.0AndersMortberg
continued-fraction72.01Types and functions for working with continued fractions in Haskell (bsd3, library, math)2018-08-180.1.0.11vmchale
continued-fractions160.02Continued fractions. (library, math, numerical, public-domain)2019-01-290.10.0.2JamesCook, rockbmb
converge130.03Limit operations for converging sequences (library, math, numerical, public-domain)2011-08-150.1.0.1JamesCook
convexHullNd10.00Convex hull (geometry, gpl, library, math)2023-11-220.1.0.0stla
covariance130.01Well-conditioned estimation of large-dimensional covariance matrices (gpl, library, math, statistics)2022-07-100.2.0.1dschrempf
coya40.00Coya monoids (bsd3, data, library, math)2020-07-090.1.0.1chessai
cplex-hs62.01high-level CPLEX interface (bsd3, library, math)2016-11-050.5.0.2stefanjhlk
crf-chain100.02First-order, linear-chain conditional random fields (bsd3, library, math)2019-11-300.2.3JakubWaszczuk
crf-chain1-constrained130.03First-order, constrained, linear-chain conditional random fields (bsd3, library, math)2018-10-300.6.0JakubWaszczuk
crf-chain2-generic40.02Second-order, generic, constrained, linear conditional random fields (bsd3, library, math)2013-01-090.3.0JakubWaszczuk
cubicspline112.01Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-180.1.2GershomBazerman
curve25519330.02Fast implementations of the curve25519 elliptic curve primitives. (bsd3, library, math)2023-12-120.2.8AdamWick, EricMertens
cyclotomic140.02A subfield of the complex numbers for exact calculation. (gpl, library, math)2023-03-171.1.2ScottWalck
data-category432.251Category theory (bsd3, category-theory, library, math)2023-03-270.11SjoerdVisscher
data-interval550.06Interval datatype, interval arithmetic and interval-based containers (bsd3, data, library, math)2023-12-212.1.2MasahiroSakai, Bodigrim
data-nat10.01data Nat = Zero | Succ Nat (bsd3, data, library, math)2012-09-230.1.2GaborLehel
dde122.01Delay differential equations (bsd3, library, math, program)2018-07-080.3.0penkovsky
decimal-literals00.02Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2019-02-200.1.0.1leftaroundabout
declarative450.01DIY Markov Chains. (library, math, mit)2021-02-230.5.4JaredTobin
deeplearning-hs20.01Deep Learning in Haskell (library, math, mit, program)2014-05-050.1.0.2ajtulloch
deka10.02Decimal floating point arithmetic (bsd3, library, math)2014-07-160.6.0.2OmariNorman
deka-tests10.01Tests for deka, decimal floating point arithmetic (bsd3, library, math, program)2014-07-160.6.0.2OmariNorman
delaunayNd30.01Delaunay tessellation (geometry, gpl, library, math)2023-11-200.1.0.2stla
dense-linear-algebra1690.02Simple and incomplete pure haskell implementation of linear algebra (bsd2, library, math, numeric, statistics)2018-10-110.1.0.0AlexeyKhudyakov
derivation-trees20.01Typeset Derivation Trees via MetaPost (graphics, library, math)2010-11-180.7.3JeanPhilippeBernardy
detour-via-sci130.02JSON and CSV encoding for rationals as decimal point numbers. (csv, data, json, library, math, mpl, numeric)2018-06-221.0.0philderbeast
detour-via-uom30.01JSON and CSV encoding for quantities. (csv, data, json, library, math, mpl, numeric, physics)2018-06-221.0.0philderbeast
dfrac90.01A package for precise decimal arithmatic using rationals. (library, math, mit)2014-08-150.1.2.0georgerogers42
diagrams-solve810.02Pure Haskell solver routines used by diagrams (bsd3, library, math)2021-02-130.1.3BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
digamma (deprecated in favor of math-functions)80.02A (deprecated) implementation of the digamma function (bsd3, deprecated, library, math)2016-04-131.0BenGamari
dimensional752.511Statically checked physical dimensions (bsd3, library, math, physics)2024-10-251.6.1BjornBuckwalter, dmcclean, LaurentRDC
dimensional-tf (deprecated in favor of dimensional)140.03Statically checked physical dimensions, implemented using type families. (bsd3, deprecated, library, math, physics)2016-12-070.3.0.4BjornBuckwalter
dimensions160.06Safe type-level dimensionality for multidimensional data. (bsd3, geometry, library, math)2021-04-042.1.1.0achirkin
diophantine40.01A quadratic diophantine equation solving library. (gpl, library, math)2014-11-240.2.1.0joejev
directed-cubical30.01Finite directed cubical complexes and associated algorithms (bsd3, library, math)2014-06-080.1.2.0mmisamore
dirichlet140.02Multivariate Dirichlet distribution (bsd3, library, math)2022-07-100.1.0.7dschrempf
distribution62.02Finite discrete probability distributions. (apache, library, math)2017-06-291.1.1.0RomainEdelmann
distribution-plot10.01Easily plot distributions from the distribution package.. (apache, library, math)2014-08-041.0.0.0RomainEdelmann
downhill12.00Reverse mode automatic differentiation (library, math, mit)2023-03-040.4.0.0andriusstank
dozenal40.01A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-110.1.0.0siddhanathan
dsp372.02Haskell Digital Signal Processing (gpl, library, math, sound)2022-09-210.2.5.2HenningThielemann
dual (deprecated)190.05Dual category (bsd3, deprecated, library, math)2020-01-200.1.1.1
dumb-cas00.02A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)2023-01-270.2.1.1leftaroundabout
dvda (deprecated in favor of dynobud)150.01Efficient automatic differentiation and code generation (bsd3, deprecated, library, math, numerical)2014-04-050.4GregHorn
dyckword50.01A library for working with binary Dyck words. (bsd3, library, math)2017-05-010.1.0.4arbelos
earcut50.01Binding to C++ earcut library. (library, math)2020-07-110.1.0.4DavidHimmelstrup, GeorgeThomas
ease80.01Robert Penner's easing equations (bsd3, game, library, math)2020-10-010.1.0.2fresheyeball
easyplot210.02A tiny plotting library, utilizes gnuplot for plotting. (graphics, library, math, mit, plotting)2013-03-261.0JulianFleischer
easytensor110.02Pure, type-indexed haskell vector, matrix, and tensor library. (bsd3, geometry, library, math)2021-04-072.1.1.1achirkin
easytensor-vulkan150.01Use easytensor with vulkan-api. (bsd3, geometry, graphics, library, math, opengl, vulkan)2021-04-052.0.2.1achirkin
egyptian-fractions50.01Egyptian fractions in Haskell (bsd3, library, math)2018-06-250.1.0.2vmchale
eigen271.56Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-113.3.7.0OlegSidorkin, chessai
elbow50.01Find the elbow point. (gpl, library, math)2020-02-200.2.0.0GregorySchwartz
elliptic-integrals10.02Carlson Elliptic Integrals and Incomplete Elliptic Integrals (bsd3, library, math, numeric)2023-03-010.1.0.1stla
emd280.01Empirical Mode Decomposition and Hilbert-Huang Transform (bsd3, library, math)2019-10-310.2.0.0jle
equational-reasoning241.59Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2024-05-170.7.0.3HiromiIshii
equational-reasoning-induction10.00Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2019-02-080.6.0.0HiromiIshii
erf1470.017The error function, erf, and related functions. (bsd3, library, math)2011-05-262.0.0.0LennartAugustsson
erf-native30.02Native Haskell implementation of the interface from the erf package (library, math)2012-01-031.0.0.1JamesCook
estimator150.01State-space estimation algorithms such as Kalman Filters (bsd3, library, math, numerical, statistics)2016-07-191.2.0.0AdamFoltzer, JameySharp
euler70.01Mathematics utilities for Haskell (library, math, mit)2020-05-250.10.1decomputed, luisonthekeyboard
exact-combinatorics460.06Efficient exact computation of combinatoric functions. (bsd3, library, math, statistics)2021-11-030.2.0.11WrenThornton, WrenRomano
exact-cover00.01Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-220.1.0.0arthur
exact-kantorovich10.00Exact Kantorovich distance between finite probability measures. (bsd3, library, math, optimization)2024-05-080.1.0.0stla
exact-real302.252Exact real arithmetic (library, math, mit)2021-12-130.12.5.1jophish, expipiplus1
exact-real-positional10.01Framework for Exact Real Arithmetic in the Positional Number System (bsd3, library, math)2017-07-200.0.0grlks
exp-pairs430.01Linear programming over exponent pairs (gpl, library, math)2024-12-110.2.1.1Bodigrim
explicit-determinant00.01explicit computation of determinant of small matrices (gpl, library, math)2014-07-030.1.0.0JohannesWaldmann
expressions101.51Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-300.5jakubdaniel
expressions-z310.01Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2019-04-300.5jakubdaniel
extended-categories20.01Extended Categories (bsd3, library, math)2014-11-230.2.0ian_mi
extended-reals540.08Extension of real numbers with positive/negative infinities (bsd3, library, math)2024-12-130.2.5.0MasahiroSakai, Bodigrim
factory290.05Rational arithmetic in an irrational world. (gpl, library, math, number-theory, program)2021-08-250.3.2.3AlistairWard, LennartAugustsson
fad90.01Forward Automatic Differentiation. (bsd3, library, math)2012-12-221.1.0.1BjornBuckwalter
fadno-braids130.02Braid representations in Haskell (algebra, bsd2, data, library, math)2024-01-200.2spopejoy
fast-arithmetic522.01Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2022-01-170.6.7.0vmchale
fast-math460.02Non IEEE-754 compliant compile-time floating-point optimisations (bsd3, library, math, numeric)2015-08-011.0.2LiyangHu, MikeIzbicki
fft522.07Bindings to the FFTW library. (bsd3, library, math)2021-05-210.1.8.7HenningThielemann, JedBrown
fftw-ffi110.01Low-level interface to FFTW (Fast Fourier Transform) (bsd3, library, math)2021-07-260.1HenningThielemann
fftwRaw40.01Low level bindings to FFTW. (bsd3, library, math)2018-09-040.1.0.2adamwalker
fib60.00fibonacci algebra (bsd3, library, math)2020-07-090.1.0.1chessai
fin2112.014Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2024-11-090.3.2phadej
find-clumpiness110.01Find the clumpiness of labels in a tree (gpl, library, math, program)2019-01-210.2.3.2GregorySchwartz
finite-field240.04Finite Fields (algebra, bsd3, data, library, math)2021-01-020.10.0MasahiroSakai
finite-fields62.00Arithmetic in finite fields (bsd3, library, math)2023-11-080.2.0.1BalazsKomuves
finite-semigroups30.01Operations and classification for finite semigroups (library, math, mit)2023-10-260.1.0.0dakotah_lambert
fixed-point (deprecated)90.03Binary fixed-point arithmetic (data, deprecated, game, library, math, mit, numerical)2011-08-270.5.0.1JakeMcArthur
fixed-point-vector (deprecated)20.01Unbox instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-270.5.0.1JakeMcArthur
fixed-point-vector-space (deprecated)20.01vector-space instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-270.5.0.1JakeMcArthur
fixed-precision50.01Fixed Precision Arithmetic (bsd3, library, math)2010-06-150.4.0EdwardKmett
fixedprec220.02A fixed-precision real number type (bsd3, data, library, math)2018-11-060.2.2.2PeterSelinger
fizz-buzz70.01Functional Fizz/Buzz (bsd3, library, math)2017-01-260.1.0.3AlanHawkins
flat-mcmc60.01Painless general-purpose sampling. (library, math, mit)2020-10-111.5.2JaredTobin
float128130.03FFI bindings for C _Float128 (bsd3, library, math)2020-06-150.1ClaudeHeilandAllen
foldl-statistics122.01Statistical functions from the statistics package implemented as Folds. (bsd3, library, math, statistics)2018-09-250.1.5.1AlexMason
fp-ieee190.01IEEE 754-2019 compliant operations (bsd3, library, math, numeric)2024-12-150.1.0.5aratamizuki
fplll00.00Haskell bindings to <https://fplll.github.io/fplll/ fplll> (lgpl, library, math)2019-12-050.1.0.0lanceroy
fpnla70.02A library for NLA operations (bsd3, library, math)2014-02-040.1.1mblanco
fpnla-examples20.01Example implementations for FPNLA library (bsd3, library, math, parallelism)2014-02-040.1.1mblanco
fptest70.01IEEE754r floating point conformance tests (bsd3, math, program)2018-11-150.2.3.0jrp
fractals10.01A collection of useful fractal curve encoders (bsd3, library, math)2015-08-100.1.0.0sdekker
fractionizer270.00Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types. (#AncientEgypt, language, library, math, mit, music, sound)2023-10-190.17.0.0OleksandrZhabenko
free-functors742.01Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-051.2.1SjoerdVisscher
free-vector-spaces30.04Instantiate the classes from the vector-space package with types from linear (bsd3, library, math)2022-06-010.1.5.2leftaroundabout
frotate70.00Advanced rotation of backups and other things (math, program, system)2019-08-310.1.1ip1981
function-instances-algebra00.01Instances of the Algebra.* classes for functions (bsd3, library, math)2012-03-250.1TobiasBrandt
functor (deprecated in favor of category)20.01Functors (bsd3, control, deprecated, library, math)2017-11-160.1.0.0
game-probability30.01Simple probability library for dice rolls, card games and similar (bsd3, library, math)2010-09-081.1NeilBrown
gamma130.09Gamma function and related functions. (library, math, numerical, public-domain)2019-02-030.10.0.0JamesCook, rockbmb
garepinoh30.01reverse prefix notation calculator and calculation library (console, library, math, program, public-domain, tools)2014-01-210.9.9.2.1MekeorMelire
geocalc60.01Libary for calculating distances between two coordinates in WSG84 (bsd3, library, math)2011-07-011.0.0GeroKriependorf
geom2d70.01package for geometry in euklidean 2d space (gpl, library, math)2015-11-010.2.2seppeljordan
ghc-typelits-presburger681.754Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2024-06-090.7.4.0HiromiIshii
glasso120.02Graphical Lasso algorithm (bsd3, library, math)2015-04-150.1.0kaizhang
glicko50.01Glicko-2 implementation in Haskell. (gpl, library, math)2021-01-130.3.0.2rprecenth
glpk-headers130.03Low-level Haskell bindings to the GLPK library (bsd3, library, math)2023-01-280.5.1prsteele
glpk-hs470.06Comprehensive GLPK linear programming bindings (bsd3, library, math, program)2021-01-290.8JeanPhilippeBernardy, LouisWasserman
gnuplot1511.5102D and 3D plots using gnuplot (bsd3, graphics, library, math)2022-02-130.5.7HenningThielemann
goal-core30.04Common, non-geometric tools for use with Goal (bsd3, library, math)2021-08-310.20alex404
goal-geometry30.03The basic geometric type system of Goal (bsd3, library, math)2021-08-310.20alex404
goal-graphical10.00Optimization of latent variable and dynamical models with Goal (bsd3, library, math)2021-08-310.20alex404
goal-probability10.02Optimization on manifolds of probability distributions with Goal (bsd3, library, math)2021-08-310.20alex404
goal-simulation10.00Mealy based simulation tools (bsd3, library, math, program)2015-12-220.1alex404
gray-extended20.02Gray encoding schemes (bsd3, library, math)2021-08-181.5.9AmyDeBuitleir
grid612.254Tools for working with regular grids (graphs, lattices). (bsd3, library, math)2021-08-187.8.15AmyDeBuitleir
group-theory62.250The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-180.2.2ReedMullanix, topos
groups1720.023Groups (algebra, bsd3, data, library, math)2021-05-140.5.3NathanVanDoorn
groups-generic60.00Generically derive Group instances. (algebra, bsd3, library, math)2022-12-040.3.1.0sheaf
gsl-random60.04Bindings the the GSL random number generation facilities. (bsd3, library, math)2017-09-150.5.3PatrickPerry
gsl-random-fu10.01Instances for using gsl-random with random-fu (library, math, public-domain)2009-05-200.0.0.1JamesCook
gutenberg-fibonaccis170.01The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-091.1.0JustinHanekom
hR (deprecated)40.01R bindings and interface (bsd3, deprecated, foreign, library, math)2012-03-050.1.1DylanSimon
hTensor210.02Multidimensional arrays and simple tensor computations. (bsd3, library, math)2016-11-020.9.1AlbertoRuiz, DominicSteinitz
haar32.01Haar wavelet transforms (bsd3, library, math)2014-09-220.1AmyDeBuitleir
hahp40.00Analytic Hierarchy Process (agpl, library, math, program)2016-02-220.1.3taeradan, jpierre03
half-space20.01Additive monoids generalising vector spaces (gpl, library, math)2023-05-210.1.1.0leftaroundabout
harpie190.03Haskell array programming. (bsd3, library, math)2024-10-140.1.1.0tonyday567
harpie-numhask150.01numhask shim for harpie. (bsd3, library, math)2024-10-140.1.0.1tonyday567
hascal260.01tiny calculator library and command-line program (console, library, math, parsing, program, tools, utility, utils)2017-02-273.0.1DagOdenhall, MekeorMelire
haskell-eigen-util00.01Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-180.1.0.4dilawars
haskell-igraph150.01Bindings to the igraph C library (v0.8.0). (library, math, mit)2020-02-210.8.0kaizhang
haskell-mpfr02.02Correctly-rounded arbitrary-precision floating-point arithmetic (library, math, numeric)2016-02-010.1ilist
hbayes100.01Bayesian Networks (bsd3, library, math)2016-05-130.5.2alpheccar
hblas22.01Human friendly BLAS and Lapack bindings for Haskell. (bsd3, library, math)2018-01-310.4.0.1CarterSchonwald
hcg-minus (deprecated)340.08haskell cg (minus) (bsd3, deprecated, library, math)2017-11-220.16RohanDrape
hcg-minus-cairo (deprecated)50.02haskell cg (minus) (cairo rendering) (bsd3, deprecated, library, math)2017-11-220.16RohanDrape
hdr-histogram10.01Haskell implementation of High Dynamic Range (HDR) Histograms (gpl, library, math, statistics)2016-01-030.1.0.0joshbohde
heyting-algebras30.01Heyting and Boolean algebras (bsd3, library, math)2021-03-270.2.0.1coot
hgeometric40.01A geometric library with bindings to GPC. (library, math, mit)2009-06-250.0.2.2DonaldStewart, GwernBranwen, MarcoSilva
hieraclus60.01Automated clustering of arbitrary elements in Haskell. (bsd3, clustering, library, math, statistics)2011-09-290.1.2.1PhilippPribbernow
highs-lp00.00Linear Programming using HiGHS and comfort-array (bsd3, library, math)2023-12-220.0HenningThielemann
hirt20.01Calculates IRT 2PL and 3PL models (bsd3, math, program)2012-05-140.0.1.1IvanLabath
hlbfgsb20.01Haskell binding to L-BFGS-B version 3.0 (bsd3, library, math)2012-05-040.0.1.0IvanLabath
hmatrix1032.5125Numeric Linear Algebra (bsd3, library, math)2021-03-080.20.2AlbertoRuiz, DominicSteinitz
hmatrix-backprop190.01hmatrix operations lifted for backprop (bsd3, library, math)2019-08-180.1.3.0jle
hmatrix-banded (deprecated in favor of lapack)00.01HMatrix interface to LAPACK functions for banded matrices (bsd3, deprecated, library, math)2019-03-190.0.0.3HenningThielemann
hmatrix-glpk200.02Linear Programming based on GLPK (gpl, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-gsl530.013Numerical computation (gpl, library, math)2018-04-220.19.0.1AlbertoRuiz, DominicSteinitz
hmatrix-gsl-stats600.07GSL Statistics interface (bsd3, ffi, library, math, statistics)2019-06-110.4.1.8VivianMcPhail
hmatrix-mmap20.01Memory map Vector from disk into memory efficiently (bsd3, library, math, system)2011-02-220.0.5AlanFalloon
hmatrix-morpheus112.251Low-level machine learning auxiliary functions. (bsd3, library, math)2018-06-100.1.1.2aignatyev17
hmatrix-nipals20.01NIPALS method for Principal Components Analysis on large data-sets. (lgpl, library, math)2011-02-220.2AlanFalloon
hmatrix-quadprogpp120.01Bindings to the QuadProg++ quadratic programming library (bsd3, library, math)2017-12-150.4.0.0AkioTakano
hmatrix-repa180.01Adaptors for interoperability between hmatrix and repa (bsd3, data, library, math)2016-09-220.1.2.2VivianMcPhail
hmatrix-sparse20.01Sparse linear solver (bsd3, library, math)2018-04-220.19.0.0DominicSteinitz
hmatrix-special270.07Interface to GSL special functions (gpl, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-static60.01hmatrix with vector and matrix sizes encoded in types (library, math)2010-09-120.3.0.2ReinerPope
hmatrix-sundials72.01hmatrix interface to sundials (bsd3, library, math)2019-08-260.20.1.0DominicSteinitz
hmatrix-svdlibc90.03SVDLIBC bindings for HMatrix (bsd3, library, math)2018-09-130.5.0.1BenGamari
hmatrix-syntax50.01MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-310.1.2.1ReinerPope
hmatrix-tests350.01Tests for hmatrix (bsd3, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-vector-sized120.02Conversions between hmatrix and vector-sized types (bsd3, library, math)2020-02-110.1.3.0jle
hmm-hmatrix (deprecated in favor of hmm-lapack)70.01Hidden Markov Models using HMatrix primitives (bsd3, deprecated, library, math)2018-11-130.1.1HenningThielemann
hmm-lapack140.00Hidden Markov Models using LAPACK primitives (bsd3, library, math)2023-01-150.5.0.1HenningThielemann
hmpfr412.04Haskell binding to the MPFR library (bsd3, data, library, math)2022-12-010.4.5AlesBizjak, MichalKonecny
homeomorphic10.02Homeomorphic Embedding Test (bsd3, library, math)2008-04-030.1NeilMitchell
hopfield-networks62.01Hopfield Networks for unsupervised learning in Haskell (library, math, mit, program)2013-11-200.1.0.0ajtulloch
hops190.00Handy Operations on Power Series (bsd3, library, math, program)2017-07-030.7.2AndersClaesson
hps-kmeans20.01A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-100.1.0.0RodrigoGadea
hs-functors (deprecated)290.08Functors from products of Haskell and its dual to Haskell (bsd3, deprecated, library, math)2020-08-040.1.7.1
hsignal170.01Signal processing and EEG data analysis (bsd3, library, math)2016-11-140.2.7.5VivianMcPhail
hsilop40.01RPN calculator (math, mit, program)2015-09-190.2.0.0rnhmjoj
hspray20.03Multivariate polynomials and fractions of multivariate polynomials. (algebra, gpl, library, math)2024-06-210.5.4.0stla
hstatistics550.02Statistics (bsd3, library, math, statistics)2020-08-060.3.1VivianMcPhail
hypergeomatrix00.00Hypergeometric function of a matrix argument (bsd3, library, math, numeric)2024-03-251.1.0.2stla
hypergeometric92.250Hypergeometric functions (agpl, library, math, statistics)2024-10-310.1.5.1vmchale
hz3 (deprecated)80.00Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, deprecated, formal-methods, library, math, smt, theorem-provers)2019-10-0196.0.0.0
ieee (deprecated in favor of ieee754)240.02Utilities for dealing with IEEE floating point numbers (bsd3, deprecated, library, math)2010-09-200.7PatrickPerry
ieee754592.028Utilities for dealing with IEEE floating point numbers (bsd3, library, math)2017-01-300.8.0PatrickPerry
integer-logarithms3230.026Integer logarithms. (algorithms, library, math, mit, number-theory)2024-12-201.0.4phadej
integer-roots640.05Integer roots and perfect powers (algorithms, library, math, mit, number-theory)2021-11-221.0.2.0Bodigrim
interpolation220.01piecewise linear and cubic Hermite interpolation (bsd3, library, math)2021-08-070.1.1.2HenningThielemann
interval-patterns240.00Intervals, and monoids thereof (algebra, bsd3, charts, data-structures, library, math, statistics)2024-04-180.8.0melaniebrown
intervals1662.07Interval Arithmetic (bsd3, library, math)2024-12-040.9.3EdwardKmett, EricMertens, ryanglscott
involutive-semigroups20.00Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-300.1.0.0nosewings
ipopt-hs10.01haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-120.5.1.0AdamVogt
irt10.01Item Response Theory functions for use in computerized adaptive testing (bsd3, library, math)2017-08-030.2.0.1ElliotRobinson
iter-stats80.01iteratees for statistical processing (bsd3, library, math)2015-01-050.1.0.4JohnLato
jackpolynomials20.00Jack, zonal, Schur, and other symmetric polynomials (algebra, combinatorics, gpl, library, math)2024-07-131.4.7.0stla
jacobi-elliptic00.00Neville Theta Functions and Jacobi Elliptic Functions (bsd3, library, math, numeric)2023-10-180.1.3.0stla
jacobi-roots70.02Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision (bsd3, library, math)2014-05-270.2.0.4GregHorn
jacobi-theta20.02Jacobi Theta Functions (bsd3, library, math, numeric)2023-10-310.2.2.2stla
jalla10.01Higher level functions for linear algebra. Wraps BLAS and LAPACKE. (library, math)2015-06-260.2.0.1ChristianGosch
jinquantities32.01Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2018-09-120.1.1Novadiscovery
kalman62.01Kalman and particle filters and smoothers (library, math, mit)2016-12-141.0.0.2DominicSteinitz
kleene62.01Kleene algebra (bsd3, library, math)2019-04-250.1phadej
kmeans-vector70.01An implementation of the kmeans clustering algorithm based on the vector package (bsd3, library, math, program)2015-07-300.3.2AlpMestanogullari
kmn-programming30.00K_M,N quadratic programming (bsd3, math, program)2021-12-200.9.2PeterDivianszky
knead-arithmetic20.01Linear algebra and interpolation using LLVM JIT (bsd3, library, math)2016-10-090.0.0.1HenningThielemann
knots20.01Khovanov homology computations (library, math, mit, program)2015-04-090.1.0.1maltem
ks-test20.01Kolmogorov distribution and Kolmogorov-Smirnov test. (library, math, numerical, public-domain)2010-09-100.1JamesCook
l-bfgs-b10.02Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization (bsd3, library, math)2014-07-030.1.0.1GardSpreemann
lagrangian20.02Solve Lagrange multiplier problems (bsd3, library, math)2014-10-090.6.0.1JonathanFischoff, pash
lapack370.04Numerical Linear Algebra using LAPACK (bsd3, library, math)2024-05-180.5.2HenningThielemann
lapack-carray70.01Auto-generated interface to Fortran LAPACK via CArrays (bsd3, library, math)2019-01-230.0.3HenningThielemann
lapack-comfort-array90.00Auto-generated interface to Fortran LAPACK via comfort-array (bsd3, library, math)2021-08-060.0.1HenningThielemann
lapack-ffi80.03Auto-generated interface to Fortran LAPACK (bsd3, library, math)2021-03-140.0.3HenningThielemann
lapack-ffi-tools230.01Generator for Haskell interface to Fortran LAPACK (bsd3, math, program)2023-01-140.1.3.1HenningThielemann
lapack-hmatrix80.00Conversion of objects between 'lapack' and 'hmatrix' (bsd3, library, math)2023-01-140.0.0.2HenningThielemann
lattices932.2528Fine-grained library for constructing and manipulating lattices (bsd3, library, math)2024-05-162.2.1MaxBolingbroke, phadej
lawz90.04Common mathematical laws. (bsd3, library, math, testing)2020-02-110.1.1cmk
lazysplines52.01Differential solving with lazy splines (bsd3, library, math)2019-02-070.3GershomBazerman
lean (deprecated)20.00Bonds to Lean theorem prover (bsd3, deprecated, library, math)2019-05-150.0.0.1
left4deadrl50.01left4dead-inspired roguelike (bsd3, math, program)2018-04-060.0.2AndrewPennebaker
levmar20.02An implementation of the Levenberg-Marquardt algorithm (bsd3, library, math, numerical)2018-05-071.2.1.8BasVanDijk, RoelVanDijk
libroman81.51Use Roman Numerals as a Numeric Datatype (sort of) (bsd3, data, library, math, numerical, program)2024-08-223.2.0ahakki
lie10.00Lie Algebras (bsd3, library, math, program)2019-06-080.1.0.0jumper149
lin-alg110.01Low-dimensional matrices and vectors for graphics and physics (bsd3, library, math)2016-11-050.1.0.3JasonDagit
linda40.01LINear Discriminant Analysis (bsd3, library, math, statistics)2011-09-240.1.2LennartSchmitt
linear3202.5154Linear Algebra (algebra, bsd3, library, math)2024-04-151.23AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate110.02Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-280.7.0.0EdwardKmett, TrevorMcDonell, ryanglscott
linear-algebra-cblas00.02A linear algebra library with bindings to BLAS and LAPACK (bsd3, library, math, program)2013-04-180.1CarterSchonwald
linear-circuit130.01Compute resistance of linear electrical circuits (bsd3, library, math)2021-12-050.1.0.4HenningThielemann
linear-code32.01A simple library for linear codes (coding theory, error correction) (gpl, library, math)2018-08-300.2.0wchresta
linear-geo10.00Geographic coordinates, built on the linear package. (library, math, mit)2023-12-210.1.0.0TravisWhitaker
linear-grammar80.01A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-130.0.2.1athanclark
linear-programming100.03Linear Programming basic definitions (bsd3, library, math)2023-12-220.0.1HenningThielemann
linear-smc130.00Build SMC morphisms using linear types (lgpl, library, math)2023-06-202.2.3JeanPhilippeBernardy
linear-tests60.00Linear Algebra (algebra, bsd3, library, math, testing)2020-03-270.1.2.0pdlla
linear-vect20.02A low-dimensional linear algebra library, operating on the Num typeclass (bsd3, library, math)2014-10-050.1.1.0capsjac
linearEqSolver170.01Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2024-12-232.4LeventErkok
linearmap-category280.04Native, complete-ish, matrix-free linear algebra. (gpl, library, math)2023-05-200.6.0.1leftaroundabout
logfloat740.013Log-domain floating point numbers (bsd3, data, library, math, natural-language-processing, statistics)2023-03-190.14.0WrenThornton, WrenRomano
logic-TPTP290.01Import, export etc. for TPTP, a syntax for first-order logic (codec, library, math, theorem-provers)2024-11-090.6.0.0DanielSchuessler, KiYungAhn, MasahiroSakai
long-double200.02FFI bindings for C long double (bsd3, math)2023-03-100.1.1.1ClaudeHeilandAllen
lowlin60.00Low dimensional linear algebra (bsd3, library, linear-algebra, math)2020-05-060.2.0.1jodak
magico70.01Compute solutions for Magico puzzle (bsd3, math, program)2021-12-050.0.2.3HenningThielemann
magma110.01magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2023-04-190.6.1.1KatsutoshiItoh
magmas80.02Magma-like objects. (bsd3, library, math, numerical)2020-02-200.0.1cmk
manifold-random10.01Sampling random points on general manifolds. (gpl, library, math)2023-07-040.6.1.0leftaroundabout
manifolds180.04Coordinate-free hypersurfaces (gpl, library, math)2023-07-040.6.1.0leftaroundabout
manifolds-core90.05The basic classes for the manifolds hierarchy. (gpl, library, math)2023-05-180.6.1.0leftaroundabout
math-extras160.00A variety of mathematical utilities (bsd3, library, math, numeric)2020-03-030.1.1.0zliu41
math-functions3252.2541Collection of tools for numeric computations (bsd2, library, math, numeric)2024-03-300.3.4.4AlexeyKhudyakov, BryanOSullivan
math-grads62.00Library containing graph data structures and graph algorithms (bsd3, graph, library, math)2020-04-020.1.6.7AlexKane
math-programming60.02A library for formulating and solving math programs. (bsd3, library, math)2023-01-280.5.1prsteele
math-programming-glpk70.00A GLPK backend to the math-programming library. (bsd3, library, math)2023-01-280.5.1prsteele
math-programming-tests50.00Utility functions for testing implementations of the math-programming library. (bsd3, library, math)2023-01-280.5.1prsteele
mathexpr110.01Parse and evaluate math expressions with variables and functions (gpl, library, math)2022-07-140.3.1.0mdibaiee
mathflow30.01Dependently typed tensorflow modeler (bsd3, library, math)2017-08-080.1.0.0junjihashimoto
mathlist160.00Math using lists, including FFT and Wavelet (bsd3, education, library, math, numerics)2023-05-220.2.0.0djsamperi
matlab10.01Matlab bindings and interface (bsd3, foreign, library, math, program)2020-07-280.3.0.0DylanSimon, bmsherman, bebarker
matrix1092.2545A native implementation of matrix operations. (library, math, mit)2023-11-180.3.6.3DanielDiaz
matrix-lens30.00Optics for the "matrix" package (bsd3, library, math)2020-07-070.1.0.0lgastako
matrix-market00.01Read and write NIST Matrix Market files (bsd3, library, math, system)2008-04-041.2PatrickPerry
matrix-market-pure40.01Pure and composable reader and writer of the Matrix Market format. (bsd3, library, math)2011-02-210.2SergeyAstanin
matrix-sized60.00Haskell matrix library with interface to C++ linear algebra libraries. (bsd3, library, math)2020-06-220.1.1kaizhang
matrix-static192.01Type-safe matrix operations (bsd3, library, math)2020-02-180.3wchresta
maxent240.01Compute Maximum Entropy Distributions (bsd3, library, math)2014-10-090.7JonathanFischoff, pash
mcl20.02Bindings to mcl, a generic and fast pairing-based cryptography library (bsd3, crypto, library, math)2017-05-091.0.1arybczak
mcmc370.00Sample from a posterior using Markov chain Monte Carlo (gpl, library, math, statistics)2024-10-070.8.3.1dschrempf
mcmc-samplers02.01Combinators for MCMC sampling (bsd3, library, machine-learning, math, numeric, statistics)2014-11-100.1.1.1pravnar, z
mcmc-types131.755Common types for sampling. (library, math, mit, numeric)2016-12-041.0.3JaredTobin
mdp30.00Tools for solving Markov Decision Processes. (algorithms, library, math, mit, program)2016-11-290.1.1.0prsteele
mersenne-random280.09Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister (bsd3, library, math, system)2011-06-181.0.0.1DonaldStewart
mersenne-random-pure64580.025Generate high quality pseudorandom numbers purely using a Mersenne Twister (bsd3, library, math, system)2016-08-290.2.2.0BenGamari, DonaldStewart
mfsolve562.02Equation solver and calculator à la metafont (bsd3, library, math)2023-07-100.3.2.2BrentYorgey, KristofBastiaensen
miniball50.01Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-040.1.0.2GardSpreemann
mixed-strategies10.01Find optimal mixed strategies for two-player games (library, math, mit, program)2012-12-140.1.0.0BartonMassey
mixed-types-num230.07Alternative Prelude with numeric and logic expressions typed bottom-up (bsd3, library, math)2024-10-050.6.2MichalKonecny
mltool22.02Machine Learning Toolbox (bsd3, library, math)2018-06-100.2.0.1aignatyev, aignatyev17
mmsyn2-array-ukrainian-data10.01Data that is taken from the ukrainian-phonetics-basic-array for optimization. (data, language, library, math, mit)2023-01-310.2.0.0OleksandrZhabenko
mod1782.07Fast type-safe modular arithmetic (library, math, mit, number-theory)2023-02-130.2.0.1Bodigrim
modular200.01Type-safe modular arithmetic (bsd3, library, math)2018-11-050.1.0.8pgujjula
modular-arithmetic472.255A type for integers modulo some constant. (bsd3, library, math)2023-06-082.0.0.3TikhonJelvis
monad-lrs (deprecated)60.01a monad to calculate linear recursive sequence (bsd3, deprecated, library, math)2012-03-040.0.2.1BinJin
monoidplus10.01Extra classes/functions about monoids (data, library, math, public-domain)2011-11-120.1.0.1AaronBlack
monoids (deprecated in favor of reducers)20.02Deprecated: Use 'reducers' (bsd3, data, deprecated, library, math, numerical)2012-02-090.3.2DanielWagner, EdwardKmett
monte-carlo10.01A monad and transformer for Monte Carlo calculations. (bsd3, library, math)2017-09-150.6.2PatrickPerry
mpolynomials10.01Simple multivariate polynomials. (algebra, gpl, library, math)2022-12-110.1.1.0stla
ms50.01metric spaces (bsd2, library, math)2015-07-210.2.1RickyElrod
multiset-comb140.03Combinatorial algorithms over multisets (bsd3, library, math)2023-02-270.2.4.2BrentYorgey
mwc-probability630.014Sampling function-based probability distributions. (library, math, mit)2020-07-312.3.1JaredTobin, ocramz
mwc-random4342.0123Fast, high quality pseudo random number generation (bsd2, library, math, statistics)2024-07-090.15.1.0AlexeyKhudyakov, BryanOSullivan
mwc-random-monad182.04Monadic interface for mwc-random (bsd3, library, math, statistics)2015-05-200.7.3.1AlexeyKhudyakov
nat100.01Lazy binary natural numbers (bsd3, data, library, math)2012-08-130.3JanChristiansen
natural-arithmetic830.016Arithmetic of natural numbers (bsd3, library, math)2024-02-030.2.1.0andrewthad, l3c_amartin
natural-induction (deprecated)130.04Induction over natural numbers (bsd3, deprecated, library, math)2017-12-140.2.0.0
natural-numbers350.04Natural numbers (bsd3, data, library, math)2012-07-130.1.2.0WolfgangJeltsch
netlib-carray120.02Helper modules for CArray wrappers to BLAS and LAPACK (bsd3, library, math)2019-01-230.1HenningThielemann
netlib-comfort-array110.02Helper modules for comfort-array wrappers to BLAS and LAPACK (bsd3, library, math)2021-08-060.0.0.2HenningThielemann
netlib-ffi130.015Helper modules for FFI to BLAS and LAPACK (bsd3, library, math)2024-05-180.1.2HenningThielemann
network-topic-models00.01A few network topic model implementations for bayes-stack (bsd3, math, program)2012-10-270.2.0.1BenGamari
nimber50.01Finite nimber arithmetic (bsd3, library, math)2019-03-270.1.4AndersKaseorg, PatrickHurst
noether20.00Math in Haskell. (library, math, mit, program)2017-06-250.0.1mrkgnao
non-negative500.026Non-negative numbers (library, math)2018-02-160.1.2HenningThielemann
nonlinear-optimization240.09Various iterative algorithms for optimization of nonlinear functions. (library, math)2020-03-010.3.12.1FelipeLessa
nonlinear-optimization-ad140.01Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
nonlinear-optimization-backprop60.00Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
normaldistribution300.09Minimum fuss normally distributed random values. (bsd3, library, math, statistics)2011-08-311.1.0.3BjornBuckwalter
np-extras140.02NumericPrelude extras (bsd3, library, math)2022-05-130.3.1.3BrentYorgey
np-linear70.01Linear algebra for the numeric-prelude framework (bsd3, library, math)2014-11-240.3.0.2AriePeterson
nuha50.00Multidimensional arrays, Linear algebra, Numerical analysis (bsd3, library, math, numeric)2020-11-270.3.0.0jodak
number40.01A library for real numbers (library, math, mit)2015-09-100.1.1.0rnhmjoj
number-wall50.00Create number walls and save them as images (algorithms, graphics, image, library, math, mit)2022-09-030.1.0.3OwenBechtel
numbers642.08Various number types (bsd3, data, library, math)2018-05-143000.2.0.2CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor
numeric-domains50.01Numeric Domains (bsd3, library, math)2019-12-160.1.0.0MichaelSzvetits
numeric-extras230.05Useful tools from the C standard library (bsd3, library, math)2015-09-280.1EdwardKmett, EricMertens
numeric-ode00.00Ode solvers (bsd3, library, math, program)2017-07-220.0.0.0DominicSteinitz
numeric-optimization40.02Unified interface to various numerical optimization algorithms (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization)2023-06-210.1.1.0MasahiroSakai
numeric-optimization-ad30.00Wrapper of numeric-optimization package for using with AD package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
numeric-optimization-backprop30.00Wrapper of numeric-optimization package for using with backprop package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
numeric-prelude652.032An experimental alternative hierarchy of numeric type classes (bsd3, library, math)2022-05-280.4.4HenningThielemann
numeric-quest221.754Math and quantum mechanics (library, math)2018-02-150.2.0.2HenningThielemann
numeric-tools80.02Collection of numerical tools for integration, differentiation etc. (bsd3, library, math, numerical)2014-03-090.2.0.1AlexeyKhudyakov
numerical10.00core package for Numerical Haskell project (bsd2, library, math)2019-01-010.0.0.0CarterSchonwald
numericpeano70.03Peano numbers with attendant bells and whistles. (apache, library, math)2014-12-290.2.0.0jtapolczai, jtapolczai2
numhask1012.2525A numeric class hierarchy. (bsd3, library, math)2024-10-130.12.1.0tonyday567
numhask-array440.06Multi-dimensional arrays. (bsd3, library, math)2024-07-270.11.1.0tonyday567
numhask-space300.010Numerical spaces. (bsd3, library, math)2024-12-210.12.0.0tonyday567
numtype50.04Type-level (low cardinality) integers. (bsd3, library, math)2016-05-101.2BjornBuckwalter
numtype-dk620.04Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. (bsd3, library, math)2021-06-060.5.0.3BjornBuckwalter, dmcclean
numtype-tf80.03Type-level (low cardinality) integers, implemented using type families. (bsd3, library, math)2014-02-110.1.2BjornBuckwalter
nurbs10.01NURBS (bsd3, geometry, library, linear-algebra, math)2015-08-210.1.1.0AlexandrRuchkin
oeis240.07Interface to the Online Encyclopedia of Integer Sequences (OEIS) (bsd3, library, math)2020-01-240.3.10BrentYorgey, BrianLewis, niteria
oeis2190.00Interface for Online Encyclopedia of Integer Sequences (OEIS). (bsd3, library, math)2024-11-071.0.923prime
optimization110.01Numerical optimization (bsd3, library, math)2018-01-240.1.9BenGamari
padic10.00Fast, type-safe p-adic arithmetic (library, math, mit, number-theory)2022-02-030.1.0.0samsergey
pandoc-symreg90.00A tool to convert symbolic regression expressions into different formats. (gpl, library, math, program, text)2023-06-250.2.1.3olivetti
pareto20.01A library for cause-effect relationships. (bsd3, library, math)2016-10-190.2.0.0bwe
pareto-front00.00Monoids for dealing with Pareto efficiency (bsd3, library, math)2022-02-090.1.0.1quick_dudley
pava110.00Greatest convex majorants and least concave minorants (gpl, library, math, statistics)2022-07-100.1.1.4dschrempf
peano1170.011Peano numbers (bsd3, data, library, math)2023-10-230.1.0.2AndreasAbel
pell40.01Package to solve the Generalized Pell Equation. (algorithms, library, math, mit, number-theory)2019-11-120.1.3.0lbrunjes
periodic-polynomials50.00A library for working with periodic polynomials (very basic functionality) (library, math, mit)2020-06-260.2.0.0OleksandrZhabenko
permutation260.05A library for permutations and combinations. (bsd3, data-structures, library, math)2015-01-200.5.0.5PatrickPerry, spacekitteh
permutations (deprecated in favor of Fin)20.01Permutations of finite sets (bsd3, deprecated, library, math)2018-05-140.1.0.0
phladiprelio-general-datatype50.03Extended functionality of PhLADiPreLiO (language, library, math, mit, music, sound)2024-04-080.10.1.0OleksandrZhabenko
phladiprelio-general-shared00.01A shared by different general implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-01-300.1.2.0OleksandrZhabenko
phladiprelio-general-simple30.00A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms. (PhLADiPreLiO, language, library, math, mit, music)2024-04-100.20.0.2OleksandrZhabenko
phladiprelio-rhythmicity-shared20.03Allows to estimate some kind of the rhythmicity properties for the text (language, library, math, mit, music)2023-03-130.1.0.0OleksandrZhabenko
phladiprelio-ukrainian-shared40.01A shared by different Ukrainian implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-04-080.5.0.2OleksandrZhabenko
phladiprelio-ukrainian-simple540.00A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency. (PhLADiPreLiO, language, library, math, mit, music, program)2024-04-100.20.2.2OleksandrZhabenko
phonetic-languages-basis10.011A basics of the phonetic-languages (PhLADiPreLiO-related) functionality. (game, language, library, math, mit)2023-01-300.3.0.0OleksandrZhabenko
phonetic-languages-constaints (deprecated in favor of phonetic-languages-constraints)40.00Constraints to filter the needed permutations (deprecated, language, library, math, mit, phonetic-languages)2020-11-120.3.0.0OleksandrZhabenko
phonetic-languages-constraints90.02Constraints to filter the needed permutations (language, library, math, mit)2020-11-260.4.0.0OleksandrZhabenko
phonetic-languages-constraints-array200.05Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2024-01-270.8.0.0OleksandrZhabenko
phonetic-languages-examples10.00A generalization of the uniqueness-periods-vector-examples functionality. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-020.7.0.0OleksandrZhabenko
phonetic-languages-permutations50.01Commonly used versions of the phonetic-languages-common package (game, language, library, math, mit, phonetic-languages)2020-11-200.2.0.0OleksandrZhabenko
phonetic-languages-permutations-array (deprecated in favor of aftovolio)150.06Permutations and universal set related functions for the phonetic-languages series (deprecated, game, language, library, math, mit, phonetic-languages)2024-01-230.5.0.0OleksandrZhabenko
phonetic-languages-phonetics-basics400.05A library for working with generalized phonetic languages usage. (game, language, library, math, mit, phonetic-languages, phonetics, program, writing-systems)2024-01-300.11.0.0OleksandrZhabenko
phonetic-languages-plus00.03Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2023-02-020.7.1.0OleksandrZhabenko
phonetic-languages-rhythmicity350.09Allows to estimate the rhythmicity properties for the text (coherency, data, game, language, library, math, mit, phonetic-languages, polyrhythmicity, rap)2023-03-150.11.0.2OleksandrZhabenko
phonetic-languages-simplified-base400.010A basics of the phonetic-languages functionality that can be groupped. (game, language, library, math, mit, phonetic-languages)2024-03-080.9.0.0OleksandrZhabenko
phonetic-languages-simplified-common150.04A simplified version of the phonetic-languages-functionality (game, language, library, math, mit, phonetic-languages)2020-12-050.4.0.0OleksandrZhabenko
phonetic-languages-simplified-examples-array650.00Helps 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-130.21.0.0OleksandrZhabenko
phonetic-languages-simplified-examples-common220.01Some commonly used by phonetic-languages-simplified* series functions. (Ukrainian, game, language, library, math, mit, phonetic-languages)2023-03-150.6.2.0OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-array250.00Helps 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-140.19.0.1OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-common70.01Some common code for phonetic languages generalized functionality. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2023-03-150.6.1.0OleksandrZhabenko
phonetic-languages-simplified-generalized-properties-array130.02Some 'properties' of the phonetic languages approach text. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2023-03-150.13.1.0OleksandrZhabenko
phonetic-languages-simplified-lists-examples80.00Simplified and somewhat optimized version of the phonetic-languages-examples. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-020.7.0.0OleksandrZhabenko
phonetic-languages-simplified-properties-array410.02Some properties of the data related to rhythmicity. (Ukrainian, game, language, library, math, mit, phonetic-languages)2023-03-150.17.2.0OleksandrZhabenko
phonetic-languages-simplified-properties-array-common70.03Common functionality for 'with-tuples' and old version of properties. (game, language, library, math, mit)2023-03-150.4.1.0OleksandrZhabenko
phonetic-languages-simplified-properties-array-old10.00Some properties of the data related to rhythmicity. (game, language, library, math, mit)2022-05-310.1.0.0OleksandrZhabenko
phonetic-languages-simplified-properties-lists-double20.02A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-020.2.0.0OleksandrZhabenko
pig10.01dice game (bsd3, library, math, program)2018-04-060.0.1AndrewPennebaker
plot-gtk-ui60.01A quick way to use Mathematica like Manipulation abilities (gpl, library, math)2016-10-100.3.0.2sumitsahrawat
plot-lab (deprecated in favor of plot-gtk-ui, calculator)10.01A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-170.0.1.9sumitsahrawat
poker-eval20.01Binding to libpoker-eval (library, math, public-domain)2013-03-080.3.1DavidHimmelstrup
polar70.01Complex numbers in polar form (bsd3, library, math)2014-09-100.0.1StefanKersten
poly362.05Polynomials (bsd3, library, math, numerical)2022-12-310.5.1.0Bodigrim
polynom (deprecated)00.01Polynomial types and operations (deprecated, library, math)2016-01-210.1.0.0
polynomial82.09Polynomials (library, math, numerical, public-domain)2017-06-140.7.3JamesCook
polynomial-algebra40.01Multivariate polynomial rings (bsd3, library, math)2022-03-240.1.0.1BalazsKomuves
polynomials-bernstein170.04A solver for systems of polynomial equations in bernstein form (library, math)2015-09-291.1.2JeanPhilippeBernardy, PierreEtienneMeunier
posit150.00Posit Numbers (bsd3, library, math, numeric)2024-12-202022.2.0.1nwaivio
prime70.00prime number tools (gpl, library, math)2021-01-180.1.1jlamothe
primecount240.00Bindings to the primecount library (bsd3, library, math, number-theory)2024-12-230.1.0.2pgujjula
primesieve60.00FFI bindings for the primesieve library. (algorithms, foreign, library, math, mit, number-theory, program)2024-03-170.2.0sighingnow
prob30.00Discrete probability monad (bsd3, library, math)2022-12-190.1.1ChrisSmith
probability280.04Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2023-02-150.2.8HenningThielemann
probability-polynomial92.00Probability distributions via piecewise polynomials (bsd3, deltaq, library, math, numeric, probability)2024-12-231.0.0.0HeinrichApfelmus, semanticphilosopher
probable12.02Easy and reasonably efficient probabilistic programming and random generation (bsd3, library, math, statistics)2018-02-110.1.3AlpMestanogullari
product (deprecated)40.01Product category (bsd3, deprecated, library, math)2017-11-280.1.0.0
property (deprecated)50.02common properties (bsd3, deprecated, library, math, testing)2019-10-300.0.1cmk
pure-fft140.04Fast Fourier Transform (bsd3, library, math, numerical)2009-03-150.2.0MattMorrow
pure-noise10.00Performant, modern noise generation for Haskell with minimal dependencies. Based on FastNoiseLite. (bsd3, library, math, noise, numeric)2024-10-150.1.0.1jtnuttall
qd60.02double-double and quad-double number type via libqd (bsd3, library, math)2012-10-151.0.2.1ClaudeHeilandAllen
qd-vec20.01'Vec' instances for 'qd' types (bsd3, library, math)2012-10-151.1ClaudeHeilandAllen
qhull40.00Delaunay triangulation, Voronoi diagrams and convex hulls. (gpl, library, math)2022-08-060.1.0.4andrewufrank
qhull-simple10.01Simple bindings to Qhull, a library for computing convex hulls (bsd3, library, math)2013-07-040.1GardSpreemann
qlinear40.00Typesafe library for linear algebra (bsd3, library, math)2020-08-120.1.2.0JuniorGarbageCollector
quadratic-irrational130.01An implementation of quadratic irrationals (algorithms, data, library, math, mit)2020-04-150.1.1ion, Bodigrim
quantities90.01Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2015-11-070.4.0jdreaver
quantizer140.02Library to provide the behaviour similar to quantum states superposition. (library, math, mit)2024-09-280.4.0.0OleksandrZhabenko
quote-quot640.01Divide without division (bsd3, library, math, numerical)2022-04-110.2.1.0Bodigrim
r-glpk-phonetic-languages-ukrainian-durations170.00Can be used to calculate the durations of the approximations of the Ukrainian phonemes. (Ukrainian, glpk, language, library, math, mit, phonetic-languages, program)2023-02-030.5.0.0OleksandrZhabenko
rad (deprecated in favor of ad)140.01Reverse Automatic Differentiation. (bsd3, deprecated, library, math)2012-05-080.1.6.3EdwardKmett
rampart312.250Determine how intervals relate to each other. (library, math, mit)2024-05-192.0.0.8fozworth
random-cycle50.00Uniform draws of partitions and cycle-partitions, with thinning. (gpl, graphs, library, math)2023-11-190.1.2.0brendanrbrown
random-extras100.06Additional functions for random values. (bsd3, data, library, math)2012-07-100.19AristidBreitkreuz
random-fu770.044Random number generation (math, public-domain)2023-04-160.3.0.1BertramFelgenhauer, DominicSteinitz, JamesCook
random-fu-multivariate80.01Multivariate distributions for random-fu (bsd3, library, math)2019-07-210.1.2.1DominicSteinitz
random-hypergeometric00.01Random variate generation from hypergeometric distributions (library, math, mit)2015-03-300.1.0.0srijs
random-source (deprecated)290.023Generic basis for random number generators (deprecated, library, math, public-domain)2023-09-140.3.0.13BertramFelgenhauer, DominicSteinitz, JamesCook
range-space100.01A Range type with vector-space instances (bsd3, library, math)2015-08-280.1.2.0JohnLato
ratio-int130.02Fast specialisation of Data.Ratio for Int. (bsd3, library, math)2014-06-180.1.2RaphaelJavaux
rclient00.01Haskell client for Rserve (bsd3, library, math, network, statistics)2010-12-040.1.0.0TomDoris
real-dice80.00Random number generation based on physical media touched by humans (data, library, math, mit, program)2024-10-210.1.0.4kaBeech
reduce-equations20.00Simplify a set of equations by removing redundancies (bsd3, library, math, program)2016-11-120.1.1.0chriswarbo
reducers2340.011Semigroups, specialized containers and a general map/reduce framework (bsd3, data, library, math, numerical, semigroups)2024-12-063.12.5EdwardKmett, EricMertens, ryanglscott
regress20.01Linear and logistic regression through automatic differentiation (bsd3, library, math)2015-07-130.1.1AlpMestanogullari
regression-simple150.01Simple linear and quadratic regression (bsd3, library, math)2023-04-260.2.1phadej
reservoir00.01Unweighted reservoir sampling (bsd3, library, math)2018-07-290.2.0.0haym
resistor-cube160.01Compute total resistance of a cube of resistors (bsd3, math, program)2021-12-050.0.1.4HenningThielemann
rev-scientific70.03A library to provide special kind of big numbers writing. (data, library, math, mit)2023-06-220.2.1.0OleksandrZhabenko
rhythmic-sequences90.03Improved library to deal with rhythmicity of short sequences (data, library, math, mit)2024-04-070.8.0.0OleksandrZhabenko
rings90.02Ring-like objects. (bsd3, library, math, numerical)2020-03-090.1.3cmk
rivers30.01Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-040.1.0DrewDay
roots70.02Root-finding algorithms (1-dimensional) (library, math, numerical, public-domain)2012-09-090.1.1.2JamesCook
rounded90.02Correctly-rounded arbitrary-precision floating-point arithmetic (bsd3, library, math, numeric)2023-10-021.1.1ClaudeHeilandAllen
rounded-hw220.00Directed rounding for built-in floating types (bsd3, library, math, numeric)2024-12-150.4.0.1aratamizuki
rounding (deprecated)40.02Explicit floating point rounding mode wrappers (bsd3, deprecated, library, math)2010-06-130.3.0EdwardKmett
rsagl-math30.04The RogueStar Animation and Graphics Library: Mathematics (bsd3, library, math)2011-04-080.6.0.1ChristopherLaneHinson
ruff80.02relatively useful fractal functions (bsd3, library, math)2016-11-070.4.0.1ClaudeHeilandAllen
rvar460.011Random Variables (library, math, public-domain)2023-04-160.3.0.2BertramFelgenhauer, DominicSteinitz, JamesCook
safe-decimal140.01Safe and very efficient arithmetic operations on fixed decimal point numbers (bsd3, library, math, numeric, numerical)2021-06-100.2.1.0lehins
safe-tensor70.00Dependently typed tensor algebra (library, math, mit)2021-02-270.2.1.1nalex
sampling160.02Sample values from collections. (library, math, mit)2020-07-310.3.5JaredTobin
sbv4032.7512SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2024-11-0711.0LeventErkok
sbvPlugin210.01Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2024-05-229.10.1LeventErkok
science-constants50.02Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-130.2.0.2cbou
science-constants-dimensional50.01Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-130.1.0.3cbou
sde-solver00.01Distributed SDE solver (bsd3, library, math, numerical)2012-12-180.1.0.0DavidNilsson
search122.01Infinite search in finite time with Hilbert's epsilon (bsd3, library, math, search, topology)2017-11-040.2EdwardKmett
semigroups3602.75908Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-11-160.20EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions00.01Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-200.1PetrPudlak
semilattices160.02Semilattices (algebra, bsd3, data, data-structures, library, math)2024-10-050.0.0.8robrix
semiring10.02Semirings, ring-like structures used for dynamic programming applications (bsd3, math, natural-language-processing)2010-03-080.3SashaRush
semiring-simple181.56A module for dealing with semirings. (bsd3, library, math)2016-03-281.0.0.1pharpend
semirings2052.018two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2024-05-210.7chessai
set-cover280.02Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2024-07-060.1.1.1HenningThielemann
sfmt40.01SIMD-oriented Fast Mersenne Twister(SFMT) binding. (bsd3, library, math, random)2015-04-140.1.1HirotomoMoriwaki
sgd160.09Stochastic gradient descent library (bsd3, library, math)2019-11-130.8.0.3JakubWaszczuk
shapes-math50.01faster vector/matrix math using unboxed numbers and Template Haskell (bsd3, library, math, program)2018-05-170.1.0.0ublubu
siggy-chardust140.02Rounding rationals to significant digits and decimal places. (data, library, math, mpl, numeric)2018-06-221.0.0philderbeast
sigma-ij30.00Thom polynomials of second order Thom-Boardman singularities (bsd3, library, math, program)2016-10-220.2.0.2BalazsKomuves
sign150.02Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-260.4.4MasahiroSakai
significant-figures00.00Calculate expressions involving significant figures. (chemistry, gpl, library, math, program)2022-10-130.2.0.0mizlan
simd50.01simple interface to GHC's SIMD instructions (bsd3, library, math)2014-05-190.1.0.1MikeIzbicki, chessai
simple-smt470.03A simple way to interact with an SMT solver process. (bsd3, library, math)2024-12-130.9.8IavorDiatchki
simple-vec380.02Three-dimensional vectors of doubles with basic operations (bsd3, library, math, numerical)2020-06-040.6.0.1DmitryDzhus
simplex-basic (deprecated)10.01Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-130.0.0.1athanclark
simplex-method40.03Implementation of the two-phase simplex method in exact rational arithmetic (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization)2023-12-020.2.0.0JunaidRasheed
singletons-presburger190.02Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2024-06-090.7.4.0HiromiIshii
singular-factory20.00Multivariate polynomial factorization via bindings to Singular-factory (library, math)2019-11-230.1BalazsKomuves
sloane440.01A command line interface to Sloane's OEIS. (bsd3, math, program)2017-07-035.0.1AndersClaesson
softfloat-hs10.01Haskell bindings for SoftFloat (bsd3, library, math)2018-08-210.1.0benselfridge, galoisinc
som542.01Self-Organising Maps (bsd3, library, math)2021-08-1810.1.11AmyDeBuitleir
sparse-lin-alg42.01Effective linear algebra on sparse matrices (bsd3, library, math)2013-03-230.4.3AlexeyAlekhin
sparse-tensor210.00typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-270.2.1.5nalex, TobiReinhart
spatial-math590.083d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2018-08-210.5.0.1GregHorn, peddie
spatial-rotations70.01Rotate about any suitable axis (gpl, library, math)2022-04-150.1.0.2leftaroundabout
spe210.01Combinatorial species lite (bsd3, library, math)2014-08-060.6.3AndersClaesson
species210.01Computational combinatorial species (bsd3, library, math)2018-04-100.4.0.1BrentYorgey
spectral-clustering190.04Library for spectral clustering. (gpl, library, math)2020-05-040.3.2.2GregorySchwartz
speedy-slice200.01Speedy slice sampling. (library, math, mit)2021-02-210.3.2JaredTobin
spherical122.02Geometry on a sphere (bsd3, library, math)2020-09-120.1.3.0vmchale
spline320.01Parallel implementation of the Sorokina/Zeilfelder spline scheme (agpl, math, program)2024-05-151.8.7MichaelOrlitzky
splines80.01B-Splines, other splines, and NURBS. (graphics, library, math, numerical, public-domain)2013-05-280.5.0.1JamesCook
splitmix-distributions212.01Random samplers for some common distributions, based on splitmix. (bsd3, library, math)2022-05-051.0.0ocramz
spsa80.01Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (library, math, mit, optimization)2014-01-200.2.0.0yanatan16
squares182.00The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2023-07-150.2.1SjoerdVisscher
srtree200.01A general library to work with Symbolic Regression expression trees. (bsd3, data, data-structures, library, math, program)2024-11-112.0.0.2olivetti
stable-maps170.03Heterogeneous maps keyed by StableNames (bsd3, library, math)2014-03-130.0.5EdwardKmett
staf50.01Numerical statistics for Foldable containers (library, math)2017-01-281.0.0lovasko
statistics4282.2565A library of statistical types, data, and functions (bsd2, library, math, statistics)2023-09-210.16.2.1AlexeyKhudyakov, BryanOSullivan
statistics-dirichlet50.01Functions for working with Dirichlet densities and mixtures on vectors. (bsd3, library, math)2015-07-210.6.3FelipeLessa
statistics-fusion (deprecated in favor of statistics)10.01An implementation of high performance, minimal statistics functions (bsd3, deprecated, library, math)2010-02-201.0.1DonaldStewart
statistics-hypergeometric-genvar10.01Random variate generation from hypergeometric distributions (library, math, mit, statistics)2015-03-260.1.0.0srijs
statistics-linreg1192.02Linear regression between two samples, based on the 'statistics' package. (library, math, mit, statistics)2014-08-220.3AlpMestanogullari
statistics-skinny60.00A library of statistical types, data, and functions (bsd2, library, math, statistics)2021-01-110.15.2.0vmchale
stats20.01command line statistics (gpl, math, program)2013-12-050.1.1cheecheeo
stern-brocot (deprecated)10.00Positive rational numbers represented as paths in the Stern-Brocot tree (bsd3, deprecated, library, math, numeric)2019-03-280.1.0.0
stochastic30.01Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-270.1.1.1chokboy
stp40.00Simple Theorem Prover (bsd3, library, math, program)2018-11-210.1.0.1bor0
sum-pyramid20.00Create Sum Pyramid (Additionstreppe) exercises (bsd3, math, program)2024-01-120.0HenningThielemann
svm-light-utils30.01Parsers and formatters for the SVMlight input file format (bsd3, library, math)2016-04-130.1.4BenGamari
sym250.02Permutations, patterns, and statistics (bsd3, library, math)2017-11-200.13.0AndersClaesson
sym-plot00.01Plot permutations; an addition to the sym package (bsd3, library, math)2017-06-100.3.0AndersClaesson
symengine90.01SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-100.1.2.0bollu
symengine-hs30.00SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-050.1.1.0bollu
tau90.02Tau, the ratio between any circle's circumference and radius. (bsd3, library, math)2013-06-286.2831BrentYorgey
tensor90.01A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-190.3.0.1NicolaSquartini
tensort172.00Tunable sorting for responsive robustness and beyond (data, library, math, mit, program)2024-09-161.0.1.3kaBeech
terntup12.01a ternary library (bsd3, library, math)2016-01-160.0.1mcandre
th-cas50.01Compile-time CAS(Computer Algebra System) (library, math, mit, numeric)2015-11-160.1.0junjihashimoto
theta-functions50.01Theta-functions implemented as trigonometric series (library, math, public-domain)2012-06-211.0.1MarkSafronov
tikzsd40.00A program for generating LaTeX code of string diagrams. (library, math, mit, program)2021-05-041.0.0anthonyywang
tilings20.01substitution tilings (bsd3, library, math)2011-05-250.1ClaudeHeilandAllen
tropical00.01A library for tropical mathematics. (bsd3, library, math)2014-07-130.0.0.2pharpend
turing-machines10.01A simple simulator for Turing machines (library, math, mit)2016-07-240.1.0.1jariazavalverde
turingMachine40.01An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-151.0.0.0sanjorgek
type-natural482.07Type-level natural and proofs of their properties. (bsd3, library, math)2023-12-271.3.0.1HiromiIshii
type-settheory50.01Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-030.1.3.1DanielSchuessler
uncertain200.01Manipulating numbers with inherent experimental/measurement uncertainty (bsd3, library, math)2024-09-110.4.0.1jle
uniqueness-periods-vector50.03Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. (game, language, library, math, mit, uniqueness)2020-10-140.3.1.1OleksandrZhabenko
uniqueness-periods-vector-common130.03Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-140.5.1.1OleksandrZhabenko
uniqueness-periods-vector-examples450.00Usage examples for the uniqueness-periods-vector series of packages (game, language, library, math, mit, phonetic-languages, program, uniqueness-periods)2021-02-020.15.0.0OleksandrZhabenko
uniqueness-periods-vector-filters30.00A library allows to change the structure of the 'RealFrac' function output. (data, game, language, library, math, mit, uniqueness-periods)2020-10-070.3.0.0OleksandrZhabenko
uniqueness-periods-vector-general250.00Some kind of the optimization approach to data inner structure. (extremum-estimator, game, language, library, math, mit, phonetic-languages, uniqueness)2020-11-120.5.3.0OleksandrZhabenko
uniqueness-periods-vector-properties200.01Metrices for the maximum element for the uniqueness-periods-vector packages family. (game, language, library, math, mit, phonetic-languages, syllable-segmentation)2021-02-020.6.0.0OleksandrZhabenko
uniqueness-periods-vector-stats180.03A very basic descriptive statistics. (data, library, math, mit)2023-01-240.4.0.0OleksandrZhabenko
units402.55A domain-specific type system for dimensional analysis (bsd3, library, math)2022-01-062.4.1.5RichardEisenberg, ryanglscott
unittyped10.01An extendable library for type-safe computations including units. (lgpl, library, math, physics)2012-11-260.1ThijsAlkemade
variable-precision (deprecated in favor of rounded)10.01variable-precision floating point (bsd3, deprecated, library, math)2013-02-180.4ClaudeHeilandAllen
vect202.016A low-dimensional linear algebra library, tailored to computer graphics. (bsd3, graphics, library, math)2011-06-110.4.7BalazsKomuves
vect-floating (deprecated in favor of linear)10.03A low-dimensional linear algebra library, operating on the Floating typeclass (bsd3, deprecated, library, math)2014-09-250.1.0.4cdurham
vect-floating-accelerate (deprecated in favor of linear-accelerate)40.01Accelerate instances for vect-floating types (bsd3, deprecated, library, math)2014-09-250.1.0.4cdurham
vect-opengl20.02OpenGL support for the `vect' low-dimensional linear algebra library. (bsd3, graphics, library, math)2014-03-190.4.6.1BalazsKomuves
vector-fftw120.05A binding to the fftw library for one-dimensional vectors. (bsd3, library, math)2020-09-010.1.4.0BenGamari, JudahJacobson, TravisWhitaker
vector-space2342.5107Vector & affine spaces, linear maps, and derivatives (bsd3, math)2024-08-060.19ConalElliott
vector-space-map20.01vector-space operations for finite maps using Data.Map (library, math, mit)2018-10-160.2.1.1ChristianConkle
vector-space-opengl20.01Instances of vector-space classes for OpenGL types (bsd3, graphics, library, math)2013-09-300.2AdamFoltzer
vector-space-points (deprecated in favor of linear)100.010A type for points, as distinct from vectors. (bsd3, deprecated, library, math)2016-05-210.2.1.2BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
vertexenum20.01Vertex enumeration (geometry, gpl, library, math)2024-05-081.0.0.0stla
vowpal-utils10.01Vowpal Wabbit utilities (bsd3, library, math)2012-02-210.1.2CarterSchonwald
weierstrass-functions00.00Weierstrass Elliptic Functions (bsd3, library, math, numeric)2023-10-190.1.6.0stla
wigner-symbols40.01CG coefficients and Wigner symbols. (library, math, mit)2015-10-021.0.0Rufflewind
word (deprecated)51.252Words of arbitrary size (bsd3, data, deprecated, library, math, numeric)2018-05-140.1.0.1
wuerfelschlange00.00Code for the dice chain problem (bsd3, math)2021-12-050.1HenningThielemann
xorshift50.01Haskell implementation of the xorshift random generator. (library, math)2011-04-112.0.1RobertClausecker
xorshift-plus20.00Simple implementation of xorshift+ PRNG (bsd3, library, math)2019-01-280.1.0.0syocy
yhseq50.00Calculation of YH sequence system (apache, library, math, program)2020-08-280.3.0.1Hexirp
yices110.04Haskell programming interface to Yices SMT solver (bsd3, library, math)2012-02-070.0.0.12KiYungAhn
yices-easy10.01Simple interface to the Yices SMT (SAT modulo theories) solver. (algorithms, bsd3, library, math, theorem-provers)2010-09-290.1KeeganMcAllister
yices-painless70.01An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)2011-01-170.1.2DonaldStewart
z3452.256Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2020-08-29408.2IagoAbal