Packages tagged math

736 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (707), bsd3 (477), mit (111), program (88), data (76), gpl (66), deprecated (57), numerical (50), language (41), statistics (37), algebra (34), numeric (31), game (28), algorithms (24), graphics (24), phonetic-languages (21), lgpl (18), public-domain (17), theorem-provers (11), number-theory (10), optimisation (10), optimization (10), data-structures (9), formal-methods (9), physics (9), bsd2 (8), geometry (7), Ukrainian (6), smt (6), apache (5), mathematics (5), maths (5), mpl (5), music (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), console (2), control (2), csv (2), dependent-types (2), finance (2), groups (2), json (2), machine-learning (2), numerics (2), parsing (2), phladiprelio (2), prosodic-languages (2), prosody (2), singletons (2), tools (2), uniqueness-periods (2), #AncientEgypt (1), adjunctions (1), ai (1), ats (1), charts (1), codec (1), coherency (1), combinatorics (1), comonads (1), computer-algebra (1), crypto (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
AC-Angle170.05Angles in degrees and radians. (bsd3, data, library, math, numerical)2010-07-231.0AndrewCoppin
AC-Boolean120.01Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-091.1.0AndrewCoppin
AC-Colour140.01Efficient RGB colour types. (bsd3, data, graphics, library, math, numerical)2014-01-121.1.6AndrewCoppin
AC-HalfInteger70.01Efficient half-integer type. (bsd3, data, library, math, numerical)2009-08-121.2.1AndrewCoppin
AC-Terminal40.01Trivial wrapper over ansi-terminal. (bsd3, data, library, math, numerical)2010-10-281.0AndrewCoppin
AC-Vector262.08Efficient geometric vectors and transformations. (bsd3, data, graphics, library, math, numerical)2024-03-172.4.0AndrewCoppin, JanRochel
AC-Vector-Fancy180.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)40.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)60.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)230.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)70.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)50.02arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-112011.1.0.1MichalKonecny
AERN-RnToRm (deprecated)130.03polynomial function enclosures (PFEs) approximating exact real functions (bsd3, data, deprecated, library, math)2009-07-290.5.0.1MichalKonecny
AERN-RnToRm-Plot (deprecated)200.01GL plotting of polynomial function enclosures (PFEs) (bsd3, data, deprecated, library, math)2009-08-010.2.0.3MichalKonecny
ApproxFun-hs30.01Function approximation (bsd3, library, math)2015-04-260.1.0.0DominicSteinitz
Baggins50.01Tools for self-assembly (gpl, library, math)2014-06-121.0pmeunier
BerlekampAlgorithm50.01Factorization of polynomials over finite field (bsd3, library, math)2013-06-100.1.0.0AbdelwahebMiled
BesselJ60.00Bessel J-function, Anger J-function, Weber E-function, and Anger-Weber function. (bsd3, library, math)2023-09-220.2.0.1stla
Cartesian90.01Coordinate systems (library, math, mit)2016-10-100.6.0.0SwiftsNamesake
ContextAlgebra60.00Implementation of the context algebra. (bsd3, math, program)2016-08-241.0.0.0jhahn
DP60.01Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-080.1.1SashaRush
Data-Angle120.01Geometric angles (bsd3, data, library, math)2017-03-260.9deadmanswitch
Decimal730.031Decimal numbers with variable precision (bsd3, library, math)2021-03-140.5.2PaulJohnson
DifferenceLogic50.02A theory solver for conjunctions of literals in difference logic (bsd3, library, math)2014-11-050.1.0.4dillonhuff
DigitGroup40.00Group the digits of numbers by lots (bsd3, library, math)2022-01-190.1.0.0AlanHawkins
Dist130.01A Haskell library for probability distributions (library, math, mit)2019-06-160.5.0wyager
DistanceTransform100.01Distance transform function. (bsd3, library, math)2013-02-160.1.2AnthonyCowley
Eq (deprecated)130.01Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-281.1.3VincentBerthoux
EqualitySolver60.01A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality (bsd3, library, math)2014-11-020.1.0.2dillonhuff
FirstOrderTheory50.03Grammar and typeclass for first order theories (bsd3, library, math)2014-11-050.1.0.6dillonhuff
Flint230.01Haskell bindings for the flint library for number theory (gpl, library, math)2023-11-170.1.0.5monien
Flint2-Examples70.00Examples for the Flint2 library (gpl, math, program)2023-11-170.1.0.2monien
GaussQuadIntegration120.01Non-adaptive Gaussian quadrature for numeric integraton (bsd3, library, math)2011-09-150.1GrigorySarnitsky
GeomPredicates140.02Geometric predicates (bsd3, library, math)2010-06-270.1NealAlexander
GeomPredicates-SSE40.01Geometric predicates (Intel SSE) (bsd3, library, math)2010-06-270.2NealAlexander
HABQT30.00Hierarchical adaptive Bayesian quantum tomography for quantum bits (bsd3, library, math, program, quantum)2018-07-010.1.0.0LeonidBelinsky
HERA50.01 (bsd3, library, math)2008-12-050.2LukePalmer
HQu242.00quantitative finance library (finance, library, math, mit)2021-07-090.0.0.5ghais
HROOT330.01Haskell binding to the ROOT data analysis framework (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-core100.08Haskell binding to ROOT Core modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-graf130.02Haskell binding to ROOT Graf modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-hist90.03Haskell binding to ROOT Hist modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-io90.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
HasBigDecimal282.253A library for arbitrary precision decimal numbers. (apache, library, math, program)2022-09-010.2.0.0thma
HaskellForMaths620.04Combinatorics, group theory, commutative algebra, non-commutative algebra (bsd3, library, math)2018-12-150.4.9DavidAmos
HaskellLM100.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
Homology90.01Compute the homology of a chain complex (library, math)2012-06-240.1.1DamekDavis
HsASA160.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)80.01A slightly extended Kalman filter (bsd3, deprecated, library, math)2015-04-050.1.0.1DominicSteinitz
LPPaver40.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
LargeCardinalHierarchy50.01A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-070.0.1Stephen_E_A_Britton
Lattices290.02A library for lattices (library, math)2018-09-210.0.3BartCoppens
LetsBeRational100.00European option implied vol calculation (finance, library, math, mit, numeric, quant)2021-12-191.0.0.0ghais
Logic40.01Logic (library, math, mit)2014-12-290.1.0.0gogotanaka
MIP170.02Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2020-12-260.1.1.0MasahiroSakai
MIP-glpk30.00A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-260.1.1.0MasahiroSakai
MeanShift60.01Mean shift algorithm (bsd3, library, math)2012-04-300.1VilleTirronen
Modulo90.01Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-080.2.0.1NikolayMurzin
Monocle90.01Symbolic computations in strict monoidal categories with LaTeX output. (bsd3, library, math)2009-12-170.0.4OsmanBineev
MultipletCombiner210.00A Haskell implementation for combining SU(n) multiplets (bsd3, groups, library, math, physics, science)2023-09-100.0.7dressel
NTRU130.01NTRU Cryptography (cryptography, library, math)2020-01-271.1.0.0mikewest, Bodigrim
Naperian60.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
NearContextAlgebra80.01Context Algebra of near (bsd3, math, program)2015-10-250.1.0.2jhahn
Noise180.01A Haskell coherent noise generator based on libnoise (bsd3, graphics, library, math, noise)2013-02-251.0.6HugoGomes
NumberSieves70.01Number Theoretic Sieves: primes, factorization, and Euler's Totient (bsd3, library, math)2012-08-210.1.2LeonSmith
NumberTheory80.01A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-170.1.0.1cfredric
Operads140.01Groebner basis computation for Operads. (bsd3, library, math)2009-08-141.0MikaelVejdemoJohansson
Ordinals110.01Ordinal arithmetic (bsd3, library, math)2010-07-090.0.0.2KiYungAhn
Paillier70.01a simple Paillier cryptosystem (bsd3, library, math)2013-12-110.1.0.3onemouth, abhiroop
ParserFunction (deprecated in favor of attoparsec)210.01Parse and evaluate mathematical expressions. (bsd3, deprecated, library, math, parsing)2014-05-140.1.0EnzoHaussecker
Persistence200.01A versatile library for topological data analysis. (bsd3, data, library, math)2019-08-192.0.3Ebanflo
Probnet162.250Geometric Extrapolation of Integer Sequences with error prediction (ai, forecasting, library, math, mit, sequences)2021-06-020.1.0.4vnos
PropaFP50.01Auto-active verification of floating-point programs (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers)2023-03-120.1.2.0JunaidRasheed
ProxN170.01Proximity sets in N dimensions (bsd3, library, math)2012-01-280.0.1AndrasSlemmer
RANSAC210.01The RANSAC algorithm for parameter estimation. (bsd3, library, math, numerical)2015-11-190.1.0.2AnthonyCowley
SG40.03Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2009-03-171.0NeilBrown
SGplus50.01(updated) Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2016-09-011.1donomii
SmithNormalForm40.00A lightweight Haskell implementation of Smith normal form over the integers. (library, linearalgebra, math, mit)2021-12-310.1.0.0BrianHwang
Smooth40.01A tiny, lazy SMT solver (bsd3, library, math)2014-11-050.1.0.1dillonhuff
SpatialMath100.033d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2023-09-160.2.7.1ScottWalck
TeX-my-math160.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
Vec290.015Fixed-length lists and low-dimensional linear algebra. (bsd3, data, library, math)2014-08-061.0.5ScottDillard
Vec-Boolean100.02Provides Boolean instances for the Vec package (bsd3, data, library, math)2012-08-051.0.6TobiasBexelius
Vec-OpenGLRaw50.03Instances and functions to interoperate Vec and OpenGL. (bsd3, graphics, library, math)2010-06-280.2.0.1ChristopherLaneHinson
Vec-Transform160.03This package is obsolete (bsd3, graphics, library, math)2012-08-051.1TobiasBexelius
WeberLogic60.01Logic interpreter (bsd3, library, math, program)2014-03-170.1.2cameronbwhite
Xorshift128Plus50.01Pure haskell implementation of xorshift128plus random number generator. (library, math, public-domain)2015-04-140.1.0.1hkanai
ZEBEDDE (deprecated)40.01Polymer growth simulation method (bsd3, deprecated, library, math)2015-07-290.1.0.0hackrilege
accelerate-arithmetic90.03Linear algebra and interpolation using the Accelerate framework (bsd3, library, math)2018-03-171.0.0.1HenningThielemann
accelerate-blas180.01Numeric Linear Algebra in Accelerate (accelerate, bsd3, library, math)2020-08-280.3.0.0TrevorMcDonell
accelerate-cublas80.01Basic Linear Algebra using native CUBLAS library (bsd3, library, math, program)2017-04-230.1HenningThielemann
accelerate-cufft80.01Accelerate frontend to the CUFFT library (Fourier transform) (bsd3, library, math)2017-12-151.0HenningThielemann
accelerate-fft130.02FFT using the Accelerate library (accelerate, bsd3, library, math)2020-08-281.3.0.0TrevorMcDonell
accelerate-fftw80.01Accelerate frontend to the FFTW library (Fourier transform) (bsd3, library, math)2018-03-171.0.0.1HenningThielemann
accelerate-fourier140.02Fast Fourier transform and convolution using the Accelerate framework (bsd3, library, math)2018-03-171.0.0.5HenningThielemann
accelerate-fourier-benchmark60.01Compare different implementations of the Fast Fourier Transform (bsd3, math, program)2017-04-230.0.0.1HenningThielemann
accelerate-typelits52.01a typesafe way encode accelerate matrices and vectors (library, math)2016-05-170.1.0.0epsilonhalbe
acts160.00Semigroup actions and torsors. (algebra, bsd3, library, math)2022-12-030.3.1.1sheaf
ad2662.524Automatic Differentiation (bsd3, library, math)2024-01-284.5.5EdwardKmett, EricMertens, ryanglscott
ad-delcont222.250Reverse-mode automatic differentiation with delimited continuations (bsd3, library, machine-learning, math, numeric, optimisation, optimization)2023-07-030.5.0.0ocramz
adjunction50.00See README for more info (adjunctions, bsd3, library, math)2020-02-010.0.0.0
aern2-fun50.01Generic operations for real functions (bsd3, library, math)2022-07-140.2.9.0MichalKonecny
aern2-mfun50.02Multi-variate real function optimisation and proving (bsd3, library, math, program)2022-07-140.2.9.0MichalKonecny
aern2-mp300.05Multi-precision ball (interval) arithmetic (bsd3, library, math)2023-08-190.2.15.1MichalKonecny
aern2-real550.01Real numbers as convergent sequences of intervals (bsd3, library, math)2023-04-110.2.15MichalKonecny
affine190.01Affine spaces (generalized) (bsd3, library, math)2018-05-170.1.1.0
alg (deprecated)580.08Algebraic structures (bsd3, deprecated, library, math)2019-12-240.2.13.1
algebra720.012Constructive abstract algebra (algebra, bsd3, library, math)2017-12-254.3.1EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic60.01General linear algebra structures. (algebra, bsd3, library, math)2014-06-170.1.0.2danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-classes360.02Conversions between algebraic classes and F-algebras. (bsd3, data, generics, library, math)2020-01-060.9.4SjoerdVisscher
antimirov50.01Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-300.1.0RickKaudewitz
apportionment241.251Round a set of numbers while maintaining its sum (bsd3, library, math)2022-01-020.0.0.4HenningThielemann
arb-fft80.01Pure Haskell arbitrary length FFT library (bsd3, library, math, program)2016-04-240.3.0.0IanRoss
arithmatic150.01do things with numbers (bsd3, library, math)2017-01-260.1.0.3AlanHawkins
arithmoi1112.022Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2023-07-290.13.0.0CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
arrayfire122.251Haskell bindings to the ArrayFire general-purpose GPU library (bsd3, library, math, program)2022-10-020.7.0.0DavidJohnson
atp50.00Interface to automated theorem provers (formal-methods, gpl, library, logic, math, theorem-provers)2021-01-250.1.0.0EK
atrophy40.00Faster integer division and modulus operations (library, math, mit)2022-08-210.1.0.0goolord
automata40.00automata (bsd3, data, library, math)2019-01-220.1.0.0chessai
backprop442.258Heterogeneous automatic differentation (bsd3, library, math)2023-07-230.2.6.5jle
battleship-combinatorics180.00Compute number of possible arrangements in the battleship game (bsd3, library, math, program)2021-11-180.0.1HenningThielemann
bayes-stack70.01Framework for inferring generative probabilistic models with Gibbs sampling (bsd3, library, math)2012-10-270.2.0.1BenGamari
bed-and-breakfast410.02Efficient Matrix and Vector operations in 100% Haskell. (library, linear-algebra, math, mit, numeric)2018-10-220.5JulianFleischer
besout70.02Extended GCD of polynomials over F_p[x] (bsd3, library, math)2014-06-210.2.0.1AbdelwahebMiled
bin1460.05Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2023-03-210.1.3phadej
bindings-mpdecimal (deprecated in favor of deka)80.01bindings to mpdecimal library (bsd3, deprecated, library, math)2014-01-200.8.0.0OmariNorman
bindings-saga-cmd170.01Wrapping saga_cmd (gpl, library, math, program)2015-06-160.1.1.1michelk
bins140.01Aggregate continuous values into discrete bins (bsd3, library, math)2019-10-040.1.2.0jle
blas (deprecated in favor of hblas)190.01Bindings to the BLAS library (bsd3, deprecated, library, math)2009-01-140.7.6CarterSchonwald
blas-carray160.01Auto-generated interface to Fortran BLAS via CArrays (bsd3, library, math)2023-02-160.1.0.2HenningThielemann
blas-comfort-array170.00Auto-generated interface to Fortran BLAS via comfort-array (bsd3, library, math)2021-08-060.0.0.3HenningThielemann
blas-ffi210.04Auto-generated interface to Fortran BLAS (bsd3, library, math)2018-12-200.1HenningThielemann
blas-hs140.03Low-level Haskell bindings to Blas. (library, math, mit)2014-12-270.1.1.0Rufflewind
boltzmann-brain100.00Analytic sampler compiler for combinatorial systems. (bsd3, library, math, program)2019-12-091.6mbendkowski
boolector170.01Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2020-08-200.0.0.13DeianStefan
boolsimplifier190.01Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-150.1.8GershomBazerman
braid60.01Types and functions to work with braids and Khovanov homology. (bsd3, library, math, program)2016-01-180.1.0.0saltza
buffon50.01An implementation of Buffon machines. (bsd2, library, math)2018-03-260.1.0.1DerekElkins
buffon-machines70.00Perfect simulation of discrete random variables (bsd3, library, math)2019-09-161.1.1.1mbendkowski
burst-detection50.01Burst detection algorithms (gpl, library, math)2013-11-081.0
ca100.01Cellular Automata (bsd3, library, math)2018-04-220.0.0.1
caffegraph82.01 (bsd3, library, math)2015-02-170.1.0.2ajtulloch
cal-layout70.00Calendar Layout Algorithm (bsd3, library, math, program)2019-01-030.1.0.2bor0
calculator402.01A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-100.4.1.2sumitsahrawat
caldims50.01Calculation tool and library supporting units (library, math, program)2008-11-050.1.0RickKaudewitz
calendar-recycling140.01List years with the same calendars (bsd3, math, program)2018-08-310.0.0.1HenningThielemann
canon160.01Arithmetic for Psychedelically Large Numbers (library, math, mit)2019-09-030.1.1.4grandpascorpion
casadi-bindings760.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)60.01low level bindings to casadi-control (deprecated, lgpl, library, math, numerical)2014-08-212.0.0.1GregHorn
casadi-bindings-core300.06autogenerated low level bindings to casadi (lgpl, library, math, numerical)2018-12-153.4.5.0GregHorn
casadi-bindings-internal130.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)50.01low level bindings to casadi-snopt_interface (deprecated, lgpl, library, math, numerical)2014-05-271.9.0.3GregHorn
cash80.01the Computer Algebra SHell (bsd3, computer-algebra, library, math)2012-03-260.1.0.1ChrisBrown
casui50.01Equation Manipulator (math, mit, program)2011-06-040.3EtienneLaurin
category (deprecated)421.2511Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-240.2.5.0
category-traced (deprecated in favor of category)61.251Traced monoidal categories (bsd3, deprecated, library, math)2016-02-240.1.0.1
cayley-dickson190.01Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-300.3.1.0lmj
cf112.251Exact real arithmetic using continued fractions (library, math, mit)2015-09-030.4.2mvr
checksum170.01Compute and verify checksums of ISBN, IBAN, etc. (bsd3, library, math)2023-01-140.0.0.1HenningThielemann
circular300.01Circular fixed-sized mutable vectors (bsd3, data-structures, library, math)2022-07-100.4.0.3dschrempf
cl3192.02Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2022-04-103.0.0.0nwaivio
cl3-hmatrix-interface110.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
clac100.01Simple CLI RPN calculator (gpl, math, program)2015-03-180.5.0alexander
clif60.01A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-100.1.1.0maaleske
clifford210.01A Clifford algebra library (bsd3, library, math, numerical, program)2014-03-290.1.0.14spacekitteh
closure40.01Depth- and breadth-first set closures (library, math, mit)2013-10-210.1.0.0JosephAbrahamson
clumpiness110.01Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2019-01-210.17.0.2GregorySchwartz
clustering172.04High performance clustering algorithms (library, math, mit)2019-01-080.4.1kaizhang
cmath60.03A binding to the standard C math library (bsd3, library, math)2008-03-150.3DonaldStewart
coincident-root-loci72.01Equivariant CSM classes of coincident root loci (bsd3, library, math)2021-07-260.3BalazsKomuves
coinor-clp120.00Linear Programming using COIN-OR/CLP and comfort-array (bsd3, library, math)2024-01-030.0.0.2HenningThielemann
collect-errors250.07Error monad with a Float instance (bsd3, library, math)2021-05-180.1.5.0MichalKonecny
combinat402.08Generate and manipulate various combinatorial objects. (bsd3, library, math)2023-10-130.2.10.1BalazsKomuves
combinat-compat80.01Generate and manipulate various combinatorial objects. (bsd3, library, math)2018-04-030.2.8.2vmchale
combinat-diagrams70.01Graphical representations for various combinatorial objects (bsd3, library, math)2015-10-300.2BalazsKomuves
combinatorial200.02Count, enumerate, rank and unrank combinatorial objects (bsd3, library, math, statistics)2023-02-150.1.1HenningThielemann
combinatorics (deprecated in favor of exact-combinatorics)100.01Efficient computation of common combinatoric functions. (bsd3, deprecated, library, math, statistics)2012-01-290.1.0WrenThornton
comfort-blas110.01Numerical Basic Linear Algebra using BLAS (bsd3, library, math)2024-01-120.0.2HenningThielemann
comfort-fftw80.00High-level interface to FFTW (Fast Fourier Transform) based on comfort-array (bsd3, library, math)2023-04-220.0.0.1HenningThielemann
comfort-glpk150.00Linear Programming using GLPK and comfort-array (bsd3, library, math)2023-05-110.1HenningThielemann
commutative-semigroups1990.06Commutative semigroups (algebra, bsd3, data, library, math)2023-12-220.1.0.2JohnEricson, MarioBlazevic, RyanTrinkle, abrar
complex-generic60.03complex numbers with non-mandatory RealFloat (bsd3, library, math)2017-04-030.1.1.1ClaudeHeilandAllen
complex-integrate80.01A simple integration function to integrate a complex-valued complex functions (library, math, public-domain)2012-01-211.0.0MarkSafronov
computational-algebra282.251Well-kinded computational algebra library, currently supporting Groebner basis. (bsd3, library, math)2017-12-070.5.1.0HiromiIshii
computational-geometry70.01Collection of algorithms in Computational Geometry. (bsd3, graphics, library, math)2017-10-130.1.0.3MaksymilianOwsianny
conjugateGradient230.01Sparse matrix linear-equation solver (bsd3, library, math)2013-04-202.2LeventErkok
connections210.02Orders, Galois connections, and lattices. (bsd3, library, math, numerical, program)2021-09-160.3.2cmk
constructible80.01Exact computation with constructible real numbers (bsd3, library, math)2021-11-090.1.2AndersKaseorg
constructive-algebra160.01A library of constructive algebra. (algebra, bsd3, library, math)2011-03-310.3.0AndersMortberg
continued-fraction262.01Types and functions for working with continued fractions in Haskell (bsd3, library, math)2018-08-180.1.0.11vmchale
continued-fractions170.02Continued fractions. (library, math, numerical, public-domain)2019-01-290.10.0.2JamesCook, rockbmb
converge120.03Limit operations for converging sequences (library, math, numerical, public-domain)2011-08-150.1.0.1JamesCook
convexHullNd30.00Convex hull (geometry, gpl, library, math)2023-11-220.1.0.0stla
covariance320.01Well-conditioned estimation of large-dimensional covariance matrices (gpl, library, math, statistics)2022-07-100.2.0.1dschrempf
coya170.00Coya monoids (bsd3, data, library, math)2020-07-090.1.0.1chessai
cplex-hs112.01high-level CPLEX interface (bsd3, library, math)2016-11-050.5.0.2stefanjhlk
crf-chain190.02First-order, linear-chain conditional random fields (bsd3, library, math)2019-11-300.2.3JakubWaszczuk
crf-chain1-constrained190.03First-order, constrained, linear-chain conditional random fields (bsd3, library, math)2018-10-300.6.0JakubWaszczuk
crf-chain2-generic70.02Second-order, generic, constrained, linear conditional random fields (bsd3, library, math)2013-01-090.3.0JakubWaszczuk
cubicspline172.01Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-180.1.2GershomBazerman
curve25519400.02Fast implementations of the curve25519 elliptic curve primitives. (bsd3, library, math)2023-12-120.2.8AdamWick, EricMertens
cyclotomic360.02A subfield of the complex numbers for exact calculation. (gpl, library, math)2023-03-171.1.2ScottWalck
data-category532.251Category theory (bsd3, category-theory, library, math)2023-03-270.11SjoerdVisscher
data-interval670.06Interval datatype, interval arithmetic and interval-based containers (bsd3, data, library, math)2023-12-212.1.2MasahiroSakai, Bodigrim
data-nat60.01data Nat = Zero | Succ Nat (bsd3, data, library, math)2012-09-230.1.2GaborLehel
dde162.01Delay differential equations (bsd3, library, math, program)2018-07-080.3.0penkovsky
decimal-literals60.02Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2019-02-200.1.0.1leftaroundabout
declarative290.01DIY Markov Chains. (library, math, mit)2021-02-230.5.4JaredTobin
deeplearning-hs60.01Deep Learning in Haskell (library, math, mit, program)2014-05-050.1.0.2ajtulloch
deka120.02Decimal floating point arithmetic (bsd3, library, math)2014-07-160.6.0.2OmariNorman
deka-tests40.01Tests for deka, decimal floating point arithmetic (bsd3, library, math, program)2014-07-160.6.0.2OmariNorman
delaunayNd70.01Delaunay tessellation (geometry, gpl, library, math)2023-11-200.1.0.2stla
dense-linear-algebra1310.02Simple and incomplete pure haskell implementation of linear algebra (bsd2, library, math, numeric, statistics)2018-10-110.1.0.0AlexeyKhudyakov
derivation-trees60.01Typeset Derivation Trees via MetaPost (graphics, library, math)2010-11-180.7.3JeanPhilippeBernardy
detour-via-sci160.02JSON and CSV encoding for rationals as decimal point numbers. (csv, data, json, library, math, mpl, numeric)2018-06-221.0.0philderbeast
detour-via-uom50.01JSON and CSV encoding for quantities. (csv, data, json, library, math, mpl, numeric, physics)2018-06-221.0.0philderbeast
dfrac180.01A package for precise decimal arithmatic using rationals. (library, math, mit)2014-08-150.1.2.0georgerogers42
diagrams-solve740.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)170.02A (deprecated) implementation of the digamma function (bsd3, deprecated, library, math)2016-04-131.0BenGamari
dimensional522.511Statically checked physical dimensions (bsd3, library, math, physics)2022-06-221.5BjornBuckwalter, dmcclean
dimensional-tf (deprecated in favor of dimensional)190.03Statically checked physical dimensions, implemented using type families. (bsd3, deprecated, library, math, physics)2016-12-070.3.0.4BjornBuckwalter
dimensions280.06Safe type-level dimensionality for multidimensional data. (bsd3, geometry, library, math)2021-04-042.1.1.0achirkin
diophantine80.01A quadratic diophantine equation solving library. (gpl, library, math)2014-11-240.2.1.0joejev
directed-cubical90.01Finite directed cubical complexes and associated algorithms (bsd3, library, math)2014-06-080.1.2.0mmisamore
dirichlet230.02Multivariate Dirichlet distribution (bsd3, library, math)2022-07-100.1.0.7dschrempf
distribution132.02Finite discrete probability distributions. (apache, library, math)2017-06-291.1.1.0RomainEdelmann
distribution-plot60.01Easily plot distributions from the distribution package.. (apache, library, math)2014-08-041.0.0.0RomainEdelmann
downhill82.00Reverse mode automatic differentiation (library, math, mit)2023-03-040.4.0.0andriusstank
dozenal50.01A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-110.1.0.0siddhanathan
dsp482.02Haskell Digital Signal Processing (gpl, library, math, sound)2022-09-210.2.5.2HenningThielemann
dual (deprecated)220.05Dual category (bsd3, deprecated, library, math)2020-01-200.1.1.1
dumb-cas130.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)160.01Efficient automatic differentiation and code generation (bsd3, deprecated, library, math, numerical)2014-04-050.4GregHorn
dyckword90.01A library for working with binary Dyck words. (bsd3, library, math)2017-05-010.1.0.4arbelos
earcut130.01Binding to C++ earcut library. (library, math)2020-07-110.1.0.4DavidHimmelstrup
ease130.01Robert Penner's easing equations (bsd3, game, library, math)2020-10-010.1.0.2fresheyeball
easyplot240.02A tiny plotting library, utilizes gnuplot for plotting. (graphics, library, math, mit, plotting)2013-03-261.0JulianFleischer
easytensor340.02Pure, type-indexed haskell vector, matrix, and tensor library. (bsd3, geometry, library, math)2021-04-072.1.1.1achirkin
easytensor-vulkan250.01Use easytensor with vulkan-api. (bsd3, geometry, graphics, library, math, opengl, vulkan)2021-04-052.0.2.1achirkin
egyptian-fractions110.01Egyptian fractions in Haskell (bsd3, library, math)2018-06-250.1.0.2vmchale
eigen261.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
elbow130.01Find the elbow point. (gpl, library, math)2020-02-200.2.0.0GregorySchwartz
elliptic-integrals50.02Carlson Elliptic Integrals and Incomplete Elliptic Integrals (bsd3, library, math, numeric)2023-03-010.1.0.1stla
emd310.01Empirical Mode Decomposition and Hilbert-Huang Transform (bsd3, library, math)2019-10-310.2.0.0jle
equational-reasoning531.59Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2023-12-260.7.0.2HiromiIshii
equational-reasoning-induction50.00Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2019-02-080.6.0.0HiromiIshii
erf1230.017The error function, erf, and related functions. (bsd3, library, math)2011-05-262.0.0.0LennartAugustsson
erf-native60.02Native Haskell implementation of the interface from the erf package (library, math)2012-01-031.0.0.1JamesCook
estimator140.01State-space estimation algorithms such as Kalman Filters (bsd3, library, math, numerical, statistics)2016-07-191.2.0.0AdamFoltzer, JameySharp
euler230.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-cover40.01Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-220.1.0.0arthur
exact-real482.252Exact real arithmetic (library, math, mit)2021-12-130.12.5.1jophish, expipiplus1
exact-real-positional50.01Framework for Exact Real Arithmetic in the Positional Number System (bsd3, library, math)2017-07-200.0.0grlks
exp-pairs300.01Linear programming over exponent pairs (gpl, library, math)2020-10-030.2.1.0Bodigrim
explicit-determinant50.01explicit computation of determinant of small matrices (gpl, library, math)2014-07-030.1.0.0JohannesWaldmann
expressions211.51Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-300.5jakubdaniel
expressions-z3170.01Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2019-04-300.5jakubdaniel
extended-categories60.01Extended Categories (bsd3, library, math)2014-11-230.2.0ian_mi
extended-reals440.08Extension of real numbers with positive/negative infinities (bsd3, library, math)2020-03-280.2.4.0MasahiroSakai, Bodigrim
factory300.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-braids170.02Braid representations in Haskell (algebra, bsd2, data, library, math)2024-01-200.2spopejoy
fast-arithmetic762.01Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2022-01-170.6.7.0vmchale
fast-math540.02Non IEEE-754 compliant compile-time floating-point optimisations (bsd3, library, math, numeric)2015-08-011.0.2LiyangHu, MikeIzbicki
fft392.07Bindings to the FFTW library. (bsd3, library, math)2021-05-210.1.8.7HenningThielemann, JedBrown
fftw-ffi190.01Low-level interface to FFTW (Fast Fourier Transform) (bsd3, library, math)2021-07-260.1HenningThielemann
fftwRaw200.01Low level bindings to FFTW. (bsd3, library, math)2018-09-040.1.0.2adamwalker
fib200.00fibonacci algebra (bsd3, library, math)2020-07-090.1.0.1chessai
fin1672.012Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2023-03-210.3phadej
find-clumpiness120.01Find the clumpiness of labels in a tree (gpl, library, math, program)2019-01-210.2.3.2GregorySchwartz
finite-field270.04Finite Fields (algebra, bsd3, data, library, math)2021-01-020.10.0MasahiroSakai
finite-fields142.00Arithmetic in finite fields (bsd3, library, math)2023-11-080.2.0.1BalazsKomuves
finite-semigroups30.00Operations and classification for finite semigroups (library, math, mit)2023-10-260.1.0.0dakotah_lambert
fixed-point (deprecated)120.03Binary fixed-point arithmetic (data, deprecated, game, library, math, mit, numerical)2011-08-270.5.0.1JakeMcArthur
fixed-point-vector (deprecated)60.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)60.01vector-space instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-270.5.0.1JakeMcArthur
fixed-precision80.01Fixed Precision Arithmetic (bsd3, library, math)2010-06-150.4.0EdwardKmett
fixedprec340.02A fixed-precision real number type (bsd3, data, library, math)2018-11-060.2.2.2PeterSelinger
fizz-buzz90.01Functional Fizz/Buzz (bsd3, library, math)2017-01-260.1.0.3AlanHawkins
flat-mcmc270.01Painless general-purpose sampling. (library, math, mit)2020-10-111.5.2JaredTobin
float128140.03FFI bindings for C _Float128 (bsd3, library, math)2020-06-150.1ClaudeHeilandAllen
foldl-statistics222.01Statistical functions from the statistics package implemented as Folds. (bsd3, library, math, statistics)2018-09-250.1.5.1AlexMason
fp-ieee240.01IEEE 754-2019 compliant operations (bsd3, library, math, numeric)2024-02-180.1.0.4aratamizuki
fplll40.00Haskell bindings to <https://fplll.github.io/fplll/ fplll> (lgpl, library, math)2019-12-050.1.0.0lanceroy
fpnla150.02A library for NLA operations (bsd3, library, math)2014-02-040.1.1mblanco
fpnla-examples50.01Example implementations for FPNLA library (bsd3, library, math, parallelism)2014-02-040.1.1mblanco
fptest90.01IEEE754r floating point conformance tests (bsd3, math, program)2018-11-150.2.3.0jrp
fractals50.01A collection of useful fractal curve encoders (bsd3, library, math)2015-08-100.1.0.0sdekker
fractionizer210.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-functors770.01Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-051.2.1SjoerdVisscher
free-vector-spaces190.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-algebra60.01Instances of the Algebra.* classes for functions (bsd3, library, math)2012-03-250.1TobiasBrandt
functor (deprecated in favor of category)50.01Functors (bsd3, control, deprecated, library, math)2017-11-160.1.0.0
game-probability70.01Simple probability library for dice rolls, card games and similar (bsd3, library, math)2010-09-081.1NeilBrown
gamma140.09Gamma function and related functions. (library, math, numerical, public-domain)2019-02-030.10.0.0JamesCook, rockbmb
garepinoh90.01reverse prefix notation calculator and calculation library (console, library, math, program, public-domain, tools)2014-01-210.9.9.2.1MekeorMelire
geocalc110.01Libary for calculating distances between two coordinates in WSG84 (bsd3, library, math)2011-07-011.0.0GeroKriependorf
geom2d100.01package for geometry in euklidean 2d space (gpl, library, math)2015-11-010.2.2seppeljordan
ghc-typelits-presburger731.754Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2023-12-260.7.3.0HiromiIshii
glasso170.02Graphical Lasso algorithm (bsd3, library, math)2015-04-150.1.0kaizhang
glicko190.01Glicko-2 implementation in Haskell. (gpl, library, math)2021-01-130.3.0.2rprecenth
glpk-headers140.03Low-level Haskell bindings to the GLPK library (bsd3, library, math)2023-01-280.5.1prsteele
glpk-hs400.06Comprehensive GLPK linear programming bindings (bsd3, library, math, program)2021-01-290.8JeanPhilippeBernardy, LouisWasserman
gnuplot1751.5102D and 3D plots using gnuplot (bsd3, graphics, library, math)2022-02-130.5.7HenningThielemann
goal-core70.04Common, non-geometric tools for use with Goal (bsd3, library, math)2021-08-310.20alex404
goal-geometry80.03The basic geometric type system of Goal (bsd3, library, math)2021-08-310.20alex404
goal-graphical50.00Optimization of latent variable and dynamical models with Goal (bsd3, library, math)2021-08-310.20alex404
goal-probability60.02Optimization on manifolds of probability distributions with Goal (bsd3, library, math)2021-08-310.20alex404
goal-simulation50.00Mealy based simulation tools (bsd3, library, math, program)2015-12-220.1alex404
gray-extended270.02Gray encoding schemes (bsd3, library, math)2021-08-181.5.9AmyDeBuitleir
grid582.254Tools for working with regular grids (graphs, lattices). (bsd3, library, math)2021-08-187.8.15AmyDeBuitleir
group-theory112.250The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-180.2.2ReedMullanix, topos
groups1440.023Groups (algebra, bsd3, data, library, math)2021-05-140.5.3NathanVanDoorn
groups-generic170.00Generically derive Group instances. (algebra, bsd3, library, math)2022-12-040.3.1.0sheaf
gsl-random240.04Bindings the the GSL random number generation facilities. (bsd3, library, math)2017-09-150.5.3PatrickPerry
gsl-random-fu70.01Instances for using gsl-random with random-fu (library, math, public-domain)2009-05-200.0.0.1JamesCook
gutenberg-fibonaccis260.01The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-091.1.0JustinHanekom
hR (deprecated)70.01R bindings and interface (bsd3, deprecated, foreign, library, math)2012-03-050.1.1DylanSimon
hTensor280.02Multidimensional arrays and simple tensor computations. (bsd3, library, math)2016-11-020.9.1AlbertoRuiz, DominicSteinitz
haar52.01Haar wavelet transforms (bsd3, library, math)2014-09-220.1AmyDeBuitleir
hahp60.00Analytic Hierarchy Process (agpl, library, math, program)2016-02-220.1.3taeradan, jpierre03
half-space40.01Additive monoids generalising vector spaces (gpl, library, math)2023-05-210.1.1.0leftaroundabout
hascal200.01tiny calculator library and command-line program (console, library, math, parsing, program, tools, utility, utils)2017-02-273.0.1DagOdenhall, MekeorMelire
haskell-eigen-util90.01Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-180.1.0.4dilawars
haskell-igraph180.01Bindings to the igraph C library (v0.8.0). (library, math, mit)2020-02-210.8.0kaizhang
haskell-mpfr42.02Correctly-rounded arbitrary-precision floating-point arithmetic (library, math, numeric)2016-02-010.1ilist
hbayes120.01Bayesian Networks (bsd3, library, math)2016-05-130.5.2alpheccar
hblas202.01Human friendly BLAS and Lapack bindings for Haskell. (bsd3, library, math)2018-01-310.4.0.1CarterSchonwald
hcg-minus (deprecated)290.08haskell cg (minus) (bsd3, deprecated, library, math)2017-11-220.16RohanDrape
hcg-minus-cairo (deprecated)70.02haskell cg (minus) (cairo rendering) (bsd3, deprecated, library, math)2017-11-220.16RohanDrape
hdr-histogram30.01Haskell implementation of High Dynamic Range (HDR) Histograms (gpl, library, math, statistics)2016-01-030.1.0.0joshbohde
heyting-algebras210.01Heyting and Boolean algebras (bsd3, library, math)2021-03-270.2.0.1coot
hgeometric120.01A geometric library with bindings to GPC. (library, math, mit)2009-06-250.0.2.2DonaldStewart, GwernBranwen, MarcoSilva
hieraclus160.01Automated clustering of arbitrary elements in Haskell. (bsd3, clustering, library, math, statistics)2011-09-290.1.2.1PhilippPribbernow
highs-lp40.00Linear Programming using HiGHS and comfort-array (bsd3, library, math)2023-12-220.0HenningThielemann
hirt70.01Calculates IRT 2PL and 3PL models (bsd3, math, program)2012-05-140.0.1.1IvanLabath
hlbfgsb50.01Haskell binding to L-BFGS-B version 3.0 (bsd3, library, math)2012-05-040.0.1.0IvanLabath
hmatrix1572.5123Numeric Linear Algebra (bsd3, library, math)2021-03-080.20.2AlbertoRuiz, DominicSteinitz
hmatrix-backprop270.01hmatrix operations lifted for backprop (bsd3, library, math)2019-08-180.1.3.0jle
hmatrix-banded (deprecated in favor of lapack)80.01HMatrix interface to LAPACK functions for banded matrices (bsd3, deprecated, library, math)2019-03-190.0.0.3HenningThielemann
hmatrix-glpk300.02Linear Programming based on GLPK (gpl, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-gsl400.013Numerical computation (gpl, library, math)2018-04-220.19.0.1AlbertoRuiz, DominicSteinitz
hmatrix-gsl-stats640.07GSL Statistics interface (bsd3, ffi, library, math, statistics)2019-06-110.4.1.8VivianMcPhail
hmatrix-mmap70.01Memory map Vector from disk into memory efficiently (bsd3, library, math, system)2011-02-220.0.5AlanFalloon
hmatrix-morpheus192.251Low-level machine learning auxiliary functions. (bsd3, library, math)2018-06-100.1.1.2aignatyev17
hmatrix-nipals90.01NIPALS method for Principal Components Analysis on large data-sets. (lgpl, library, math)2011-02-220.2AlanFalloon
hmatrix-quadprogpp180.01Bindings to the QuadProg++ quadratic programming library (bsd3, library, math)2017-12-150.4.0.0AkioTakano
hmatrix-repa220.01Adaptors for interoperability between hmatrix and repa (bsd3, data, library, math)2016-09-220.1.2.2VivianMcPhail
hmatrix-sparse40.01Sparse linear solver (bsd3, library, math)2018-04-220.19.0.0DominicSteinitz
hmatrix-special230.07Interface to GSL special functions (gpl, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-static100.01hmatrix with vector and matrix sizes encoded in types (library, math)2010-09-120.3.0.2ReinerPope
hmatrix-sundials62.01hmatrix interface to sundials (bsd3, library, math)2019-08-260.20.1.0DominicSteinitz
hmatrix-svdlibc140.03SVDLIBC bindings for HMatrix (bsd3, library, math)2018-09-130.5.0.1BenGamari
hmatrix-syntax70.01MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-310.1.2.1ReinerPope
hmatrix-tests260.01Tests for hmatrix (bsd3, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-vector-sized160.02Conversions between hmatrix and vector-sized types (bsd3, library, math)2020-02-110.1.3.0jle
hmm-hmatrix (deprecated in favor of hmm-lapack)110.01Hidden Markov Models using HMatrix primitives (bsd3, deprecated, library, math)2018-11-130.1.1HenningThielemann
hmm-lapack170.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
homeomorphic40.02Homeomorphic Embedding Test (bsd3, library, math)2008-04-030.1NeilMitchell
hopfield-networks152.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-kmeans50.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)270.08Functors from products of Haskell and its dual to Haskell (bsd3, deprecated, library, math)2020-08-040.1.7.1
hsignal880.01Signal processing and EEG data analysis (bsd3, library, math)2016-11-140.2.7.5VivianMcPhail
hsilop140.01RPN calculator (math, mit, program)2015-09-190.2.0.0rnhmjoj
hspray220.03Multivariate polynomials. (algebra, gpl, library, math)2024-03-140.2.0.0stla
hstatistics470.02Statistics (bsd3, library, math, statistics)2020-08-060.3.1VivianMcPhail
hypergeomatrix60.00Hypergeometric function of a matrix argument (bsd3, library, math, numeric)2022-12-051.1.0.1stla
hypergeometric92.250Hypergeometric functions (agpl, library, math, statistics)2022-12-050.1.4.0vmchale
hz3 (deprecated)110.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)480.02Utilities for dealing with IEEE floating point numbers (bsd3, deprecated, library, math)2010-09-200.7PatrickPerry
ieee754822.027Utilities for dealing with IEEE floating point numbers (bsd3, library, math)2017-01-300.8.0PatrickPerry
integer-logarithms2380.025Integer logarithms. (algorithms, library, math, mit, number-theory)2020-11-011.0.3.1phadej
integer-roots580.05Integer roots and perfect powers (algorithms, library, math, mit, number-theory)2021-11-221.0.2.0Bodigrim
interpolation310.01piecewise linear and cubic Hermite interpolation (bsd3, library, math)2021-08-070.1.1.2HenningThielemann
interval-patterns190.00Intervals, and monoids thereof (algebra, bsd3, charts, data-structures, library, math, statistics)2023-10-100.7.2melaniebrown
intervals1152.07Interval Arithmetic (bsd3, library, math)2021-02-170.9.2EdwardKmett, EricMertens, ryanglscott
involutive-semigroups90.00Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-300.1.0.0nosewings
ipopt-hs140.01haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-120.5.1.0AdamVogt
irt60.01Item Response Theory functions for use in computerized adaptive testing (bsd3, library, math)2017-08-030.2.0.1ElliotRobinson
iter-stats100.01iteratees for statistical processing (bsd3, library, math)2015-01-050.1.0.4JohnLato
jackpolynomials90.00Jack, zonal, and Schur polynomials (algebra, gpl, library, math)2022-12-121.1.0.1stla
jacobi-elliptic60.00Neville Theta Functions and Jacobi Elliptic Functions (bsd3, library, math, numeric)2023-10-180.1.3.0stla
jacobi-roots150.02Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision (bsd3, library, math)2014-05-270.2.0.4GregHorn
jacobi-theta70.02Jacobi Theta Functions (bsd3, library, math, numeric)2023-10-310.2.2.2stla
jalla100.01Higher level functions for linear algebra. Wraps BLAS and LAPACKE. (library, math)2015-06-260.2.0.1ChristianGosch
jinquantities62.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
kleene102.01Kleene algebra (bsd3, library, math)2019-04-250.1phadej
kmeans-vector150.01An implementation of the kmeans clustering algorithm based on the vector package (bsd3, library, math, program)2015-07-300.3.2AlpMestanogullari
kmn-programming50.00K_M,N quadratic programming (bsd3, math, program)2021-12-200.9.2PeterDivianszky
knead-arithmetic60.01Linear algebra and interpolation using LLVM JIT (bsd3, library, math)2016-10-090.0.0.1HenningThielemann
knots70.01Khovanov homology computations (library, math, mit, program)2015-04-090.1.0.1maltem
ks-test60.01Kolmogorov distribution and Kolmogorov-Smirnov test. (library, math, numerical, public-domain)2010-09-100.1JamesCook
l-bfgs-b70.02Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization (bsd3, library, math)2014-07-030.1.0.1GardSpreemann
lagrangian150.02Solve Lagrange multiplier problems (bsd3, library, math)2014-10-090.6.0.1JonathanFischoff, pash
lapack310.04Numerical Linear Algebra using LAPACK (bsd3, library, math)2024-01-140.5.1.1HenningThielemann
lapack-carray160.01Auto-generated interface to Fortran LAPACK via CArrays (bsd3, library, math)2019-01-230.0.3HenningThielemann
lapack-comfort-array100.00Auto-generated interface to Fortran LAPACK via comfort-array (bsd3, library, math)2021-08-060.0.1HenningThielemann
lapack-ffi130.03Auto-generated interface to Fortran LAPACK (bsd3, library, math)2021-03-140.0.3HenningThielemann
lapack-ffi-tools290.01Generator for Haskell interface to Fortran LAPACK (bsd3, math, program)2023-01-140.1.3.1HenningThielemann
lapack-hmatrix110.00Conversion of objects between 'lapack' and 'hmatrix' (bsd3, library, math)2023-01-140.0.0.2HenningThielemann
lattices1102.2528Fine-grained library for constructing and manipulating lattices (bsd3, library, math)2023-03-152.2MaxBolingbroke, phadej
lawz140.04Common mathematical laws. (bsd3, library, math, testing)2020-02-110.1.1cmk
lazysplines172.01Differential solving with lazy splines (bsd3, library, math)2019-02-070.3GershomBazerman
lean (deprecated)50.00Bonds to Lean theorem prover (bsd3, deprecated, library, math)2019-05-150.0.0.1
left4deadrl120.01left4dead-inspired roguelike (bsd3, math, program)2018-04-060.0.2AndrewPennebaker
levmar250.02An implementation of the Levenberg-Marquardt algorithm (bsd3, library, math, numerical)2018-05-071.2.1.8BasVanDijk, RoelVanDijk
libroman232.01Use Roman Numerals as a Numeric Datatype (sort of) (bsd3, data, library, math, numerical)2016-10-103.1.1ahakki
lie40.00Lie Algebras (bsd3, library, math, program)2019-06-080.1.0.0jumper149
lin-alg150.01Low-dimensional matrices and vectors for graphics and physics (bsd3, library, math)2016-11-050.1.0.3JasonDagit
linda70.01LINear Discriminant Analysis (bsd3, library, math, statistics)2011-09-240.1.2LennartSchmitt
linear3032.5150Linear Algebra (algebra, bsd3, library, math)2022-11-301.22AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate150.02Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-280.7.0.0EdwardKmett, TrevorMcDonell, ryanglscott
linear-algebra-cblas40.02A linear algebra library with bindings to BLAS and LAPACK (bsd3, library, math, program)2013-04-180.1CarterSchonwald
linear-circuit200.01Compute resistance of linear electrical circuits (bsd3, library, math)2021-12-050.1.0.4HenningThielemann
linear-code62.01A simple library for linear codes (coding theory, error correction) (gpl, library, math)2018-08-300.2.0wchresta
linear-geo50.00Geographic coordinates, built on the linear package. (library, math, mit)2023-12-210.1.0.0TravisWhitaker
linear-grammar340.01A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-130.0.2.1athanclark
linear-programming150.03Linear Programming basic definitions (bsd3, library, math)2023-12-220.0.1HenningThielemann
linear-smc150.00Build SMC morphisms using linear types (lgpl, library, math)2023-06-202.2.3JeanPhilippeBernardy
linear-tests140.00Linear Algebra (algebra, bsd3, library, math, testing)2020-03-270.1.2.0pdlla
linear-vect60.02A low-dimensional linear algebra library, operating on the Num typeclass (bsd3, library, math)2014-10-050.1.1.0capsjac
linearEqSolver320.01Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2020-05-132.3LeventErkok
linearmap-category220.04Native, complete-ish, matrix-free linear algebra. (gpl, library, math)2023-05-200.6.0.1leftaroundabout
logfloat550.013Log-domain floating point numbers (bsd3, data, library, math, natural-language-processing, statistics)2023-03-190.14.0WrenThornton, WrenRomano
logic-TPTP520.01Import, export etc. for TPTP, a syntax for first-order logic (codec, library, math, theorem-provers)2020-02-280.5.0.0DanielSchuessler, KiYungAhn, MasahiroSakai
long-double180.02FFI bindings for C long double (bsd3, math)2023-03-100.1.1.1ClaudeHeilandAllen
lowlin160.00Low dimensional linear algebra (bsd3, library, linear-algebra, math)2020-05-060.2.0.1jodak
magico220.01Compute solutions for Magico puzzle (bsd3, math, program)2021-12-050.0.2.3HenningThielemann
magma240.01magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2023-04-190.6.1.1KatsutoshiItoh
magmas100.02Magma-like objects. (bsd3, library, math, numerical)2020-02-200.0.1cmk
manifold-random160.01Sampling random points on general manifolds. (gpl, library, math)2023-07-040.6.1.0leftaroundabout
manifolds310.04Coordinate-free hypersurfaces (gpl, library, math)2023-07-040.6.1.0leftaroundabout
manifolds-core230.05The basic classes for the manifolds hierarchy. (gpl, library, math)2023-05-180.6.1.0leftaroundabout
math-extras230.00A variety of mathematical utilities (bsd3, library, math, numeric)2020-03-030.1.1.0zliu41
math-functions2822.2540Collection of tools for numeric computations (bsd2, library, math, numeric)2023-10-180.3.4.3AlexeyKhudyakov, BryanOSullivan
math-grads92.00Library containing graph data structures and graph algorithms (bsd3, graph, library, math)2020-04-020.1.6.7AlexKane
math-programming70.02A library for formulating and solving math programs. (bsd3, library, math)2023-01-280.5.1prsteele
math-programming-glpk90.00A GLPK backend to the math-programming library. (bsd3, library, math)2023-01-280.5.1prsteele
math-programming-tests70.00Utility functions for testing implementations of the math-programming library. (bsd3, library, math)2023-01-280.5.1prsteele
mathexpr200.01Parse and evaluate math expressions with variables and functions (gpl, library, math)2022-07-140.3.1.0mdibaiee
mathflow60.01Dependently typed tensorflow modeler (bsd3, library, math)2017-08-080.1.0.0junjihashimoto
mathlist150.00Math using lists, including FFT and Wavelet (bsd3, education, library, math, numerics)2023-05-220.2.0.0djsamperi
matlab80.01Matlab bindings and interface (bsd3, foreign, library, math, program)2020-07-280.3.0.0DylanSimon, bmsherman, bebarker
matrix1132.2542A native implementation of matrix operations. (library, math, mit)2023-11-180.3.6.3DanielDiaz
matrix-lens70.00Optics for the "matrix" package (bsd3, library, math)2020-07-070.1.0.0lgastako
matrix-market100.01Read and write NIST Matrix Market files (bsd3, library, math, system)2008-04-041.2PatrickPerry
matrix-market-pure210.01Pure and composable reader and writer of the Matrix Market format. (bsd3, library, math)2011-02-210.2SergeyAstanin
matrix-sized90.00Haskell matrix library with interface to C++ linear algebra libraries. (bsd3, library, math)2020-06-220.1.1kaizhang
matrix-static242.01Type-safe matrix operations (bsd3, library, math)2020-02-180.3wchresta
maxent160.01Compute Maximum Entropy Distributions (bsd3, library, math)2014-10-090.7JonathanFischoff, pash
mcl70.02Bindings to mcl, a generic and fast pairing-based cryptography library (bsd3, crypto, library, math)2017-05-091.0.1arybczak
mcmc630.00Sample from a posterior using Markov chain Monte Carlo (gpl, library, math, statistics)2023-05-030.8.2.0dschrempf
mcmc-samplers72.01Combinators for MCMC sampling (bsd3, library, machine-learning, math, numeric, statistics)2014-11-100.1.1.1pravnar, z
mcmc-types151.755Common types for sampling. (library, math, mit, numeric)2016-12-041.0.3JaredTobin
mdp50.00Tools for solving Markov Decision Processes. (algorithms, library, math, mit, program)2016-11-290.1.1.0prsteele
mersenne-random200.09Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister (bsd3, library, math, system)2011-06-181.0.0.1DonaldStewart
mersenne-random-pure64610.025Generate high quality pseudorandom numbers purely using a Mersenne Twister (bsd3, library, math, system)2016-08-290.2.2.0BenGamari, DonaldStewart
mfsolve882.02Equation solver and calculator à la metafont (bsd3, library, math)2023-07-100.3.2.2BrentYorgey, KristofBastiaensen
miniball200.01Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-040.1.0.2GardSpreemann
mixed-strategies30.01Find optimal mixed strategies for two-player games (library, math, mit, program)2012-12-140.1.0.0BartonMassey
mixed-types-num500.07Alternative Prelude with numeric and logic expressions typed bottom-up (bsd3, library, math)2023-08-140.5.12MichalKonecny
mltool142.02Machine Learning Toolbox (bsd3, library, math)2018-06-100.2.0.1aignatyev, aignatyev17
mmsyn2-array-ukrainian-data50.01Data that is taken from the ukrainian-phonetics-basic-array for optimization. (data, language, library, math, mit)2023-01-310.2.0.0OleksandrZhabenko
mod1632.06Fast type-safe modular arithmetic (library, math, mit, number-theory)2023-02-130.2.0.1Bodigrim
modular240.01Type-safe modular arithmetic (bsd3, library, math)2018-11-050.1.0.8pgujjula
modular-arithmetic402.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
monoidplus60.01Extra classes/functions about monoids (data, library, math, public-domain)2011-11-120.1.0.1AaronBlack
monoids (deprecated in favor of reducers)330.02Deprecated: Use 'reducers' (bsd3, data, deprecated, library, math, numerical)2012-02-090.3.2DanielWagner, EdwardKmett
monte-carlo140.01A monad and transformer for Monte Carlo calculations. (bsd3, library, math)2017-09-150.6.2PatrickPerry
mpolynomials90.01Simple multivariate polynomials. (algebra, gpl, library, math)2022-12-110.1.1.0stla
ms60.01metric spaces (bsd2, library, math)2015-07-210.2.1RickyElrod
multiset-comb280.03Combinatorial algorithms over multisets (bsd3, library, math)2023-02-270.2.4.2BrentYorgey
mwc-probability430.014Sampling function-based probability distributions. (library, math, mit)2020-07-312.3.1JaredTobin, ocramz
mwc-random2712.0123Fast, high quality pseudo random number generation (bsd3, library, math, statistics)2021-08-150.15.0.2AlexeyKhudyakov, BryanOSullivan
mwc-random-monad302.04Monadic interface for mwc-random (bsd3, library, math, statistics)2015-05-200.7.3.1AlexeyKhudyakov
nat180.01Lazy binary natural numbers (bsd3, data, library, math)2012-08-130.3JanChristiansen
natural-arithmetic900.015Arithmetic of natural numbers (bsd3, library, math)2024-02-030.2.1.0andrewthad, l3c_amartin
natural-induction (deprecated)190.04Induction over natural numbers (bsd3, deprecated, library, math)2017-12-140.2.0.0
natural-numbers230.04Natural numbers (bsd3, data, library, math)2012-07-130.1.2.0WolfgangJeltsch
netlib-carray180.02Helper modules for CArray wrappers to BLAS and LAPACK (bsd3, library, math)2019-01-230.1HenningThielemann
netlib-comfort-array170.02Helper modules for comfort-array wrappers to BLAS and LAPACK (bsd3, library, math)2021-08-060.0.0.2HenningThielemann
netlib-ffi190.015Helper modules for FFI to BLAS and LAPACK (bsd3, library, math)2019-01-050.1.1HenningThielemann
network-topic-models40.01A few network topic model implementations for bayes-stack (bsd3, math, program)2012-10-270.2.0.1BenGamari
nimber220.01Finite nimber arithmetic (bsd3, library, math)2019-03-270.1.4AndersKaseorg, PatrickHurst
noether50.00Math in Haskell. (library, math, mit, program)2017-06-250.0.1mrkgnao
non-negative450.026Non-negative numbers (library, math)2018-02-160.1.2HenningThielemann
nonlinear-optimization450.09Various iterative algorithms for optimization of nonlinear functions. (library, math)2020-03-010.3.12.1FelipeLessa
nonlinear-optimization-ad200.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
normaldistribution380.09Minimum fuss normally distributed random values. (bsd3, library, math, statistics)2011-08-311.1.0.3BjornBuckwalter
np-extras160.02NumericPrelude extras (bsd3, library, math)2022-05-130.3.1.3BrentYorgey
np-linear100.01Linear algebra for the numeric-prelude framework (bsd3, library, math)2014-11-240.3.0.2AriePeterson
nuha120.00Multidimensional arrays, Linear algebra, Numerical analysis (bsd3, library, math, numeric)2020-11-270.3.0.0jodak
number80.01A library for real numbers (library, math, mit)2015-09-100.1.1.0rnhmjoj
number-wall70.00Create number walls and save them as images (algorithms, graphics, image, library, math, mit)2022-09-030.1.0.3OwenBechtel
numbers572.08Various number types (bsd3, data, library, math)2018-05-143000.2.0.2CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor
numeric-domains110.01Numeric Domains (bsd3, library, math)2019-12-160.1.0.0MichaelSzvetits
numeric-extras280.05Useful tools from the C standard library (bsd3, library, math)2015-09-280.1EdwardKmett, EricMertens
numeric-ode60.00Ode solvers (bsd3, library, math, program)2017-07-220.0.0.0DominicSteinitz
numeric-optimization60.02Unified interface to various numerical optimization algorithms (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization)2023-06-210.1.1.0MasahiroSakai
numeric-optimization-ad60.00Wrapper of numeric-optimization package for using with AD package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
numeric-optimization-backprop40.00Wrapper of numeric-optimization package for using with backprop package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
numeric-prelude642.032An experimental alternative hierarchy of numeric type classes (bsd3, library, math)2022-05-280.4.4HenningThielemann
numeric-quest231.754Math and quantum mechanics (library, math)2018-02-150.2.0.2HenningThielemann
numeric-tools160.02Collection of numerical tools for integration, differentiation etc. (bsd3, library, math, numerical)2014-03-090.2.0.1AlexeyKhudyakov
numerical30.00core package for Numerical Haskell project (bsd2, library, math)2019-01-010.0.0.0CarterSchonwald
numericpeano80.03Peano numbers with attendant bells and whistles. (apache, library, math)2014-12-290.2.0.0jtapolczai, jtapolczai2
numhask562.2524A numeric class hierarchy. (bsd3, library, math)2024-02-120.12.0.2tonyday567
numhask-space310.010Numerical spaces. (bsd3, library, math)2023-12-040.11.1.0tonyday567
numtype160.04Type-level (low cardinality) integers. (bsd3, library, math)2016-05-101.2BjornBuckwalter
numtype-dk580.04Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. (bsd3, library, math)2021-06-060.5.0.3BjornBuckwalter, dmcclean
numtype-tf130.03Type-level (low cardinality) integers, implemented using type families. (bsd3, library, math)2014-02-110.1.2BjornBuckwalter
nurbs110.01NURBS (bsd3, geometry, library, linear-algebra, math)2015-08-210.1.1.0AlexandrRuchkin
oeis520.07Interface to the Online Encyclopedia of Integer Sequences (OEIS) (bsd3, library, math)2020-01-240.3.10BrentYorgey, BrianLewis, niteria
oeis2130.00Interface for Online Encyclopedia of Integer Sequences (OEIS). (bsd3, library, math)2022-03-201.0.723prime
optimization150.01Numerical optimization (bsd3, library, math)2018-01-240.1.9BenGamari
padic60.00Fast, type-safe p-adic arithmetic (library, math, mit, number-theory)2022-02-030.1.0.0samsergey
pandoc-symreg110.00A tool to convert symbolic regression expressions into different formats. (gpl, library, math, program, text)2023-06-250.2.1.3olivetti
pareto80.01A library for cause-effect relationships. (bsd3, library, math)2016-10-190.2.0.0bwe
pareto-front70.00Monoids for dealing with Pareto efficiency (bsd3, library, math)2022-02-090.1.0.1quick_dudley
pava200.00Greatest convex majorants and least concave minorants (gpl, library, math, statistics)2022-07-100.1.1.4dschrempf
peano1210.011Peano numbers (bsd3, data, library, math)2023-10-230.1.0.2AndreasAbel
pell100.01Package to solve the Generalized Pell Equation. (algorithms, library, math, mit, number-theory)2019-11-120.1.3.0lbrunjes
periodic-polynomials110.00A library for working with periodic polynomials (very basic functionality) (library, math, mit)2020-06-260.2.0.0OleksandrZhabenko
permutation210.05A library for permutations and combinations. (bsd3, data-structures, library, math)2015-01-200.5.0.5PatrickPerry, spacekitteh
permutations (deprecated in favor of Fin)50.01Permutations of finite sets (bsd3, deprecated, library, math)2018-05-140.1.0.0
phladiprelio-general-datatype190.02Extended functionality of PhLADiPreLiO (language, library, math, mit, music, sound)2024-01-210.7.0.0OleksandrZhabenko
phladiprelio-general-shared80.01A shared by different general implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-01-300.1.2.0OleksandrZhabenko
phladiprelio-general-simple380.00A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms. (PhLADiPreLiO, language, library, math, mit, music)2024-03-080.15.0.0OleksandrZhabenko
phladiprelio-rhythmicity-shared60.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-shared170.01A shared by different Ukrainian implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-02-220.1.1.0OleksandrZhabenko
phladiprelio-ukrainian-simple460.00A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency. (PhLADiPreLiO, language, library, math, mit, music, program)2024-03-080.16.0.0OleksandrZhabenko
phonetic-languages-basis130.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)160.00Constraints to filter the needed permutations (deprecated, language, library, math, mit, phonetic-languages)2020-11-120.3.0.0OleksandrZhabenko
phonetic-languages-constraints160.02Constraints to filter the needed permutations (language, library, math, mit)2020-11-260.4.0.0OleksandrZhabenko
phonetic-languages-constraints-array460.05Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2024-01-270.8.0.0OleksandrZhabenko
phonetic-languages-examples260.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-permutations160.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-array270.06Permutations and universal set related functions for the phonetic-languages series (game, language, library, math, mit, phonetic-languages)2024-01-230.5.0.0OleksandrZhabenko
phonetic-languages-phonetics-basics680.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-plus180.03Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2023-02-020.7.1.0OleksandrZhabenko
phonetic-languages-rhythmicity470.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-base470.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-common290.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-array590.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-common320.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-array810.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-common260.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-array440.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-examples110.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-array480.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-common110.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-old60.00Some properties of the data related to rhythmicity. (game, language, library, math, mit)2022-05-310.1.0.0OleksandrZhabenko
phonetic-languages-simplified-properties-lists-double50.02A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-020.2.0.0OleksandrZhabenko
pig50.01dice game (bsd3, library, math, program)2018-04-060.0.1AndrewPennebaker
plot-gtk-ui160.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)100.01A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-170.0.1.9sumitsahrawat
poker-eval120.01Binding to libpoker-eval (library, math, public-domain)2013-03-080.3.1DavidHimmelstrup
polar230.01Complex numbers in polar form (bsd3, library, math)2014-09-100.0.1StefanKersten
poly532.05Polynomials (bsd3, library, math, numerical)2022-12-310.5.1.0Bodigrim
polynom (deprecated)50.01Polynomial types and operations (deprecated, library, math)2016-01-210.1.0.0
polynomial142.09Polynomials (library, math, numerical, public-domain)2017-06-140.7.3JamesCook
polynomial-algebra150.01Multivariate polynomial rings (bsd3, library, math)2022-03-240.1.0.1BalazsKomuves
polynomials-bernstein200.04A solver for systems of polynomial equations in bernstein form (library, math)2015-09-291.1.2JeanPhilippeBernardy, PierreEtienneMeunier
posit190.00Posit Numbers (bsd3, library, math, numeric)2023-12-082022.2.0.0nwaivio
prime110.00prime number tools (gpl, library, math)2021-01-180.1.1jlamothe
primecount110.00Bindings to the primecount library (bsd3, library, math, number-theory)2023-08-240.1.0.1pgujjula
primesieve220.00FFI bindings for the primesieve library. (algorithms, foreign, library, math, mit, number-theory, program)2024-03-170.2.0sighingnow
prob80.00Discrete probability monad (bsd3, library, math)2022-12-190.1.1ChrisSmith
probability410.04Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2023-02-150.2.8HenningThielemann
probable92.02Easy and reasonably efficient probabilistic programming and random generation (bsd3, library, math, statistics)2018-02-110.1.3AlpMestanogullari
product (deprecated)200.01Product category (bsd3, deprecated, library, math)2017-11-280.1.0.0
property (deprecated)100.02common properties (bsd3, deprecated, library, math, testing)2019-10-300.0.1cmk
pure-fft180.04Fast Fourier Transform (bsd3, library, math, numerical)2009-03-150.2.0MattMorrow
qd100.02double-double and quad-double number type via libqd (bsd3, library, math)2012-10-151.0.2.1ClaudeHeilandAllen
qd-vec90.01'Vec' instances for 'qd' types (bsd3, library, math)2012-10-151.1ClaudeHeilandAllen
qhull70.00Delaunay triangulation, Voronoi diagrams and convex hulls. (gpl, library, math)2022-08-060.1.0.4andrewufrank
qhull-simple50.01Simple bindings to Qhull, a library for computing convex hulls (bsd3, library, math)2013-07-040.1GardSpreemann
qlinear70.00Typesafe library for linear algebra (bsd3, library, math)2020-08-120.1.2.0JuniorGarbageCollector
quadratic-irrational320.01An implementation of quadratic irrationals (algorithms, data, library, math, mit)2020-04-150.1.1ion, Bodigrim
quantities180.01Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2015-11-070.4.0jdreaver
quantizer120.00Library to provide the behaviour similar to quantum states superposition. (library, math, mit)2023-04-180.3.0.2OleksandrZhabenko
quote-quot480.01Divide without division (bsd3, library, math, numerical)2022-04-110.2.1.0Bodigrim
r-glpk-phonetic-languages-ukrainian-durations310.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)160.01Reverse Automatic Differentiation. (bsd3, deprecated, library, math)2012-05-080.1.6.3EdwardKmett
rampart412.250Determine how intervals relate to each other. (library, math, mit)2023-11-042.0.0.7fozworth
random-cycle120.00Uniform draws of partitions and cycle-partitions, with thinning. (gpl, graphs, library, math)2023-11-190.1.2.0brendanrbrown
random-extras470.06Additional functions for random values. (bsd3, data, library, math)2012-07-100.19AristidBreitkreuz
random-fu890.044Random number generation (math, public-domain)2023-04-160.3.0.1BertramFelgenhauer, DominicSteinitz, JamesCook
random-fu-multivariate210.01Multivariate distributions for random-fu (bsd3, library, math)2019-07-210.1.2.1DominicSteinitz
random-hypergeometric40.01Random variate generation from hypergeometric distributions (library, math, mit)2015-03-300.1.0.0srijs
random-source (deprecated)390.023Generic basis for random number generators (deprecated, library, math, public-domain)2023-09-140.3.0.13BertramFelgenhauer, DominicSteinitz, JamesCook
range-space150.01A Range type with vector-space instances (bsd3, library, math)2015-08-280.1.2.0JohnLato
ratio-int220.02Fast specialisation of Data.Ratio for Int. (bsd3, library, math)2014-06-180.1.2RaphaelJavaux
rclient50.01Haskell client for Rserve (bsd3, library, math, network, statistics)2010-12-040.1.0.0TomDoris
reduce-equations50.00Simplify a set of equations by removing redundancies (bsd3, library, math, program)2016-11-120.1.1.0chriswarbo
reducers1790.011Semigroups, specialized containers and a general map/reduce framework (bsd3, data, library, math, numerical, semigroups)2021-11-013.12.4EdwardKmett, EricMertens, ryanglscott
regress70.01Linear and logistic regression through automatic differentiation (bsd3, library, math)2015-07-130.1.1AlpMestanogullari
regression-simple180.01Simple linear and quadratic regression (bsd3, library, math)2023-04-260.2.1phadej
reservoir50.01Unweighted reservoir sampling (bsd3, library, math)2018-07-290.2.0.0haym
resistor-cube200.01Compute total resistance of a cube of resistors (bsd3, math, program)2021-12-050.0.1.4HenningThielemann
rev-scientific90.02A library to provide special kind of big numbers writing. (data, library, math, mit)2023-06-220.2.1.0OleksandrZhabenko
rhythmic-sequences340.02Improved library to deal with rhythmicity of short sequences (data, library, math, mit)2023-10-010.4.1.0OleksandrZhabenko
rings240.02Ring-like objects. (bsd3, library, math, numerical)2020-03-090.1.3cmk
rivers40.01Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-040.1.0DrewDay
roots150.02Root-finding algorithms (1-dimensional) (library, math, numerical, public-domain)2012-09-090.1.1.2JamesCook
rounded190.02Correctly-rounded arbitrary-precision floating-point arithmetic (bsd3, library, math, numeric)2023-10-021.1.1ClaudeHeilandAllen
rounded-hw100.00Directed rounding for built-in floating types (bsd3, library, math, numeric)2023-11-180.4.0aratamizuki
rounding (deprecated)80.02Explicit floating point rounding mode wrappers (bsd3, deprecated, library, math)2010-06-130.3.0EdwardKmett
rsagl-math50.04The RogueStar Animation and Graphics Library: Mathematics (bsd3, library, math)2011-04-080.6.0.1ChristopherLaneHinson
ruff120.02relatively useful fractal functions (bsd3, library, math)2016-11-070.4.0.1ClaudeHeilandAllen
rvar580.011Random Variables (library, math, public-domain)2023-04-160.3.0.2BertramFelgenhauer, DominicSteinitz, JamesCook
safe-decimal170.01Safe and very efficient arithmetic operations on fixed decimal point numbers (bsd3, library, math, numeric, numerical)2021-06-100.2.1.0lehins
safe-tensor120.00Dependently typed tensor algebra (library, math, mit)2021-02-270.2.1.1nalex
sampling230.02Sample values from collections. (library, math, mit)2020-07-310.3.5JaredTobin
sbv3772.7512SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2024-03-1610.6LeventErkok
sbvPlugin260.01Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2024-01-069.8.1LeventErkok
science-constants150.02Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-130.2.0.2cbou
science-constants-dimensional140.01Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-130.1.0.3cbou
sde-solver40.01Distributed SDE solver (bsd3, library, math, numerical)2012-12-180.1.0.0DavidNilsson
search112.01Infinite search in finite time with Hilbert's epsilon (bsd3, library, math, search, topology)2017-11-040.2EdwardKmett
semigroups4292.75905Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-11-160.20EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions40.01Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-200.1PetrPudlak
semilattices500.02Semilattices (algebra, bsd3, data, data-structures, library, math)2024-03-070.0.0.7robrix
semiring90.02Semirings, ring-like structures used for dynamic programming applications (bsd3, math, natural-language-processing)2010-03-080.3SashaRush
semiring-simple191.56A module for dealing with semirings. (bsd3, library, math)2016-03-281.0.0.1pharpend
semirings1442.018two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-070.6chessai
set-cover380.02Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2020-03-210.1.1HenningThielemann
sfmt70.01SIMD-oriented Fast Mersenne Twister(SFMT) binding. (bsd3, library, math, random)2015-04-140.1.1HirotomoMoriwaki
sgd320.09Stochastic gradient descent library (bsd3, library, math)2019-11-130.8.0.3JakubWaszczuk
shapes-math90.01faster vector/matrix math using unboxed numbers and Template Haskell (bsd3, library, math, program)2018-05-170.1.0.0ublubu
siggy-chardust150.02Rounding rationals to significant digits and decimal places. (data, library, math, mpl, numeric)2018-06-221.0.0philderbeast
sigma-ij60.00Thom polynomials of second order Thom-Boardman singularities (bsd3, library, math, program)2016-10-220.2.0.2BalazsKomuves
sign240.02Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-260.4.4MasahiroSakai
significant-figures50.00Calculate expressions involving significant figures. (chemistry, gpl, library, math, program)2022-10-130.2.0.0mizlan
simd60.01simple interface to GHC's SIMD instructions (bsd3, library, math)2014-05-190.1.0.1MikeIzbicki, chessai
simple-smt670.03A simple way to interact with an SMT solver process. (bsd3, library, math)2021-06-290.9.7IavorDiatchki
simple-vec3290.02Three-dimensional vectors of doubles with basic operations (bsd3, library, math, numerical)2020-06-040.6.0.1DmitryDzhus
simplex-basic (deprecated)80.01Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-130.0.0.1athanclark
simplex-method50.01Implementation 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-presburger350.02Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2023-12-260.7.3.0HiromiIshii
singular-factory50.00Multivariate polynomial factorization via bindings to Singular-factory (library, math)2019-11-230.1BalazsKomuves
sloane460.01A command line interface to Sloane's OEIS. (bsd3, math, program)2017-07-035.0.1AndersClaesson
softfloat-hs40.01Haskell bindings for SoftFloat (bsd3, library, math)2018-08-210.1.0benselfridge, galoisinc
som652.01Self-Organising Maps (bsd3, library, math)2021-08-1810.1.11AmyDeBuitleir
sparse-lin-alg92.01Effective linear algebra on sparse matrices (bsd3, library, math)2013-03-230.4.3AlexeyAlekhin
sparse-tensor120.00typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-270.2.1.5nalex, TobiReinhart
spatial-math440.083d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2018-08-210.5.0.1GregHorn, peddie
spatial-rotations90.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
species240.01Computational combinatorial species (bsd3, library, math)2018-04-100.4.0.1BrentYorgey
spectral-clustering240.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
spherical152.02Geometry on a sphere (bsd3, library, math)2020-09-120.1.3.0vmchale
spline360.01A parallel implementation of the Sorokina/Zeilfelder spline scheme. (agpl, math, program)2022-08-281.0.1MichaelOrlitzky
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
spsa60.01Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (library, math, mit, optimization)2014-01-200.2.0.0yanatan16
squares142.00The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2023-07-150.2.1SjoerdVisscher
srtree210.01A general framework to work with Symbolic Regression expression trees. (bsd3, data, data-structures, library, math)2023-06-251.0.0.5olivetti
stable-maps210.03Heterogeneous maps keyed by StableNames (bsd3, library, math)2014-03-130.0.5EdwardKmett
staf120.01Numerical statistics for Foldable containers (library, math)2017-01-281.0.0lovasko
statistics4452.2564A library of statistical types, data, and functions (bsd2, library, math, statistics)2023-09-210.16.2.1AlexeyKhudyakov, BryanOSullivan
statistics-dirichlet80.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)90.01An implementation of high performance, minimal statistics functions (bsd3, deprecated, library, math)2010-02-201.0.1DonaldStewart
statistics-hypergeometric-genvar30.01Random variate generation from hypergeometric distributions (library, math, mit, statistics)2015-03-260.1.0.0srijs
statistics-linreg1252.02Linear regression between two samples, based on the 'statistics' package. (library, math, mit, statistics)2014-08-220.3AlpMestanogullari
statistics-skinny90.00A library of statistical types, data, and functions (bsd2, library, math, statistics)2021-01-110.15.2.0vmchale
stats40.01command line statistics (gpl, math, program)2013-12-050.1.1cheecheeo
stern-brocot (deprecated)50.00Positive rational numbers represented as paths in the Stern-Brocot tree (bsd3, deprecated, library, math, numeric)2019-03-280.1.0.0
stochastic80.01Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-270.1.1.1chokboy
stp50.00Simple Theorem Prover (bsd3, library, math, program)2018-11-210.1.0.1bor0
sum-pyramid50.00Create Sum Pyramid (Additionstreppe) exercises (bsd3, math, program)2024-01-120.0HenningThielemann
svm-light-utils90.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-plot70.01Plot permutations; an addition to the sym package (bsd3, library, math)2017-06-100.3.0AndersClaesson
symengine120.01SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-100.1.2.0bollu
symengine-hs80.00SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-050.1.1.0bollu
tau150.02Tau, the ratio between any circle's circumference and radius. (bsd3, library, math)2013-06-286.2831BrentYorgey
tensor110.01A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-190.3.0.1NicolaSquartini
terntup42.01a ternary library (bsd3, library, math)2016-01-160.0.1mcandre
th-cas110.01Compile-time CAS(Computer Algebra System) (library, math, mit, numeric)2015-11-160.1.0junjihashimoto
theta-functions130.01Theta-functions implemented as trigonometric series (library, math, public-domain)2012-06-211.0.1MarkSafronov
tikzsd160.00A program for generating LaTeX code of string diagrams. (library, math, mit, program)2021-05-041.0.0anthonyywang
tilings130.01substitution tilings (bsd3, library, math)2011-05-250.1ClaudeHeilandAllen
tropical60.01A library for tropical mathematics. (bsd3, library, math)2014-07-130.0.0.2pharpend
turing-machines60.01A simple simulator for Turing machines (library, math, mit)2016-07-240.1.0.1jariazavalverde
turingMachine80.01An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-151.0.0.0sanjorgek
type-natural1292.07Type-level natural and proofs of their properties. (bsd3, library, math)2023-12-271.3.0.1HiromiIshii
type-settheory100.01Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-030.1.3.1DanielSchuessler
uncertain130.01Manipulating numbers with inherent experimental/measurement uncertainty (bsd3, library, math)2016-05-220.3.1.0jle
uniqueness-periods-vector200.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-common280.03Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-140.5.1.1OleksandrZhabenko
uniqueness-periods-vector-examples570.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-filters110.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-general320.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-properties310.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-stats170.03A very basic descriptive statistics. (data, library, math, mit)2023-01-240.4.0.0OleksandrZhabenko
units362.55A domain-specific type system for dimensional analysis (bsd3, library, math)2022-01-062.4.1.5RichardEisenberg, ryanglscott
unittyped60.01An extendable library for type-safe computations including units. (lgpl, library, math, physics)2012-11-260.1ThijsAlkemade
variable-precision (deprecated in favor of rounded)110.01variable-precision floating point (bsd3, deprecated, library, math)2013-02-180.4ClaudeHeilandAllen
vect212.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)90.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)110.01Accelerate instances for vect-floating types (bsd3, deprecated, library, math)2014-09-250.1.0.4cdurham
vect-opengl70.02OpenGL support for the `vect' low-dimensional linear algebra library. (bsd3, graphics, library, math)2014-03-190.4.6.1BalazsKomuves
vector-fftw360.05A binding to the fftw library for one-dimensional vectors. (bsd3, library, math)2020-09-010.1.4.0BenGamari, JudahJacobson
vector-space1242.5107Vector & affine spaces, linear maps, and derivatives (bsd3, math)2019-01-220.16ConalElliott
vector-space-map110.01vector-space operations for finite maps using Data.Map (library, math, mit)2018-10-160.2.1.1ChristianConkle
vector-space-opengl70.01Instances of vector-space classes for OpenGL types (bsd3, graphics, library, math)2013-09-300.2AdamFoltzer
vector-space-points (deprecated in favor of linear)140.010A type for points, as distinct from vectors. (bsd3, deprecated, library, math)2016-05-210.2.1.2BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
vertexenum50.01Vertex enumeration (geometry, gpl, library, math)2023-11-200.1.1.0stla
vowpal-utils70.01Vowpal Wabbit utilities (bsd3, library, math)2012-02-210.1.2CarterSchonwald
weierstrass-functions90.00Weierstrass Elliptic Functions (bsd3, library, math, numeric)2023-10-190.1.6.0stla
wigner-symbols100.01CG coefficients and Wigner symbols. (library, math, mit)2015-10-021.0.0Rufflewind
word (deprecated)131.252Words of arbitrary size (bsd3, data, deprecated, library, math, numeric)2018-05-140.1.0.1
wuerfelschlange50.00Code for the dice chain problem (bsd3, math)2021-12-050.1HenningThielemann
xorshift140.01Haskell implementation of the xorshift random generator. (library, math)2011-04-112.0.1RobertClausecker
xorshift-plus40.00Simple implementation of xorshift+ PRNG (bsd3, library, math)2019-01-280.1.0.0syocy
yhseq90.00Calculation of YH sequence system (apache, library, math, program)2020-08-280.3.0.1Hexirp
yices140.04Haskell programming interface to Yices SMT solver (bsd3, library, math)2012-02-070.0.0.12KiYungAhn
yices-easy80.01Simple interface to the Yices SMT (SAT modulo theories) solver. (algorithms, bsd3, library, math, theorem-provers)2010-09-290.1KeeganMcAllister
yices-painless100.01An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)2011-01-170.1.2DonaldStewart
z3682.256Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2020-08-29408.2IagoAbal