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-Angle350.05Angles in degrees and radians. (bsd3, data, library, math, numerical)2010-07-231.0AndrewCoppin
AC-Boolean240.01Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-091.1.0AndrewCoppin
AC-Colour200.01Efficient RGB colour types. (bsd3, data, graphics, library, math, numerical)2014-01-121.1.6AndrewCoppin
AC-HalfInteger30.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-Vector132.08Efficient geometric vectors and transformations. (bsd3, data, graphics, library, math, numerical)2011-08-122.3.2AndrewCoppin
AC-Vector-Fancy80.01Fancy type-system stuff for AC-Vector (bsd3, data, graphics, library, math, numerical)2010-08-152.4.0AndrewCoppin
AERN-Basics (deprecated in favor of aern2-mp, aern2-real)30.04foundational type classes for approximating exact real numbers (bsd3, data, deprecated, library, math, program)2011-05-112011.1.0.1MichalKonecny
AERN-Net (deprecated in favor of aern2-mp, aern2-real)40.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)200.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)40.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)40.02arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-112011.1.0.1MichalKonecny
AERN-RnToRm (deprecated)120.03polynomial function enclosures (PFEs) approximating exact real functions (bsd3, data, deprecated, library, math)2009-07-290.5.0.1MichalKonecny
AERN-RnToRm-Plot (deprecated)80.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
Baggins20.01Tools for self-assembly (gpl, library, math)2014-06-121.0pmeunier
BerlekampAlgorithm20.01Factorization of polynomials over finite field (bsd3, library, math)2013-06-100.1.0.0AbdelwahebMiled
BesselJ100.00Bessel J-function, Anger J-function, Weber E-function, and Anger-Weber function. (bsd3, library, math)2023-09-220.2.0.1stla
Cartesian70.01Coordinate systems (library, math, mit)2016-10-100.6.0.0SwiftsNamesake
ContextAlgebra50.00Implementation of the context algebra. (bsd3, math, program)2016-08-241.0.0.0jhahn
DP30.01Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-080.1.1SashaRush
Data-Angle190.01Geometric angles (bsd3, data, library, math)2017-03-260.9deadmanswitch
Decimal690.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
DigitGroup20.00Group the digits of numbers by lots (bsd3, library, math)2022-01-190.1.0.0AlanHawkins
Dist100.01A Haskell library for probability distributions (library, math, mit)2019-06-160.5.0wyager
DistanceTransform160.01Distance transform function. (bsd3, library, math)2013-02-160.1.2AnthonyCowley
Eq (deprecated)100.01Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-281.1.3VincentBerthoux
EqualitySolver50.01A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality (bsd3, library, math)2014-11-020.1.0.2dillonhuff
FirstOrderTheory30.03Grammar and typeclass for first order theories (bsd3, library, math)2014-11-050.1.0.6dillonhuff
Flint2110.01Haskell bindings for the flint library for number theory (gpl, library, math)2023-11-170.1.0.5monien
Flint2-Examples130.00Examples for the Flint2 library (gpl, math, program)2023-11-170.1.0.2monien
GaussQuadIntegration240.01Non-adaptive Gaussian quadrature for numeric integraton (bsd3, library, math)2011-09-150.1GrigorySarnitsky
GeomPredicates230.02Geometric predicates (bsd3, library, math)2010-06-270.1NealAlexander
GeomPredicates-SSE30.01Geometric predicates (Intel SSE) (bsd3, library, math)2010-06-270.2NealAlexander
HABQT20.00Hierarchical adaptive Bayesian quantum tomography for quantum bits (bsd3, library, math, program, quantum)2018-07-010.1.0.0LeonidBelinsky
HERA30.01 (bsd3, library, math)2008-12-050.2LukePalmer
HQu322.00quantitative finance library (finance, library, math, mit)2021-07-090.0.0.5ghais
HROOT290.01Haskell binding to the ROOT data analysis framework (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-core110.08Haskell binding to ROOT Core modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-graf140.02Haskell binding to ROOT Graf modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-hist100.03Haskell binding to ROOT Hist modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-io100.03Haskell binding to ROOT IO modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-math110.02Haskell binding to ROOT Math modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HROOT-net80.01Haskell binding to ROOT Net modules (lgpl, library, math, numerical, raphics, statistics)2023-07-290.10.0.3IanWooKim
HROOT-tree90.01Haskell binding to ROOT Tree modules (graphics, lgpl, library, math, numerical, statistics)2023-07-290.10.0.3IanWooKim
HasBigDecimal462.253A library for arbitrary precision decimal numbers. (apache, library, math, program)2022-09-010.2.0.0thma
HaskellForMaths740.04Combinatorics, group theory, commutative algebra, non-commutative algebra (bsd3, library, math)2018-12-150.4.9DavidAmos
HaskellLM40.01Pure Haskell implementation of the Levenberg-Marquardt algorithm (library, math)2012-02-290.1.2KietLam
HerbiePlugin30.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
HsASA230.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)60.01A slightly extended Kalman filter (bsd3, deprecated, library, math)2015-04-050.1.0.1DominicSteinitz
LPPaver50.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
LargeCardinalHierarchy40.01A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-070.0.1Stephen_E_A_Britton
Lattices300.02A library for lattices (library, math)2018-09-210.0.3BartCoppens
LetsBeRational90.00European option implied vol calculation (finance, library, math, mit, numeric, quant)2021-12-191.0.0.0ghais
Logic20.01Logic (library, math, mit)2014-12-290.1.0.0gogotanaka
MIP130.02Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2020-12-260.1.1.0MasahiroSakai
MIP-glpk20.00A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-260.1.1.0MasahiroSakai
MeanShift20.01Mean shift algorithm (bsd3, library, math)2012-04-300.1VilleTirronen
Modulo150.01Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-080.2.0.1NikolayMurzin
Monocle50.01Symbolic computations in strict monoidal categories with LaTeX output. (bsd3, library, math)2009-12-170.0.4OsmanBineev
MultipletCombiner180.00A Haskell implementation for combining SU(n) multiplets (bsd3, groups, library, math, physics, science)2023-09-100.0.7dressel
NTRU120.01NTRU Cryptography (cryptography, library, math)2020-01-271.1.0.0mikewest, Bodigrim
Naperian40.02Naperian Functors for APL-like programming (library, math)2019-03-280.1.1.0DominicSteinitz
NaperianNetCDF30.00Instances of NcStore for hypercuboids (bsd3, library, math, program)2019-04-180.1.0.1DominicSteinitz
NearContextAlgebra40.01Context Algebra of near (bsd3, math, program)2015-10-250.1.0.2jhahn
Noise170.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
NumberTheory40.01A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-170.1.0.1cfredric
Operads100.01Groebner basis computation for Operads. (bsd3, library, math)2009-08-141.0MikaelVejdemoJohansson
Ordinals150.01Ordinal arithmetic (bsd3, library, math)2010-07-090.0.0.2KiYungAhn
Paillier40.01a simple Paillier cryptosystem (bsd3, library, math)2013-12-110.1.0.3onemouth, abhiroop
ParserFunction (deprecated in favor of attoparsec)290.01Parse and evaluate mathematical expressions. (bsd3, deprecated, library, math, parsing)2014-05-140.1.0EnzoHaussecker
Persistence130.01A versatile library for topological data analysis. (bsd3, data, library, math)2019-08-192.0.3Ebanflo
Probnet192.250Geometric Extrapolation of Integer Sequences with error prediction (ai, forecasting, library, math, mit, sequences)2021-06-020.1.0.4vnos
PropaFP80.01Auto-active verification of floating-point programs (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers)2023-03-120.1.2.0JunaidRasheed
ProxN250.01Proximity sets in N dimensions (bsd3, library, math)2012-01-280.0.1AndrasSlemmer
RANSAC170.01The RANSAC algorithm for parameter estimation. (bsd3, library, math, numerical)2015-11-190.1.0.2AnthonyCowley
SG20.03Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2009-03-171.0NeilBrown
SGplus40.01(updated) Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2016-09-011.1donomii
SmithNormalForm20.00A lightweight Haskell implementation of Smith normal form over the integers. (library, linearalgebra, math, mit)2021-12-310.1.0.0BrianHwang
Smooth20.01A tiny, lazy SMT solver (bsd3, library, math)2014-11-050.1.0.1dillonhuff
SpatialMath110.033d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2023-09-160.2.7.1ScottWalck
TeX-my-math100.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
Vec350.015Fixed-length lists and low-dimensional linear algebra. (bsd3, data, library, math)2014-08-061.0.5ScottDillard
Vec-Boolean80.02Provides Boolean instances for the Vec package (bsd3, data, library, math)2012-08-051.0.6TobiasBexelius
Vec-OpenGLRaw30.03Instances and functions to interoperate Vec and OpenGL. (bsd3, graphics, library, math)2010-06-280.2.0.1ChristopherLaneHinson
Vec-Transform110.03This package is obsolete (bsd3, graphics, library, math)2012-08-051.1TobiasBexelius
WeberLogic40.01Logic interpreter (bsd3, library, math, program)2014-03-170.1.2cameronbwhite
Xorshift128Plus30.01Pure haskell implementation of xorshift128plus random number generator. (library, math, public-domain)2015-04-140.1.0.1hkanai
ZEBEDDE (deprecated)20.01Polymer growth simulation method (bsd3, deprecated, library, math)2015-07-290.1.0.0hackrilege
accelerate-arithmetic70.03Linear algebra and interpolation using the Accelerate framework (bsd3, library, math)2018-03-171.0.0.1HenningThielemann
accelerate-blas120.01Numeric Linear Algebra in Accelerate (accelerate, bsd3, library, math)2020-08-280.3.0.0TrevorMcDonell
accelerate-cublas30.01Basic Linear Algebra using native CUBLAS library (bsd3, library, math, program)2017-04-230.1HenningThielemann
accelerate-cufft50.01Accelerate frontend to the CUFFT library (Fourier transform) (bsd3, library, math)2017-12-151.0HenningThielemann
accelerate-fft110.02FFT using the Accelerate library (accelerate, bsd3, library, math)2020-08-281.3.0.0TrevorMcDonell
accelerate-fftw40.01Accelerate frontend to the FFTW library (Fourier transform) (bsd3, library, math)2018-03-171.0.0.1HenningThielemann
accelerate-fourier130.02Fast Fourier transform and convolution using the Accelerate framework (bsd3, library, math)2018-03-171.0.0.5HenningThielemann
accelerate-fourier-benchmark30.01Compare different implementations of the Fast Fourier Transform (bsd3, math, program)2017-04-230.0.0.1HenningThielemann
accelerate-typelits32.01a typesafe way encode accelerate matrices and vectors (library, math)2016-05-170.1.0.0epsilonhalbe
acts140.00Semigroup actions and torsors. (algebra, bsd3, library, math)2022-12-030.3.1.1sheaf
ad2122.524Automatic Differentiation (bsd3, library, math)2024-01-284.5.5EdwardKmett, EricMertens, ryanglscott
ad-delcont272.250Reverse-mode automatic differentiation with delimited continuations (bsd3, library, machine-learning, math, numeric, optimisation, optimization)2023-07-030.5.0.0ocramz
adjunction20.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-mfun40.02Multi-variate real function optimisation and proving (bsd3, library, math, program)2022-07-140.2.9.0MichalKonecny
aern2-mp440.05Multi-precision ball (interval) arithmetic (bsd3, library, math)2023-08-190.2.15.1MichalKonecny
aern2-real640.01Real numbers as convergent sequences of intervals (bsd3, library, math)2023-04-110.2.15MichalKonecny
affine250.01Affine spaces (generalized) (bsd3, library, math)2018-05-170.1.1.0
alg (deprecated)490.08Algebraic structures (bsd3, deprecated, library, math)2019-12-240.2.13.1
algebra660.012Constructive abstract algebra (algebra, bsd3, library, math)2017-12-254.3.1EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic50.01General linear algebra structures. (algebra, bsd3, library, math)2014-06-170.1.0.2danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-classes400.02Conversions between algebraic classes and F-algebras. (bsd3, data, generics, library, math)2020-01-060.9.4SjoerdVisscher
antimirov20.01Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-300.1.0RickKaudewitz
apportionment381.251Round a set of numbers while maintaining its sum (bsd3, library, math)2022-01-020.0.0.4HenningThielemann
arb-fft130.01Pure Haskell arbitrary length FFT library (bsd3, library, math, program)2016-04-240.3.0.0IanRoss
arithmatic360.01do things with numbers (bsd3, library, math)2017-01-260.1.0.3AlanHawkins
arithmoi1182.022Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2023-07-290.13.0.0CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
arrayfire132.251Haskell bindings to the ArrayFire general-purpose GPU library (bsd3, library, math, program)2022-10-020.7.0.0DavidJohnson
atp20.00Interface to automated theorem provers (formal-methods, gpl, library, logic, math, theorem-provers)2021-01-250.1.0.0EK
atrophy30.00Faster integer division and modulus operations (library, math, mit)2022-08-210.1.0.0goolord
automata30.00automata (bsd3, data, library, math)2019-01-220.1.0.0chessai
backprop592.258Heterogeneous automatic differentation (bsd3, library, math)2023-07-230.2.6.5jle
battleship-combinatorics130.00Compute number of possible arrangements in the battleship game (bsd3, library, math, program)2021-11-180.0.1HenningThielemann
bayes-stack40.01Framework for inferring generative probabilistic models with Gibbs sampling (bsd3, library, math)2012-10-270.2.0.1BenGamari
bed-and-breakfast340.02Efficient Matrix and Vector operations in 100% Haskell. (library, linear-algebra, math, mit, numeric)2018-10-220.5JulianFleischer
besout40.02Extended GCD of polynomials over F_p[x] (bsd3, library, math)2014-06-210.2.0.1AbdelwahebMiled
bin1980.05Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2023-03-210.1.3phadej
bindings-mpdecimal (deprecated in favor of deka)50.01bindings to mpdecimal library (bsd3, deprecated, library, math)2014-01-200.8.0.0OmariNorman
bindings-saga-cmd210.01Wrapping saga_cmd (gpl, library, math, program)2015-06-160.1.1.1michelk
bins150.01Aggregate continuous values into discrete bins (bsd3, library, math)2019-10-040.1.2.0jle
blas (deprecated in favor of hblas)130.01Bindings to the BLAS library (bsd3, deprecated, library, math)2009-01-140.7.6CarterSchonwald
blas-carray260.01Auto-generated interface to Fortran BLAS via CArrays (bsd3, library, math)2023-02-160.1.0.2HenningThielemann
blas-comfort-array160.00Auto-generated interface to Fortran BLAS via comfort-array (bsd3, library, math)2021-08-060.0.0.3HenningThielemann
blas-ffi200.04Auto-generated interface to Fortran BLAS (bsd3, library, math)2018-12-200.1HenningThielemann
blas-hs100.03Low-level Haskell bindings to Blas. (library, math, mit)2014-12-270.1.1.0Rufflewind
boltzmann-brain90.00Analytic sampler compiler for combinatorial systems. (bsd3, library, math, program)2019-12-091.6mbendkowski
boolector160.01Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2020-08-200.0.0.13DeianStefan
boolsimplifier270.01Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-150.1.8GershomBazerman
braid30.01Types and functions to work with braids and Khovanov homology. (bsd3, library, math, program)2016-01-180.1.0.0saltza
buffon40.01An implementation of Buffon machines. (bsd2, library, math)2018-03-260.1.0.1DerekElkins
buffon-machines50.00Perfect simulation of discrete random variables (bsd3, library, math)2019-09-161.1.1.1mbendkowski
burst-detection20.01Burst detection algorithms (gpl, library, math)2013-11-081.0
ca100.01Cellular Automata (bsd3, library, math)2018-04-220.0.0.1
caffegraph42.01 (bsd3, library, math)2015-02-170.1.0.2ajtulloch
cal-layout50.00Calendar Layout Algorithm (bsd3, library, math, program)2019-01-030.1.0.2bor0
calculator302.01A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-100.4.1.2sumitsahrawat
caldims20.01Calculation tool and library supporting units (library, math, program)2008-11-050.1.0RickKaudewitz
calendar-recycling280.01List years with the same calendars (bsd3, math, program)2018-08-310.0.0.1HenningThielemann
canon110.01Arithmetic for Psychedelically Large Numbers (library, math, mit)2019-09-030.1.1.4grandpascorpion
casadi-bindings610.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)20.01low level bindings to casadi-control (deprecated, lgpl, library, math, numerical)2014-08-212.0.0.1GregHorn
casadi-bindings-core220.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)40.01low level bindings to casadi-ipopt_interface (deprecated, lgpl, library, math, numerical)2014-05-271.9.0.3GregHorn
casadi-bindings-snopt-interface (deprecated in favor of casadi-bindings-core)30.01low level bindings to casadi-snopt_interface (deprecated, lgpl, library, math, numerical)2014-05-271.9.0.3GregHorn
cash40.01the Computer Algebra SHell (bsd3, computer-algebra, library, math)2012-03-260.1.0.1ChrisBrown
casui20.01Equation Manipulator (math, mit, program)2011-06-040.3EtienneLaurin
category (deprecated)481.2511Categorical types and classes (bsd3, control, deprecated, library, math)2019-12-240.2.5.0
category-traced (deprecated in favor of category)41.251Traced monoidal categories (bsd3, deprecated, library, math)2016-02-240.1.0.1
cayley-dickson280.01Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-300.3.1.0lmj
cf72.251Exact real arithmetic using continued fractions (library, math, mit)2015-09-030.4.2mvr
checksum240.01Compute and verify checksums of ISBN, IBAN, etc. (bsd3, library, math)2023-01-140.0.0.1HenningThielemann
circular560.01Circular fixed-sized mutable vectors (bsd3, data-structures, library, math)2022-07-100.4.0.3dschrempf
cl3252.02Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2022-04-103.0.0.0nwaivio
cl3-hmatrix-interface220.01Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-212.0.0.0nwaivio
cl3-linear-interface100.01Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-212.0.0.0nwaivio
clac60.01Simple CLI RPN calculator (gpl, math, program)2015-03-180.5.0alexander
clif40.01A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-100.1.1.0maaleske
clifford150.01A Clifford algebra library (bsd3, library, math, numerical, program)2014-03-290.1.0.14spacekitteh
closure30.01Depth- and breadth-first set closures (library, math, mit)2013-10-210.1.0.0JosephAbrahamson
clumpiness220.01Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2019-01-210.17.0.2GregorySchwartz
clustering122.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-loci62.01Equivariant CSM classes of coincident root loci (bsd3, library, math)2021-07-260.3BalazsKomuves
coinor-clp180.00Linear Programming using COIN-OR/CLP and comfort-array (bsd3, library, math)2024-01-030.0.0.2HenningThielemann
collect-errors330.07Error monad with a Float instance (bsd3, library, math)2021-05-180.1.5.0MichalKonecny
combinat472.08Generate and manipulate various combinatorial objects. (bsd3, library, math)2023-10-130.2.10.1BalazsKomuves
combinat-compat200.01Generate and manipulate various combinatorial objects. (bsd3, library, math)2018-04-030.2.8.2vmchale
combinat-diagrams40.01Graphical representations for various combinatorial objects (bsd3, library, math)2015-10-300.2BalazsKomuves
combinatorial330.02Count, enumerate, rank and unrank combinatorial objects (bsd3, library, math, statistics)2023-02-150.1.1HenningThielemann
combinatorics (deprecated in favor of exact-combinatorics)150.01Efficient computation of common combinatoric functions. (bsd3, deprecated, library, math, statistics)2012-01-290.1.0WrenThornton
comfort-blas200.01Numerical Basic Linear Algebra using BLAS (bsd3, library, math)2024-01-120.0.2HenningThielemann
comfort-fftw90.00High-level interface to FFTW (Fast Fourier Transform) based on comfort-array (bsd3, library, math)2023-04-220.0.0.1HenningThielemann
comfort-glpk140.00Linear Programming using GLPK and comfort-array (bsd3, library, math)2023-05-110.1HenningThielemann
commutative-semigroups1920.06Commutative semigroups (algebra, bsd3, data, library, math)2023-12-220.1.0.2JohnEricson, MarioBlazevic, RyanTrinkle, abrar
complex-generic40.03complex numbers with non-mandatory RealFloat (bsd3, library, math)2017-04-030.1.1.1ClaudeHeilandAllen
complex-integrate100.01A simple integration function to integrate a complex-valued complex functions (library, math, public-domain)2012-01-211.0.0MarkSafronov
computational-algebra202.251Well-kinded computational algebra library, currently supporting Groebner basis. (bsd3, library, math)2017-12-070.5.1.0HiromiIshii
computational-geometry60.01Collection of algorithms in Computational Geometry. (bsd3, graphics, library, math)2017-10-130.1.0.3MaksymilianOwsianny
conjugateGradient250.01Sparse matrix linear-equation solver (bsd3, library, math)2013-04-202.2LeventErkok
connections180.02Orders, Galois connections, and lattices. (bsd3, library, math, numerical, program)2021-09-160.3.2cmk
constructible70.01Exact computation with constructible real numbers (bsd3, library, math)2021-11-090.1.2AndersKaseorg
constructive-algebra110.01A library of constructive algebra. (algebra, bsd3, library, math)2011-03-310.3.0AndersMortberg
continued-fraction312.01Types and functions for working with continued fractions in Haskell (bsd3, library, math)2018-08-180.1.0.11vmchale
continued-fractions280.02Continued fractions. (library, math, numerical, public-domain)2019-01-290.10.0.2JamesCook, rockbmb
converge210.03Limit operations for converging sequences (library, math, numerical, public-domain)2011-08-150.1.0.1JamesCook
convexHullNd40.00Convex hull (geometry, gpl, library, math)2023-11-220.1.0.0stla
covariance460.01Well-conditioned estimation of large-dimensional covariance matrices (gpl, library, math, statistics)2022-07-100.2.0.1dschrempf
coya220.00Coya monoids (bsd3, data, library, math)2020-07-090.1.0.1chessai
cplex-hs102.01high-level CPLEX interface (bsd3, library, math)2016-11-050.5.0.2stefanjhlk
crf-chain150.02First-order, linear-chain conditional random fields (bsd3, library, math)2019-11-300.2.3JakubWaszczuk
crf-chain1-constrained160.03First-order, constrained, linear-chain conditional random fields (bsd3, library, math)2018-10-300.6.0JakubWaszczuk
crf-chain2-generic40.02Second-order, generic, constrained, linear conditional random fields (bsd3, library, math)2013-01-090.3.0JakubWaszczuk
cubicspline162.01Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-180.1.2GershomBazerman
curve25519520.02Fast implementations of the curve25519 elliptic curve primitives. (bsd3, library, math)2023-12-120.2.8AdamWick, EricMertens
cyclotomic370.02A subfield of the complex numbers for exact calculation. (gpl, library, math)2023-03-171.1.2ScottWalck
data-category582.251Category theory (bsd3, category-theory, library, math)2023-03-270.11SjoerdVisscher
data-interval930.06Interval datatype, interval arithmetic and interval-based containers (bsd3, data, library, math)2023-12-212.1.2MasahiroSakai, Bodigrim
data-nat50.01data Nat = Zero | Succ Nat (bsd3, data, library, math)2012-09-230.1.2GaborLehel
dde202.01Delay differential equations (bsd3, library, math, program)2018-07-080.3.0penkovsky
decimal-literals50.02Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2019-02-200.1.0.1leftaroundabout
declarative270.01DIY Markov Chains. (library, math, mit)2021-02-230.5.4JaredTobin
deeplearning-hs40.01Deep Learning in Haskell (library, math, mit, program)2014-05-050.1.0.2ajtulloch
deka80.02Decimal floating point arithmetic (bsd3, library, math)2014-07-160.6.0.2OmariNorman
deka-tests30.01Tests for deka, decimal floating point arithmetic (bsd3, library, math, program)2014-07-160.6.0.2OmariNorman
delaunayNd110.01Delaunay tessellation (geometry, gpl, library, math)2023-11-200.1.0.2stla
dense-linear-algebra1290.02Simple and incomplete pure haskell implementation of linear algebra (bsd2, library, math, numeric, statistics)2018-10-110.1.0.0AlexeyKhudyakov
derivation-trees40.01Typeset Derivation Trees via MetaPost (graphics, library, math)2010-11-180.7.3JeanPhilippeBernardy
detour-via-sci120.02JSON and CSV encoding for rationals as decimal point numbers. (csv, data, json, library, math, mpl, numeric)2018-06-221.0.0philderbeast
detour-via-uom20.01JSON and CSV encoding for quantities. (csv, data, json, library, math, mpl, numeric, physics)2018-06-221.0.0philderbeast
dfrac120.01A package for precise decimal arithmatic using rationals. (library, math, mit)2014-08-150.1.2.0georgerogers42
diagrams-solve1080.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)250.02A (deprecated) implementation of the digamma function (bsd3, deprecated, library, math)2016-04-131.0BenGamari
dimensional622.511Statically checked physical dimensions (bsd3, library, math, physics)2022-06-221.5BjornBuckwalter, dmcclean
dimensional-tf (deprecated in favor of dimensional)110.03Statically checked physical dimensions, implemented using type families. (bsd3, deprecated, library, math, physics)2016-12-070.3.0.4BjornBuckwalter
dimensions150.06Safe type-level dimensionality for multidimensional data. (bsd3, geometry, library, math)2021-04-042.1.1.0achirkin
diophantine40.01A quadratic diophantine equation solving library. (gpl, library, math)2014-11-240.2.1.0joejev
directed-cubical50.01Finite directed cubical complexes and associated algorithms (bsd3, library, math)2014-06-080.1.2.0mmisamore
dirichlet390.02Multivariate Dirichlet distribution (bsd3, library, math)2022-07-100.1.0.7dschrempf
distribution102.02Finite discrete probability distributions. (apache, library, math)2017-06-291.1.1.0RomainEdelmann
distribution-plot30.01Easily plot distributions from the distribution package.. (apache, library, math)2014-08-041.0.0.0RomainEdelmann
downhill72.00Reverse mode automatic differentiation (library, math, mit)2023-03-040.4.0.0andriusstank
dozenal20.01A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-110.1.0.0siddhanathan
dsp342.02Haskell Digital Signal Processing (gpl, library, math, sound)2022-09-210.2.5.2HenningThielemann
dual (deprecated)170.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)130.01Efficient automatic differentiation and code generation (bsd3, deprecated, library, math, numerical)2014-04-050.4GregHorn
dyckword60.01A library for working with binary Dyck words. (bsd3, library, math)2017-05-010.1.0.4arbelos
earcut160.01Binding to C++ earcut library. (library, math)2020-07-110.1.0.4DavidHimmelstrup
ease120.01Robert Penner's easing equations (bsd3, game, library, math)2020-10-010.1.0.2fresheyeball
easyplot130.02A tiny plotting library, utilizes gnuplot for plotting. (graphics, library, math, mit, plotting)2013-03-261.0JulianFleischer
easytensor320.02Pure, type-indexed haskell vector, matrix, and tensor library. (bsd3, geometry, library, math)2021-04-072.1.1.1achirkin
easytensor-vulkan220.01Use easytensor with vulkan-api. (bsd3, geometry, graphics, library, math, opengl, vulkan)2021-04-052.0.2.1achirkin
egyptian-fractions180.01Egyptian fractions in Haskell (bsd3, library, math)2018-06-250.1.0.2vmchale
eigen461.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
elbow150.01Find the elbow point. (gpl, library, math)2020-02-200.2.0.0GregorySchwartz
elliptic-integrals60.02Carlson Elliptic Integrals and Incomplete Elliptic Integrals (bsd3, library, math, numeric)2023-03-010.1.0.1stla
emd370.01Empirical Mode Decomposition and Hilbert-Huang Transform (bsd3, library, math)2019-10-310.2.0.0jle
equational-reasoning581.59Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2023-12-260.7.0.2HiromiIshii
equational-reasoning-induction20.00Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2019-02-080.6.0.0HiromiIshii
erf1540.017The error function, erf, and related functions. (bsd3, library, math)2011-05-262.0.0.0LennartAugustsson
erf-native40.02Native Haskell implementation of the interface from the erf package (library, math)2012-01-031.0.0.1JamesCook
estimator210.01State-space estimation algorithms such as Kalman Filters (bsd3, library, math, numerical, statistics)2016-07-191.2.0.0AdamFoltzer, JameySharp
euler350.01Mathematics utilities for Haskell (library, math, mit)2020-05-250.10.1decomputed, luisonthekeyboard
exact-combinatorics610.06Efficient exact computation of combinatoric functions. (bsd3, library, math, statistics)2021-11-030.2.0.11WrenThornton, WrenRomano
exact-cover30.01Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-220.1.0.0arthur
exact-real512.252Exact real arithmetic (library, math, mit)2021-12-130.12.5.1jophish, expipiplus1
exact-real-positional40.01Framework for Exact Real Arithmetic in the Positional Number System (bsd3, library, math)2017-07-200.0.0grlks
exp-pairs290.01Linear programming over exponent pairs (gpl, library, math)2020-10-030.2.1.0Bodigrim
explicit-determinant30.01explicit computation of determinant of small matrices (gpl, library, math)2014-07-030.1.0.0JohannesWaldmann
expressions181.51Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-300.5jakubdaniel
expressions-z3120.01Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2019-04-300.5jakubdaniel
extended-categories30.01Extended Categories (bsd3, library, math)2014-11-230.2.0ian_mi
extended-reals470.08Extension of real numbers with positive/negative infinities (bsd3, library, math)2020-03-280.2.4.0MasahiroSakai, Bodigrim
factory410.05Rational arithmetic in an irrational world. (gpl, library, math, number-theory, program)2021-08-250.3.2.3AlistairWard, LennartAugustsson
fad160.01Forward Automatic Differentiation. (bsd3, library, math)2012-12-221.1.0.1BjornBuckwalter
fadno-braids160.02Braid representations in Haskell (algebra, bsd2, data, library, math)2024-01-200.2spopejoy
fast-arithmetic1382.01Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2022-01-170.6.7.0vmchale
fast-math560.02Non IEEE-754 compliant compile-time floating-point optimisations (bsd3, library, math, numeric)2015-08-011.0.2LiyangHu, MikeIzbicki
fft342.07Bindings to the FFTW library. (bsd3, library, math)2021-05-210.1.8.7HenningThielemann, JedBrown
fftw-ffi220.01Low-level interface to FFTW (Fast Fourier Transform) (bsd3, library, math)2021-07-260.1HenningThielemann
fftwRaw230.01Low level bindings to FFTW. (bsd3, library, math)2018-09-040.1.0.2adamwalker
fib240.00fibonacci algebra (bsd3, library, math)2020-07-090.1.0.1chessai
fin2322.012Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2023-03-210.3phadej
find-clumpiness90.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-semigroups50.00Operations and classification for finite semigroups (library, math, mit)2023-10-260.1.0.0dakotah_lambert
fixed-point (deprecated)90.03Binary fixed-point arithmetic (data, deprecated, game, library, math, mit, numerical)2011-08-270.5.0.1JakeMcArthur
fixed-point-vector (deprecated)30.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)40.01vector-space instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-270.5.0.1JakeMcArthur
fixed-precision60.01Fixed Precision Arithmetic (bsd3, library, math)2010-06-150.4.0EdwardKmett
fixedprec250.02A fixed-precision real number type (bsd3, data, library, math)2018-11-060.2.2.2PeterSelinger
fizz-buzz150.01Functional Fizz/Buzz (bsd3, library, math)2017-01-260.1.0.3AlanHawkins
flat-mcmc240.01Painless general-purpose sampling. (library, math, mit)2020-10-111.5.2JaredTobin
float128120.03FFI bindings for C _Float128 (bsd3, library, math)2020-06-150.1ClaudeHeilandAllen
foldl-statistics152.01Statistical functions from the statistics package implemented as Folds. (bsd3, library, math, statistics)2018-09-250.1.5.1AlexMason
fp-ieee270.01IEEE 754-2019 compliant operations (bsd3, library, math, numeric)2024-02-180.1.0.4aratamizuki
fplll20.00Haskell bindings to <https://fplll.github.io/fplll/ fplll> (lgpl, library, math)2019-12-050.1.0.0lanceroy
fpnla130.02A library for NLA operations (bsd3, library, math)2014-02-040.1.1mblanco
fpnla-examples30.01Example implementations for FPNLA library (bsd3, library, math, parallelism)2014-02-040.1.1mblanco
fptest40.01IEEE754r floating point conformance tests (bsd3, math, program)2018-11-150.2.3.0jrp
fractals20.01A collection of useful fractal curve encoders (bsd3, library, math)2015-08-100.1.0.0sdekker
fractionizer390.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-functors650.01Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-051.2.1SjoerdVisscher
free-vector-spaces160.04Instantiate the classes from the vector-space package with types from linear (bsd3, library, math)2022-06-010.1.5.2leftaroundabout
frotate90.00Advanced rotation of backups and other things (math, program, system)2019-08-310.1.1ip1981
function-instances-algebra20.01Instances of the Algebra.* classes for functions (bsd3, library, math)2012-03-250.1TobiasBrandt
functor (deprecated in favor of category)40.01Functors (bsd3, control, deprecated, library, math)2017-11-160.1.0.0
game-probability30.01Simple probability library for dice rolls, card games and similar (bsd3, library, math)2010-09-081.1NeilBrown
gamma60.09Gamma function and related functions. (library, math, numerical, public-domain)2019-02-030.10.0.0JamesCook, rockbmb
garepinoh40.01reverse prefix notation calculator and calculation library (console, library, math, program, public-domain, tools)2014-01-210.9.9.2.1MekeorMelire
geocalc210.01Libary for calculating distances between two coordinates in WSG84 (bsd3, library, math)2011-07-011.0.0GeroKriependorf
geom2d70.01package for geometry in euklidean 2d space (gpl, library, math)2015-11-010.2.2seppeljordan
ghc-typelits-presburger961.754Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2023-12-260.7.3.0HiromiIshii
glasso280.02Graphical Lasso algorithm (bsd3, library, math)2015-04-150.1.0kaizhang
glicko300.01Glicko-2 implementation in Haskell. (gpl, library, math)2021-01-130.3.0.2rprecenth
glpk-headers190.03Low-level Haskell bindings to the GLPK library (bsd3, library, math)2023-01-280.5.1prsteele
glpk-hs430.06Comprehensive GLPK linear programming bindings (bsd3, library, math, program)2021-01-290.8JeanPhilippeBernardy, LouisWasserman
gnuplot1761.5102D and 3D plots using gnuplot (bsd3, graphics, library, math)2022-02-130.5.7HenningThielemann
goal-core40.04Common, non-geometric tools for use with Goal (bsd3, library, math)2021-08-310.20alex404
goal-geometry40.03The basic geometric type system of Goal (bsd3, library, math)2021-08-310.20alex404
goal-graphical20.00Optimization of latent variable and dynamical models with Goal (bsd3, library, math)2021-08-310.20alex404
goal-probability40.02Optimization on manifolds of probability distributions with Goal (bsd3, library, math)2021-08-310.20alex404
goal-simulation30.00Mealy based simulation tools (bsd3, library, math, program)2015-12-220.1alex404
gray-extended280.02Gray encoding schemes (bsd3, library, math)2021-08-181.5.9AmyDeBuitleir
grid592.254Tools for working with regular grids (graphs, lattices). (bsd3, library, math)2021-08-187.8.15AmyDeBuitleir
group-theory72.250The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-180.2.2ReedMullanix, topos
groups1550.023Groups (algebra, bsd3, data, library, math)2021-05-140.5.3NathanVanDoorn
groups-generic340.00Generically derive Group instances. (algebra, bsd3, library, math)2022-12-040.3.1.0sheaf
gsl-random210.04Bindings the the GSL random number generation facilities. (bsd3, library, math)2017-09-150.5.3PatrickPerry
gsl-random-fu30.01Instances for using gsl-random with random-fu (library, math, public-domain)2009-05-200.0.0.1JamesCook
gutenberg-fibonaccis270.01The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-091.1.0JustinHanekom
hR (deprecated)30.01R bindings and interface (bsd3, deprecated, foreign, library, math)2012-03-050.1.1DylanSimon
hTensor250.02Multidimensional arrays and simple tensor computations. (bsd3, library, math)2016-11-020.9.1AlbertoRuiz, DominicSteinitz
haar22.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-space50.01Additive monoids generalising vector spaces (gpl, library, math)2023-05-210.1.1.0leftaroundabout
hascal450.01tiny calculator library and command-line program (console, library, math, parsing, program, tools, utility, utils)2017-02-273.0.1DagOdenhall, MekeorMelire
haskell-eigen-util60.01Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-180.1.0.4dilawars
haskell-igraph140.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
hbayes130.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)260.08haskell cg (minus) (bsd3, deprecated, library, math)2017-11-220.16RohanDrape
hcg-minus-cairo (deprecated)60.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-algebras250.01Heyting and Boolean algebras (bsd3, library, math)2021-03-270.2.0.1coot
hgeometric50.01A geometric library with bindings to GPC. (library, math, mit)2009-06-250.0.2.2DonaldStewart, GwernBranwen, MarcoSilva
hieraclus70.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
hirt30.01Calculates IRT 2PL and 3PL models (bsd3, math, program)2012-05-140.0.1.1IvanLabath
hlbfgsb30.01Haskell binding to L-BFGS-B version 3.0 (bsd3, library, math)2012-05-040.0.1.0IvanLabath
hmatrix1462.5123Numeric Linear Algebra (bsd3, library, math)2021-03-080.20.2AlbertoRuiz, DominicSteinitz
hmatrix-backprop410.01hmatrix operations lifted for backprop (bsd3, library, math)2019-08-180.1.3.0jle
hmatrix-banded (deprecated in favor of lapack)60.01HMatrix interface to LAPACK functions for banded matrices (bsd3, deprecated, library, math)2019-03-190.0.0.3HenningThielemann
hmatrix-glpk310.02Linear Programming based on GLPK (gpl, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-gsl650.013Numerical computation (gpl, library, math)2018-04-220.19.0.1AlbertoRuiz, DominicSteinitz
hmatrix-gsl-stats800.07GSL Statistics interface (bsd3, ffi, library, math, statistics)2019-06-110.4.1.8VivianMcPhail
hmatrix-mmap50.01Memory map Vector from disk into memory efficiently (bsd3, library, math, system)2011-02-220.0.5AlanFalloon
hmatrix-morpheus312.251Low-level machine learning auxiliary functions. (bsd3, library, math)2018-06-100.1.1.2aignatyev17
hmatrix-nipals30.01NIPALS method for Principal Components Analysis on large data-sets. (lgpl, library, math)2011-02-220.2AlanFalloon
hmatrix-quadprogpp260.01Bindings to the QuadProg++ quadratic programming library (bsd3, library, math)2017-12-150.4.0.0AkioTakano
hmatrix-repa330.01Adaptors for interoperability between hmatrix and repa (bsd3, data, library, math)2016-09-220.1.2.2VivianMcPhail
hmatrix-sparse30.01Sparse linear solver (bsd3, library, math)2018-04-220.19.0.0DominicSteinitz
hmatrix-special600.07Interface to GSL special functions (gpl, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-static60.01hmatrix with vector and matrix sizes encoded in types (library, math)2010-09-120.3.0.2ReinerPope
hmatrix-sundials52.01hmatrix interface to sundials (bsd3, library, math)2019-08-260.20.1.0DominicSteinitz
hmatrix-svdlibc130.03SVDLIBC bindings for HMatrix (bsd3, library, math)2018-09-130.5.0.1BenGamari
hmatrix-syntax50.01MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-310.1.2.1ReinerPope
hmatrix-tests180.01Tests for hmatrix (bsd3, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-vector-sized170.02Conversions between hmatrix and vector-sized types (bsd3, library, math)2020-02-110.1.3.0jle
hmm-hmatrix (deprecated in favor of hmm-lapack)90.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
hmpfr472.04Haskell binding to the MPFR library (bsd3, data, library, math)2022-12-010.4.5AlesBizjak, MichalKonecny
homeomorphic30.02Homeomorphic Embedding Test (bsd3, library, math)2008-04-030.1NeilMitchell
hopfield-networks252.01Hopfield Networks for unsupervised learning in Haskell (library, math, mit, program)2013-11-200.1.0.0ajtulloch
hops150.00Handy Operations on Power Series (bsd3, library, math, program)2017-07-030.7.2AndersClaesson
hps-kmeans30.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)370.08Functors from products of Haskell and its dual to Haskell (bsd3, deprecated, library, math)2020-08-040.1.7.1
hsignal580.01Signal processing and EEG data analysis (bsd3, library, math)2016-11-140.2.7.5VivianMcPhail
hsilop180.01RPN calculator (math, mit, program)2015-09-190.2.0.0rnhmjoj
hspray90.03Multivariate polynomials. (algebra, gpl, library, math)2023-08-300.1.3.0stla
hstatistics450.02Statistics (bsd3, library, math, statistics)2020-08-060.3.1VivianMcPhail
hypergeomatrix70.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)130.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)360.02Utilities for dealing with IEEE floating point numbers (bsd3, deprecated, library, math)2010-09-200.7PatrickPerry
ieee754952.027Utilities for dealing with IEEE floating point numbers (bsd3, library, math)2017-01-300.8.0PatrickPerry
integer-logarithms2670.025Integer logarithms. (algorithms, library, math, mit, number-theory)2020-11-011.0.3.1phadej
integer-roots590.05Integer roots and perfect powers (algorithms, library, math, mit, number-theory)2021-11-221.0.2.0Bodigrim
interpolation230.01piecewise linear and cubic Hermite interpolation (bsd3, library, math)2021-08-070.1.1.2HenningThielemann
interval-patterns230.00Intervals, and monoids thereof (algebra, bsd3, charts, data-structures, library, math, statistics)2023-10-100.7.2melaniebrown
intervals1162.07Interval Arithmetic (bsd3, library, math)2021-02-170.9.2EdwardKmett, EricMertens, ryanglscott
involutive-semigroups210.00Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-300.1.0.0nosewings
ipopt-hs90.01haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-120.5.1.0AdamVogt
irt30.01Item Response Theory functions for use in computerized adaptive testing (bsd3, library, math)2017-08-030.2.0.1ElliotRobinson
iter-stats50.01iteratees for statistical processing (bsd3, library, math)2015-01-050.1.0.4JohnLato
jackpolynomials100.00Jack, zonal, and Schur polynomials (algebra, gpl, library, math)2022-12-121.1.0.1stla
jacobi-elliptic70.00Neville Theta Functions and Jacobi Elliptic Functions (bsd3, library, math, numeric)2023-10-180.1.3.0stla
jacobi-roots70.02Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision (bsd3, library, math)2014-05-270.2.0.4GregHorn
jacobi-theta170.02Jacobi Theta Functions (bsd3, library, math, numeric)2023-10-310.2.2.2stla
jalla50.01Higher level functions for linear algebra. Wraps BLAS and LAPACKE. (library, math)2015-06-260.2.0.1ChristianGosch
jinquantities32.01Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2018-09-120.1.1Novadiscovery
kalman52.01Kalman and particle filters and smoothers (library, math, mit)2016-12-141.0.0.2DominicSteinitz
kleene52.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-programming40.00K_M,N quadratic programming (bsd3, math, program)2021-12-200.9.2PeterDivianszky
knead-arithmetic50.01Linear algebra and interpolation using LLVM JIT (bsd3, library, math)2016-10-090.0.0.1HenningThielemann
knots30.01Khovanov homology computations (library, math, mit, program)2015-04-090.1.0.1maltem
ks-test30.01Kolmogorov distribution and Kolmogorov-Smirnov test. (library, math, numerical, public-domain)2010-09-100.1JamesCook
l-bfgs-b80.02Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization (bsd3, library, math)2014-07-030.1.0.1GardSpreemann
lagrangian130.02Solve Lagrange multiplier problems (bsd3, library, math)2014-10-090.6.0.1JonathanFischoff, pash
lapack380.04Numerical Linear Algebra using LAPACK (bsd3, library, math)2024-01-140.5.1.1HenningThielemann
lapack-carray120.01Auto-generated interface to Fortran LAPACK via CArrays (bsd3, library, math)2019-01-230.0.3HenningThielemann
lapack-comfort-array90.00Auto-generated interface to Fortran LAPACK via comfort-array (bsd3, library, math)2021-08-060.0.1HenningThielemann
lapack-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-hmatrix140.00Conversion of objects between 'lapack' and 'hmatrix' (bsd3, library, math)2023-01-140.0.0.2HenningThielemann
lattices1472.2528Fine-grained library for constructing and manipulating lattices (bsd3, library, math)2023-03-152.2MaxBolingbroke, phadej
lawz230.04Common mathematical laws. (bsd3, library, math, testing)2020-02-110.1.1cmk
lazysplines212.01Differential solving with lazy splines (bsd3, library, math)2019-02-070.3GershomBazerman
lean (deprecated)20.00Bonds to Lean theorem prover (bsd3, deprecated, library, math)2019-05-150.0.0.1
left4deadrl130.01left4dead-inspired roguelike (bsd3, math, program)2018-04-060.0.2AndrewPennebaker
levmar220.02An implementation of the Levenberg-Marquardt algorithm (bsd3, library, math, numerical)2018-05-071.2.1.8BasVanDijk, RoelVanDijk
libroman242.01Use Roman Numerals as a Numeric Datatype (sort of) (bsd3, data, library, math, numerical)2016-10-103.1.1ahakki
lie20.00Lie Algebras (bsd3, library, math, program)2019-06-080.1.0.0jumper149
lin-alg330.01Low-dimensional matrices and vectors for graphics and physics (bsd3, library, math)2016-11-050.1.0.3JasonDagit
linda50.01LINear Discriminant Analysis (bsd3, library, math, statistics)2011-09-240.1.2LennartSchmitt
linear3442.5150Linear Algebra (algebra, bsd3, library, math)2022-11-301.22AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate110.02Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-280.7.0.0EdwardKmett, TrevorMcDonell, ryanglscott
linear-algebra-cblas20.02A linear algebra library with bindings to BLAS and LAPACK (bsd3, library, math, program)2013-04-180.1CarterSchonwald
linear-circuit140.01Compute resistance of linear electrical circuits (bsd3, library, math)2021-12-050.1.0.4HenningThielemann
linear-code52.01A simple library for linear codes (coding theory, error correction) (gpl, library, math)2018-08-300.2.0wchresta
linear-geo40.00Geographic coordinates, built on the linear package. (library, math, mit)2023-12-210.1.0.0TravisWhitaker
linear-grammar410.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-smc110.00Build SMC morphisms using linear types (lgpl, library, math)2023-06-202.2.3JeanPhilippeBernardy
linear-tests190.00Linear Algebra (algebra, bsd3, library, math, testing)2020-03-270.1.2.0pdlla
linear-vect30.02A low-dimensional linear algebra library, operating on the Num typeclass (bsd3, library, math)2014-10-050.1.1.0capsjac
linearEqSolver420.01Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2020-05-132.3LeventErkok
linearmap-category260.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-TPTP460.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-double170.02FFI bindings for C long double (bsd3, math)2023-03-100.1.1.1ClaudeHeilandAllen
lowlin270.00Low dimensional linear algebra (bsd3, library, linear-algebra, math)2020-05-060.2.0.1jodak
magico150.01Compute solutions for Magico puzzle (bsd3, math, program)2021-12-050.0.2.3HenningThielemann
magma230.01magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2023-04-190.6.1.1KatsutoshiItoh
magmas160.02Magma-like objects. (bsd3, library, math, numerical)2020-02-200.0.1cmk
manifold-random150.01Sampling random points on general manifolds. (gpl, library, math)2023-07-040.6.1.0leftaroundabout
manifolds280.04Coordinate-free hypersurfaces (gpl, library, math)2023-07-040.6.1.0leftaroundabout
manifolds-core390.05The basic classes for the manifolds hierarchy. (gpl, library, math)2023-05-180.6.1.0leftaroundabout
math-extras370.00A variety of mathematical utilities (bsd3, library, math, numeric)2020-03-030.1.1.0zliu41
math-functions3002.2540Collection of tools for numeric computations (bsd2, library, math, numeric)2023-10-180.3.4.3AlexeyKhudyakov, BryanOSullivan
math-grads52.00Library containing graph data structures and graph algorithms (bsd3, graph, library, math)2020-04-020.1.6.7AlexKane
math-programming80.02A library for formulating and solving math programs. (bsd3, library, math)2023-01-280.5.1prsteele
math-programming-glpk80.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
mathexpr380.01Parse and evaluate math expressions with variables and functions (gpl, library, math)2022-07-140.3.1.0mdibaiee
mathflow20.01Dependently typed tensorflow modeler (bsd3, library, math)2017-08-080.1.0.0junjihashimoto
mathlist220.00Math using lists, including FFT and Wavelet (bsd3, education, library, math, numerics)2023-05-220.2.0.0djsamperi
matlab60.01Matlab bindings and interface (bsd3, foreign, library, math, program)2020-07-280.3.0.0DylanSimon, bmsherman, bebarker
matrix1412.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-market40.01Read and write NIST Matrix Market files (bsd3, library, math, system)2008-04-041.2PatrickPerry
matrix-market-pure170.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-static352.01Type-safe matrix operations (bsd3, library, math)2020-02-180.3wchresta
maxent140.01Compute Maximum Entropy Distributions (bsd3, library, math)2014-10-090.7JonathanFischoff, pash
mcl40.02Bindings to mcl, a generic and fast pairing-based cryptography library (bsd3, crypto, library, math)2017-05-091.0.1arybczak
mcmc910.00Sample from a posterior using Markov chain Monte Carlo (gpl, library, math, statistics)2023-05-030.8.2.0dschrempf
mcmc-samplers62.01Combinators for MCMC sampling (bsd3, library, machine-learning, math, numeric, statistics)2014-11-100.1.1.1pravnar, z
mcmc-types191.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-random240.09Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister (bsd3, library, math, system)2011-06-181.0.0.1DonaldStewart
mersenne-random-pure64710.025Generate high quality pseudorandom numbers purely using a Mersenne Twister (bsd3, library, math, system)2016-08-290.2.2.0BenGamari, DonaldStewart
mfsolve942.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-strategies20.01Find optimal mixed strategies for two-player games (library, math, mit, program)2012-12-140.1.0.0BartonMassey
mixed-types-num720.07Alternative Prelude with numeric and logic expressions typed bottom-up (bsd3, library, math)2023-08-140.5.12MichalKonecny
mltool172.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
mod1732.06Fast type-safe modular arithmetic (library, math, mit, number-theory)2023-02-130.2.0.1Bodigrim
modular180.01Type-safe modular arithmetic (bsd3, library, math)2018-11-050.1.0.8pgujjula
modular-arithmetic432.05A type for integers modulo some constant. (bsd3, library, math)2023-06-082.0.0.3TikhonJelvis
monad-lrs (deprecated)40.01a monad to calculate linear recursive sequence (bsd3, deprecated, library, math)2012-03-040.0.2.1BinJin
monoidplus40.01Extra classes/functions about monoids (data, library, math, public-domain)2011-11-120.1.0.1AaronBlack
monoids (deprecated in favor of reducers)240.02Deprecated: Use 'reducers' (bsd3, data, deprecated, library, math, numerical)2012-02-090.3.2DanielWagner, EdwardKmett
monte-carlo130.01A monad and transformer for Monte Carlo calculations. (bsd3, library, math)2017-09-150.6.2PatrickPerry
mpolynomials100.01Simple multivariate polynomials. (algebra, gpl, library, math)2022-12-110.1.1.0stla
ms50.01metric spaces (bsd2, library, math)2015-07-210.2.1RickyElrod
multiset-comb360.03Combinatorial algorithms over multisets (bsd3, library, math)2023-02-270.2.4.2BrentYorgey
mwc-probability400.014Sampling function-based probability distributions. (library, math, mit)2020-07-312.3.1JaredTobin, ocramz
mwc-random2632.0123Fast, high quality pseudo random number generation (bsd3, library, math, statistics)2021-08-150.15.0.2AlexeyKhudyakov, BryanOSullivan
mwc-random-monad262.04Monadic interface for mwc-random (bsd3, library, math, statistics)2015-05-200.7.3.1AlexeyKhudyakov
nat130.01Lazy binary natural numbers (bsd3, data, library, math)2012-08-130.3JanChristiansen
natural-arithmetic1310.015Arithmetic of natural numbers (bsd3, library, math)2024-02-030.2.1.0andrewthad, l3c_amartin
natural-induction (deprecated)210.04Induction over natural numbers (bsd3, deprecated, library, math)2017-12-140.2.0.0
natural-numbers370.04Natural numbers (bsd3, data, library, math)2012-07-130.1.2.0WolfgangJeltsch
netlib-carray160.02Helper modules for CArray wrappers to BLAS and LAPACK (bsd3, library, math)2019-01-230.1HenningThielemann
netlib-comfort-array300.02Helper modules for comfort-array wrappers to BLAS and LAPACK (bsd3, library, math)2021-08-060.0.0.2HenningThielemann
netlib-ffi260.015Helper modules for FFI to BLAS and LAPACK (bsd3, library, math)2019-01-050.1.1HenningThielemann
network-topic-models30.01A few network topic model implementations for bayes-stack (bsd3, math, program)2012-10-270.2.0.1BenGamari
nimber320.01Finite nimber arithmetic (bsd3, library, math)2019-03-270.1.4AndersKaseorg, PatrickHurst
noether30.00Math in Haskell. (library, math, mit, program)2017-06-250.0.1mrkgnao
non-negative620.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-ad280.01Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
nonlinear-optimization-backprop180.00Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
normaldistribution290.09Minimum fuss normally distributed random values. (bsd3, library, math, statistics)2011-08-311.1.0.3BjornBuckwalter
np-extras200.02NumericPrelude extras (bsd3, library, math)2022-05-130.3.1.3BrentYorgey
np-linear70.01Linear algebra for the numeric-prelude framework (bsd3, library, math)2014-11-240.3.0.2AriePeterson
nuha150.00Multidimensional arrays, Linear algebra, Numerical analysis (bsd3, library, math, numeric)2020-11-270.3.0.0jodak
number220.01A library for real numbers (library, math, mit)2015-09-100.1.1.0rnhmjoj
number-wall120.00Create number walls and save them as images (algorithms, graphics, image, library, math, mit)2022-09-030.1.0.3OwenBechtel
numbers782.08Various number types (bsd3, data, library, math)2018-05-143000.2.0.2CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor
numeric-domains180.01Numeric Domains (bsd3, library, math)2019-12-160.1.0.0MichaelSzvetits
numeric-extras320.05Useful tools from the C standard library (bsd3, library, math)2015-09-280.1EdwardKmett, EricMertens
numeric-ode40.00Ode solvers (bsd3, library, math, program)2017-07-220.0.0.0DominicSteinitz
numeric-optimization70.02Unified interface to various numerical optimization algorithms (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization)2023-06-210.1.1.0MasahiroSakai
numeric-optimization-ad50.00Wrapper of numeric-optimization package for using with AD package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
numeric-optimization-backprop50.00Wrapper of numeric-optimization package for using with backprop package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
numeric-prelude672.032An experimental alternative hierarchy of numeric type classes (bsd3, library, math)2022-05-280.4.4HenningThielemann
numeric-quest251.754Math and quantum mechanics (library, math)2018-02-150.2.0.2HenningThielemann
numeric-tools180.02Collection of numerical tools for integration, differentiation etc. (bsd3, library, math, numerical)2014-03-090.2.0.1AlexeyKhudyakov
numerical20.00core package for Numerical Haskell project (bsd2, library, math)2019-01-010.0.0.0CarterSchonwald
numericpeano160.03Peano numbers with attendant bells and whistles. (apache, library, math)2014-12-290.2.0.0jtapolczai, jtapolczai2
numhask1022.2524A numeric class hierarchy. (bsd3, library, math)2024-02-120.12.0.2tonyday567
numhask-space360.010Numerical spaces. (bsd3, library, math)2023-12-040.11.1.0tonyday567
numtype150.04Type-level (low cardinality) integers. (bsd3, library, math)2016-05-101.2BjornBuckwalter
numtype-dk570.04Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. (bsd3, library, math)2021-06-060.5.0.3BjornBuckwalter, dmcclean
numtype-tf180.03Type-level (low cardinality) integers, implemented using type families. (bsd3, library, math)2014-02-110.1.2BjornBuckwalter
nurbs130.01NURBS (bsd3, geometry, library, linear-algebra, math)2015-08-210.1.1.0AlexandrRuchkin
oeis360.07Interface to the Online Encyclopedia of Integer Sequences (OEIS) (bsd3, library, math)2020-01-240.3.10BrentYorgey, BrianLewis, niteria
oeis2150.00Interface for Online Encyclopedia of Integer Sequences (OEIS). (bsd3, library, math)2022-03-201.0.723prime
optimization100.01Numerical optimization (bsd3, library, math)2018-01-240.1.9BenGamari
padic20.00Fast, type-safe p-adic arithmetic (library, math, mit, number-theory)2022-02-030.1.0.0samsergey
pandoc-symreg90.00A tool to convert symbolic regression expressions into different formats. (gpl, library, math, program, text)2023-06-250.2.1.3olivetti
pareto40.01A library for cause-effect relationships. (bsd3, library, math)2016-10-190.2.0.0bwe
pareto-front40.00Monoids for dealing with Pareto efficiency (bsd3, library, math)2022-02-090.1.0.1quick_dudley
pava250.00Greatest convex majorants and least concave minorants (gpl, library, math, statistics)2022-07-100.1.1.4dschrempf
peano1340.011Peano numbers (bsd3, data, library, math)2023-10-230.1.0.2AndreasAbel
pell40.01Package to solve the Generalized Pell Equation. (algorithms, library, math, mit, number-theory)2019-11-120.1.3.0lbrunjes
periodic-polynomials310.00A library for working with periodic polynomials (very basic functionality) (library, math, mit)2020-06-260.2.0.0OleksandrZhabenko
permutation170.05A library for permutations and combinations. (bsd3, data-structures, library, math)2015-01-200.5.0.5PatrickPerry, spacekitteh
permutations (deprecated in favor of Fin)40.01Permutations of finite sets (bsd3, deprecated, library, math)2018-05-140.1.0.0
phladiprelio-general-datatype260.02Extended functionality of PhLADiPreLiO (language, library, math, mit, music, sound)2024-01-210.7.0.0OleksandrZhabenko
phladiprelio-general-shared190.01A shared by different general implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-01-300.1.2.0OleksandrZhabenko
phladiprelio-general-simple480.00A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms. (PhLADiPreLiO, language, library, math, mit, music)2024-01-300.14.2.0OleksandrZhabenko
phladiprelio-rhythmicity-shared40.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-shared50.01A shared by different Ukrainian implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2023-03-120.1.0.0OleksandrZhabenko
phladiprelio-ukrainian-simple630.00A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency. (PhLADiPreLiO, language, library, math, mit, music, program)2024-01-290.15.3.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)130.00Constraints to filter the needed permutations (deprecated, language, library, math, mit, phonetic-languages)2020-11-120.3.0.0OleksandrZhabenko
phonetic-languages-constraints300.02Constraints to filter the needed permutations (language, library, math, mit)2020-11-260.4.0.0OleksandrZhabenko
phonetic-languages-constraints-array680.05Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2024-01-270.8.0.0OleksandrZhabenko
phonetic-languages-examples220.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-permutations220.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-array480.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-basics780.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-plus190.03Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2023-02-020.7.1.0OleksandrZhabenko
phonetic-languages-rhythmicity530.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-base630.010A basics of the phonetic-languages functionality that can be groupped. (game, language, library, math, mit, phonetic-languages)2024-01-240.8.0.0OleksandrZhabenko
phonetic-languages-simplified-common280.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-array670.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-common250.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-array860.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-common270.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-array570.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-examples90.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-array610.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-common130.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-old20.00Some properties of the data related to rhythmicity. (game, language, library, math, mit)2022-05-310.1.0.0OleksandrZhabenko
phonetic-languages-simplified-properties-lists-double30.02A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-020.2.0.0OleksandrZhabenko
pig20.01dice game (bsd3, library, math, program)2018-04-060.0.1AndrewPennebaker
plot-gtk-ui90.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)60.01A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-170.0.1.9sumitsahrawat
poker-eval90.01Binding to libpoker-eval (library, math, public-domain)2013-03-080.3.1DavidHimmelstrup
polar330.01Complex numbers in polar form (bsd3, library, math)2014-09-100.0.1StefanKersten
poly442.05Polynomials (bsd3, library, math, numerical)2022-12-310.5.1.0Bodigrim
polynom (deprecated)30.01Polynomial types and operations (deprecated, library, math)2016-01-210.1.0.0
polynomial72.09Polynomials (library, math, numerical, public-domain)2017-06-140.7.3JamesCook
polynomial-algebra120.01Multivariate polynomial rings (bsd3, library, math)2022-03-240.1.0.1BalazsKomuves
polynomials-bernstein130.04A solver for systems of polynomial equations in bernstein form (library, math)2015-09-291.1.2JeanPhilippeBernardy, PierreEtienneMeunier
posit260.00Posit Numbers (bsd3, library, math, numeric)2023-12-082022.2.0.0nwaivio
prime120.00prime number tools (gpl, library, math)2021-01-180.1.1jlamothe
primecount90.00Bindings to the primecount library (bsd3, library, math, number-theory)2023-08-240.1.0.1pgujjula
primesieve170.00FFI bindings for the primesieve library. (algorithms, foreign, library, math, mit, number-theory, program)2017-09-080.1.0.1sighingnow
prob60.00Discrete probability monad (bsd3, library, math)2022-12-190.1.1ChrisSmith
probability680.04Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2023-02-150.2.8HenningThielemann
probable22.02Easy and reasonably efficient probabilistic programming and random generation (bsd3, library, math, statistics)2018-02-110.1.3AlpMestanogullari
product (deprecated)320.01Product category (bsd3, deprecated, library, math)2017-11-280.1.0.0
property (deprecated)90.02common properties (bsd3, deprecated, library, math, testing)2019-10-300.0.1cmk
pure-fft220.04Fast Fourier Transform (bsd3, library, math, numerical)2009-03-150.2.0MattMorrow
qd80.02double-double and quad-double number type via libqd (bsd3, library, math)2012-10-151.0.2.1ClaudeHeilandAllen
qd-vec40.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-simple20.01Simple bindings to Qhull, a library for computing convex hulls (bsd3, library, math)2013-07-040.1GardSpreemann
qlinear50.00Typesafe library for linear algebra (bsd3, library, math)2020-08-120.1.2.0JuniorGarbageCollector
quadratic-irrational380.01An implementation of quadratic irrationals (algorithms, data, library, math, mit)2020-04-150.1.1ion, Bodigrim
quantities170.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-quot520.01Divide without division (bsd3, library, math, numerical)2022-04-110.2.1.0Bodigrim
r-glpk-phonetic-languages-ukrainian-durations320.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)100.01Reverse Automatic Differentiation. (bsd3, deprecated, library, math)2012-05-080.1.6.3EdwardKmett
rampart532.250Determine how intervals relate to each other. (library, math, mit)2023-11-042.0.0.7fozworth
random-cycle70.00Uniform draws of partitions and cycle-partitions, with thinning. (gpl, graphs, library, math)2023-11-190.1.2.0brendanrbrown
random-extras430.06Additional functions for random values. (bsd3, data, library, math)2012-07-100.19AristidBreitkreuz
random-fu1020.044Random number generation (math, public-domain)2023-04-160.3.0.1BertramFelgenhauer, DominicSteinitz, JamesCook
random-fu-multivariate370.01Multivariate distributions for random-fu (bsd3, library, math)2019-07-210.1.2.1DominicSteinitz
random-hypergeometric20.01Random variate generation from hypergeometric distributions (library, math, mit)2015-03-300.1.0.0srijs
random-source (deprecated)350.023Generic basis for random number generators (deprecated, library, math, public-domain)2023-09-140.3.0.13BertramFelgenhauer, DominicSteinitz, JamesCook
range-space100.01A Range type with vector-space instances (bsd3, library, math)2015-08-280.1.2.0JohnLato
ratio-int270.02Fast specialisation of Data.Ratio for Int. (bsd3, library, math)2014-06-180.1.2RaphaelJavaux
rclient20.01Haskell client for Rserve (bsd3, library, math, network, statistics)2010-12-040.1.0.0TomDoris
reduce-equations40.00Simplify a set of equations by removing redundancies (bsd3, library, math, program)2016-11-120.1.1.0chriswarbo
reducers1810.011Semigroups, specialized containers and a general map/reduce framework (bsd3, data, library, math, numerical, semigroups)2021-11-013.12.4EdwardKmett, EricMertens, ryanglscott
regress30.01Linear and logistic regression through automatic differentiation (bsd3, library, math)2015-07-130.1.1AlpMestanogullari
regression-simple170.01Simple linear and quadratic regression (bsd3, library, math)2023-04-260.2.1phadej
reservoir20.01Unweighted reservoir sampling (bsd3, library, math)2018-07-290.2.0.0haym
resistor-cube160.01Compute total resistance of a cube of resistors (bsd3, math, program)2021-12-050.0.1.4HenningThielemann
rev-scientific90.02A library to provide special kind of big numbers writing. (data, library, math, mit)2023-06-220.2.1.0OleksandrZhabenko
rhythmic-sequences390.02Improved library to deal with rhythmicity of short sequences (data, library, math, mit)2023-10-010.4.1.0OleksandrZhabenko
rings270.02Ring-like objects. (bsd3, library, math, numerical)2020-03-090.1.3cmk
rivers20.01Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-040.1.0DrewDay
roots250.02Root-finding algorithms (1-dimensional) (library, math, numerical, public-domain)2012-09-090.1.1.2JamesCook
rounded240.02Correctly-rounded arbitrary-precision floating-point arithmetic (bsd3, library, math, numeric)2023-10-021.1.1ClaudeHeilandAllen
rounded-hw110.00Directed rounding for built-in floating types (bsd3, library, math, numeric)2023-11-180.4.0aratamizuki
rounding (deprecated)40.02Explicit floating point rounding mode wrappers (bsd3, deprecated, library, math)2010-06-130.3.0EdwardKmett
rsagl-math30.04The RogueStar Animation and Graphics Library: Mathematics (bsd3, library, math)2011-04-080.6.0.1ChristopherLaneHinson
ruff80.02relatively useful fractal functions (bsd3, library, math)2016-11-070.4.0.1ClaudeHeilandAllen
rvar1140.011Random Variables (library, math, public-domain)2023-04-160.3.0.2BertramFelgenhauer, DominicSteinitz, JamesCook
safe-decimal300.01Safe and very efficient arithmetic operations on fixed decimal point numbers (bsd3, library, math, numeric, numerical)2021-06-100.2.1.0lehins
safe-tensor170.00Dependently typed tensor algebra (library, math, mit)2021-02-270.2.1.1nalex
sampling290.02Sample values from collections. (library, math, mit)2020-07-310.3.5JaredTobin
sbv3852.7512SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2024-02-2110.5LeventErkok
sbvPlugin220.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-constants300.02Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-130.2.0.2cbou
science-constants-dimensional190.01Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-130.1.0.3cbou
sde-solver20.01Distributed SDE solver (bsd3, library, math, numerical)2012-12-180.1.0.0DavidNilsson
search132.01Infinite search in finite time with Hilbert's epsilon (bsd3, library, math, search, topology)2017-11-040.2EdwardKmett
semigroups4872.75905Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-11-160.20EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions20.01Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-200.1PetrPudlak
semilattices190.02Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-030.0.0.4robrix
semiring50.02Semirings, ring-like structures used for dynamic programming applications (bsd3, math, natural-language-processing)2010-03-080.3SashaRush
semiring-simple241.56A module for dealing with semirings. (bsd3, library, math)2016-03-281.0.0.1pharpend
semirings1772.018two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-070.6chessai
set-cover330.02Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2020-03-210.1.1HenningThielemann
sfmt40.01SIMD-oriented Fast Mersenne Twister(SFMT) binding. (bsd3, library, math, random)2015-04-140.1.1HirotomoMoriwaki
sgd330.09Stochastic gradient descent library (bsd3, library, math)2019-11-130.8.0.3JakubWaszczuk
shapes-math250.01faster vector/matrix math using unboxed numbers and Template Haskell (bsd3, library, math, program)2018-05-170.1.0.0ublubu
siggy-chardust230.02Rounding rationals to significant digits and decimal places. (data, library, math, mpl, numeric)2018-06-221.0.0philderbeast
sigma-ij50.00Thom polynomials of second order Thom-Boardman singularities (bsd3, library, math, program)2016-10-220.2.0.2BalazsKomuves
sign230.02Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-260.4.4MasahiroSakai
significant-figures70.00Calculate expressions involving significant figures. (chemistry, gpl, library, math, program)2022-10-130.2.0.0mizlan
simd30.01simple interface to GHC's SIMD instructions (bsd3, library, math)2014-05-190.1.0.1MikeIzbicki, chessai
simple-smt790.03A simple way to interact with an SMT solver process. (bsd3, library, math)2021-06-290.9.7IavorDiatchki
simple-vec3260.02Three-dimensional vectors of doubles with basic operations (bsd3, library, math, numerical)2020-06-040.6.0.1DmitryDzhus
simplex-basic (deprecated)140.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-presburger450.02Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2023-12-260.7.3.0HiromiIshii
singular-factory30.00Multivariate polynomial factorization via bindings to Singular-factory (library, math)2019-11-230.1BalazsKomuves
sloane300.01A command line interface to Sloane's OEIS. (bsd3, math, program)2017-07-035.0.1AndersClaesson
softfloat-hs20.01Haskell bindings for SoftFloat (bsd3, library, math)2018-08-210.1.0benselfridge, galoisinc
som32.01Self-Organising Maps (bsd3, library, math)2021-08-1810.1.11AmyDeBuitleir
sparse-lin-alg82.01Effective linear algebra on sparse matrices (bsd3, library, math)2013-03-230.4.3AlexeyAlekhin
sparse-tensor330.00typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-270.2.1.5nalex, TobiReinhart
spatial-math610.083d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2018-08-210.5.0.1GregHorn, peddie
spatial-rotations250.01Rotate about any suitable axis (gpl, library, math)2022-04-150.1.0.2leftaroundabout
spe180.01Combinatorial species lite (bsd3, library, math)2014-08-060.6.3AndersClaesson
species190.01Computational combinatorial species (bsd3, library, math)2018-04-100.4.0.1BrentYorgey
spectral-clustering180.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
spherical222.02Geometry on a sphere (bsd3, library, math)2020-09-120.1.3.0vmchale
spline350.01A parallel implementation of the Sorokina/Zeilfelder spline scheme. (agpl, math, program)2022-08-281.0.1MichaelOrlitzky
splines40.01B-Splines, other splines, and NURBS. (graphics, library, math, numerical, public-domain)2013-05-280.5.0.1JamesCook
splitmix-distributions442.01Random samplers for some common distributions, based on splitmix. (bsd3, library, math)2022-05-051.0.0ocramz
spsa50.01Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (library, math, mit, optimization)2014-01-200.2.0.0yanatan16
squares272.00The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2023-07-150.2.1SjoerdVisscher
srtree230.01A general framework to work with Symbolic Regression expression trees. (bsd3, data, data-structures, library, math)2023-06-251.0.0.5olivetti
stable-maps100.03Heterogeneous maps keyed by StableNames (bsd3, library, math)2014-03-130.0.5EdwardKmett
staf130.01Numerical statistics for Foldable containers (library, math)2017-01-281.0.0lovasko
statistics4002.2564A library of statistical types, data, and functions (bsd2, library, math, statistics)2023-09-210.16.2.1AlexeyKhudyakov, BryanOSullivan
statistics-dirichlet70.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)60.01An implementation of high performance, minimal statistics functions (bsd3, deprecated, library, math)2010-02-201.0.1DonaldStewart
statistics-hypergeometric-genvar20.01Random variate generation from hypergeometric distributions (library, math, mit, statistics)2015-03-260.1.0.0srijs
statistics-linreg1332.02Linear regression between two samples, based on the 'statistics' package. (library, math, mit, statistics)2014-08-220.3AlpMestanogullari
statistics-skinny70.00A library of statistical types, data, and functions (bsd2, library, math, statistics)2021-01-110.15.2.0vmchale
stats30.01command line statistics (gpl, math, program)2013-12-050.1.1cheecheeo
stern-brocot (deprecated)20.00Positive rational numbers represented as paths in the Stern-Brocot tree (bsd3, deprecated, library, math, numeric)2019-03-280.1.0.0
stochastic60.01Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-270.1.1.1chokboy
stp40.00Simple Theorem Prover (bsd3, library, math, program)2018-11-210.1.0.1bor0
sum-pyramid60.00Create Sum Pyramid (Additionstreppe) exercises (bsd3, math, program)2024-01-120.0HenningThielemann
svm-light-utils60.01Parsers and formatters for the SVMlight input file format (bsd3, library, math)2016-04-130.1.4BenGamari
sym270.02Permutations, patterns, and statistics (bsd3, library, math)2017-11-200.13.0AndersClaesson
sym-plot60.01Plot permutations; an addition to the sym package (bsd3, library, math)2017-06-100.3.0AndersClaesson
symengine100.01SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-100.1.2.0bollu
symengine-hs50.00SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-050.1.1.0bollu
tau330.02Tau, the ratio between any circle's circumference and radius. (bsd3, library, math)2013-06-286.2831BrentYorgey
tensor90.01A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-190.3.0.1NicolaSquartini
terntup32.01a ternary library (bsd3, library, math)2016-01-160.0.1mcandre
th-cas200.01Compile-time CAS(Computer Algebra System) (library, math, mit, numeric)2015-11-160.1.0junjihashimoto
theta-functions310.01Theta-functions implemented as trigonometric series (library, math, public-domain)2012-06-211.0.1MarkSafronov
tikzsd250.00A program for generating LaTeX code of string diagrams. (library, math, mit, program)2021-05-041.0.0anthonyywang
tilings90.01substitution tilings (bsd3, library, math)2011-05-250.1ClaudeHeilandAllen
tropical40.01A library for tropical mathematics. (bsd3, library, math)2014-07-130.0.0.2pharpend
turing-machines40.01A simple simulator for Turing machines (library, math, mit)2016-07-240.1.0.1jariazavalverde
turingMachine40.01An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-151.0.0.0sanjorgek
type-natural862.07Type-level natural and proofs of their properties. (bsd3, library, math)2023-12-271.3.0.1HiromiIshii
type-settheory70.01Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-030.1.3.1DanielSchuessler
uncertain290.01Manipulating numbers with inherent experimental/measurement uncertainty (bsd3, library, math)2016-05-220.3.1.0jle
uniqueness-periods-vector220.03Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. (game, language, library, math, mit, uniqueness)2020-10-140.3.1.1OleksandrZhabenko
uniqueness-periods-vector-common130.03Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-140.5.1.1OleksandrZhabenko
uniqueness-periods-vector-examples470.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-filters120.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-general350.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-properties290.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-stats250.03A very basic descriptive statistics. (data, library, math, mit)2023-01-240.4.0.0OleksandrZhabenko
units442.55A domain-specific type system for dimensional analysis (bsd3, library, math)2022-01-062.4.1.5RichardEisenberg
unittyped30.01An extendable library for type-safe computations including units. (lgpl, library, math, physics)2012-11-260.1ThijsAlkemade
variable-precision (deprecated in favor of rounded)70.01variable-precision floating point (bsd3, deprecated, library, math)2013-02-180.4ClaudeHeilandAllen
vect372.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)90.01Accelerate instances for vect-floating types (bsd3, deprecated, library, math)2014-09-250.1.0.4cdurham
vect-opengl30.02OpenGL support for the `vect' low-dimensional linear algebra library. (bsd3, graphics, library, math)2014-03-190.4.6.1BalazsKomuves
vector-fftw280.05A binding to the fftw library for one-dimensional vectors. (bsd3, library, math)2020-09-010.1.4.0BenGamari, JudahJacobson
vector-space1402.5107Vector & affine spaces, linear maps, and derivatives (bsd3, math)2019-01-220.16ConalElliott
vector-space-map60.01vector-space operations for finite maps using Data.Map (library, math, mit)2018-10-160.2.1.1ChristianConkle
vector-space-opengl30.01Instances of vector-space classes for OpenGL types (bsd3, graphics, library, math)2013-09-300.2AdamFoltzer
vector-space-points (deprecated in favor of linear)130.010A type for points, as distinct from vectors. (bsd3, deprecated, library, math)2016-05-210.2.1.2BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
vertexenum90.01Vertex enumeration (geometry, gpl, library, math)2023-11-200.1.1.0stla
vowpal-utils40.01Vowpal Wabbit utilities (bsd3, library, math)2012-02-210.1.2CarterSchonwald
weierstrass-functions120.00Weierstrass Elliptic Functions (bsd3, library, math, numeric)2023-10-190.1.6.0stla
wigner-symbols230.01CG coefficients and Wigner symbols. (library, math, mit)2015-10-021.0.0Rufflewind
word (deprecated)161.252Words of arbitrary size (bsd3, data, deprecated, library, math, numeric)2018-05-140.1.0.1
wuerfelschlange20.00Code for the dice chain problem (bsd3, math)2021-12-050.1HenningThielemann
xorshift210.01Haskell implementation of the xorshift random generator. (library, math)2011-04-112.0.1RobertClausecker
xorshift-plus20.00Simple implementation of xorshift+ PRNG (bsd3, library, math)2019-01-280.1.0.0syocy
yhseq50.00Calculation of YH sequence system (apache, library, math, program)2020-08-280.3.0.1Hexirp
yices120.04Haskell programming interface to Yices SMT solver (bsd3, library, math)2012-02-070.0.0.12KiYungAhn
yices-easy30.01Simple interface to the Yices SMT (SAT modulo theories) solver. (algorithms, bsd3, library, math, theorem-provers)2010-09-290.1KeeganMcAllister
yices-painless50.01An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)2011-01-170.1.2DonaldStewart
z3482.256Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2020-08-29408.2IagoAbal