Packages tagged math

592 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (567), bsd3 (413), program (71), data (67), mit (56), numerical (47), gpl (45), deprecated (39), statistics (30), algebra (26), graphics (23), numeric (18), algorithms (17), public-domain (17), lgpl (16), number-theory (8), physics (8), theorem-provers (8), bsd2 (7), data-structures (6), formal-methods (6), smt (6), apache (5), system (5), bit-vectors (4), ffi (4), game (4), geometry (4), language (4), symbolic-computation (4), foreign (3), logic (3), mpl (3), natural-language-processing (3), type-system (3), agpl (2), chemistry (2), clustering (2), console (2), control (2), csv (2), dependent-types (2), json (2), linear-algebra (2), mathematics (2), maths (2), optimisation (2), optimization (2), parallelism (2), parsing (2), science (2), singletons (2), testing (2), tools (2), adjunctions (1), ats (1), codec (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
AC-Angle310.0Angles in degrees and radians. (bsd3, data, library, math, numerical)2010-07-23AndrewCoppin
AC-Boolean740.0Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-09AndrewCoppin
AC-Colour1900.0Efficient RGB colour types. (bsd3, data, graphics, library, math, numerical)2014-01-12AndrewCoppin
AC-HalfInteger780.0Efficient half-integer type. (bsd3, data, library, math, numerical)2009-08-12AndrewCoppin
AC-Terminal490.0Trivial wrapper over ansi-terminal. (bsd3, data, library, math, numerical)2010-10-28AndrewCoppin
AC-Vector3420.0Efficient geometric vectors and transformations. (bsd3, data, graphics, library, math, numerical)2011-08-12AndrewCoppin
AC-Vector-Fancy1870.0Fancy type-system stuff for AC-Vector (bsd3, data, graphics, library, math, numerical)2010-08-15AndrewCoppin
AERN-Basics (deprecated in favor of aern2-mp, aern2-real)750.0foundational type classes for approximating exact real numbers (bsd3, data, deprecated, library, math, program)2011-05-11MichalKonecny
AERN-Net (deprecated in favor of aern2-mp, aern2-real)1250.0Compositional lazy dataflow networks for exact real number computation (bsd3, deprecated, distributed-computing, library, math)2009-07-29MichalKonecny
AERN-Real (deprecated in favor of aern2-mp, aern2-real)6680.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-11MichalKonecny
AERN-Real-Double (deprecated in favor of aern2-mp, aern2-real)910.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math, program)2011-05-11MichalKonecny
AERN-Real-Interval (deprecated in favor of aern2-mp, aern2-real)640.0arbitrary precision real interval arithmetic (bsd3, data, deprecated, library, math)2011-05-11MichalKonecny
AERN-RnToRm (deprecated)3870.0polynomial function enclosures (PFEs) approximating exact real functions (bsd3, data, deprecated, library, math)2009-07-29MichalKonecny
AERN-RnToRm-Plot (deprecated)1960.0GL plotting of polynomial function enclosures (PFEs) (bsd3, data, deprecated, library, math)2009-08-01MichalKonecny
ApproxFun-hs310.0Function approximation (bsd3, library, math)2015-04-26DominicSteinitz
Baggins360.0Tools for self-assembly (gpl, library, math)2014-06-12pmeunier
BerlekampAlgorithm290.0Factorization of polynomials over finite field (bsd3, library, math)2013-06-10AbdelwahebMiled
Cartesian1740.0Coordinate systems (library, math, mit)2016-10-10SwiftsNamesake
ContextAlgebra1060.0Implementation of the context algebra. (bsd3, math, program)2016-08-24jhahn
DP790.0Pragmatic framework for dynamic programming (algorithms, bsd3, library, math, natural-language-processing)2010-03-08SashaRush
Data-Angle370.0Geometric angles (bsd3, data, library, math)2017-03-26deadmanswitch
Decimal4560.0Decimal numbers with variable precision (bsd3, library, math)2018-01-03PaulJohnson
DifferenceLogic900.0A theory solver for conjunctions of literals in difference logic (bsd3, library, math)2014-11-05dillonhuff
Dist2020.0A Haskell library for probability distributions (library, math, mit)2019-06-16wyager
DistanceTransform480.0Distance transform function. (bsd3, library, math)2013-02-16AnthonyCowley
Eq (deprecated)2220.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
EqualitySolver620.0A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality (bsd3, library, math)2014-11-02dillonhuff
FirstOrderTheory540.0Grammar and typeclass for first order theories (bsd3, library, math)2014-11-05dillonhuff
GaussQuadIntegration310.0Non-adaptive Gaussian quadrature for numeric integraton (bsd3, library, math)2011-09-15GrigorySarnitsky
GeomPredicates370.0Geometric predicates (bsd3, library, math)2010-06-27NealAlexander
GeomPredicates-SSE580.0Geometric predicates (Intel SSE) (bsd3, library, math)2010-06-27NealAlexander
HABQT420.0Hierarchical adaptive Bayesian quantum tomography for quantum bits (bsd3, library, math, program, quantum)2018-07-01LeonidBelinsky
HERA300.0 (bsd3, library, math)2008-12-05LukePalmer
HROOT6870.0Haskell binding to the ROOT data analysis framework (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-core970.0Haskell binding to ROOT Core modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-graf950.0Haskell binding to ROOT Graf modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-hist860.0Haskell binding to ROOT Hist modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-io1120.0Haskell binding to ROOT IO modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-math910.0Haskell binding to ROOT Math modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HROOT-tree500.0Haskell binding to ROOT Tree modules (graphics, lgpl, library, math, numerical, statistics)2017-02-01IanWooKim
HasBigDecimal420.0A library for arbitrary precision decimal numbers. (apache, library, math)2018-05-20thma
HaskellForMaths9940.0Combinatorics, group theory, commutative algebra, non-commutative algebra (bsd3, library, math)2018-12-15DavidAmos
HaskellLM1250.0Pure Haskell implementation of the Levenberg-Marquardt algorithm (library, math)2012-02-29KietLam
HerbiePlugin740.0automatically improve your code's numeric stability (bsd3, library, math)2015-09-28MikeIzbicki
Homology760.0Compute the homology of a chain complex (library, math)2012-06-24DamekDavis
HsASA840.0A haskell interface to Lester Ingber's adaptive simulating annealing code (bsd3, library, math)2012-01-27DonaldStewart, MalcolmWallace
Kalman (deprecated in favor of kalman)590.0A slightly extended Kalman filter (bsd3, deprecated, library, math)2015-04-05DominicSteinitz
LargeCardinalHierarchy920.0A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-07Stephen_E_A_Britton
Lattices1070.0A library for lattices (library, math)2018-09-21BartCoppens
Logic380.0Logic (library, math, mit)2014-12-29gogotanaka
MeanShift450.0Mean shift algorithm (bsd3, library, math)2012-04-30VilleTirronen
Modulo890.0Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-08NikolayMurzin
Monocle1380.0Symbolic computations in strict monoidal categories with LaTeX output. (bsd3, library, math)2009-12-17OsmanBineev
NTRU1480.0NTRU Cryptography (cryptography, library, math)2020-01-27mikewest, Bodigrim
Naperian660.0Naperian Functors for APL-like programming (library, math)2019-03-28DominicSteinitz
NaperianNetCDF750.0Instances of NcStore for hypercuboids (bsd3, library, math, program)2019-04-18DominicSteinitz
NearContextAlgebra940.0Context Algebra of near (bsd3, math, program)2015-10-25jhahn
Noise2450.0A Haskell coherent noise generator based on libnoise (bsd3, graphics, library, math, noise)2013-02-25HugoGomes
NumberSieves980.0Number Theoretic Sieves: primes, factorization, and Euler's Totient (bsd3, library, math)2012-08-21LeonSmith
NumberTheory730.0A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-17cfredric
Operads2270.0Groebner basis computation for Operads. (bsd3, library, math)2009-08-14MikaelVejdemoJohansson
Ordinals590.0Ordinal arithmetic (bsd3, library, math)2010-07-09KiYungAhn
Paillier930.0a simple Paillier cryptosystem (bsd3, library, math)2013-12-11onemouth
ParserFunction (deprecated in favor of attoparsec)2120.0Parse and evaluate mathematical expressions. (bsd3, deprecated, library, math, parsing)2014-05-14EnzoHaussecker
Persistence3360.0A versatile library for topological data analysis. (bsd3, data, library, math)2019-08-19Ebanflo
ProxN490.0Proximity sets in N dimensions (bsd3, library, math)2012-01-28AndrasSlemmer
RANSAC1280.0The RANSAC algorithm for parameter estimation. (bsd3, library, math, numerical)2015-11-19AnthonyCowley
SG310.0Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2009-03-17NeilBrown
SGplus370.0(updated) Small geometry library for dealing with vectors and collision detection (bsd3, data, library, math)2016-09-01donomii
Smooth270.0A tiny, lazy SMT solver (bsd3, library, math)2014-11-05dillonhuff
TeX-my-math1440.0Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math, program)2019-07-11leftaroundabout
Vec3530.0Fixed-length lists and low-dimensional linear algebra. (bsd3, data, library, math)2014-08-06ScottDillard
Vec-Boolean2070.0Provides Boolean instances for the Vec package (bsd3, data, library, math)2012-08-05TobiasBexelius
Vec-OpenGLRaw720.0Instances and functions to interoperate Vec and OpenGL. (bsd3, graphics, library, math)2010-06-28ChristopherLaneHinson
Vec-Transform2520.0This package is obsolete (bsd3, graphics, library, math)2012-08-05TobiasBexelius
WeberLogic860.0Logic interpreter (bsd3, library, math, program)2014-03-17cameronbwhite
Xorshift128Plus560.0Pure haskell implementation of xorshift128plus random number generator. (library, math, public-domain)2015-04-14hkanai
ZEBEDDE (deprecated)360.0Polymer growth simulation method (bsd3, deprecated, library, math)2015-07-29hackrilege
accelerate-arithmetic1890.0Linear algebra and interpolation using the Accelerate framework (bsd3, library, math)2018-03-17HenningThielemann
accelerate-blas900.0Numeric Linear Algebra in Accelerate (bsd3, library, math)2019-04-30TrevorMcDonell
accelerate-cublas560.0Basic Linear Algebra using native CUBLAS library (bsd3, library, math, program)2017-04-23HenningThielemann
accelerate-cufft1040.0Accelerate frontend to the CUFFT library (Fourier transform) (bsd3, library, math)2017-12-15HenningThielemann
accelerate-fftw1040.0Accelerate frontend to the FFTW library (Fourier transform) (bsd3, library, math)2018-03-17HenningThielemann
accelerate-fourier2100.0Fast Fourier transform and convolution using the Accelerate framework (bsd3, library, math)2018-03-17HenningThielemann
accelerate-fourier-benchmark880.0Compare different implementations of the Fast Fourier Transform (bsd3, math, program)2017-04-23HenningThielemann
accelerate-typelits432.0a typesafe way encode accelerate matrices and vectors (library, math)2016-05-17epsilonhalbe
acts1100.0Semigroup actions and torsors. (algebra, bsd3, library, math)2020-02-23sheaf
ad37712.5Automatic Differentiation (bsd3, library, math)2020-02-03EdwardKmett, EricMertens, ryanglscott
adjunction510.0See README for more info (adjunctions, bsd3, library, math)2020-02-01MatthewFarkasDyck
aern2-mp1940.0Multi-precision ball (interval) arithmetic (bsd3, library, math)2019-03-19MichalKonecny
aern2-real1960.0Exact real numbers via Cauchy sequences and MPFR (bsd3, library, math, program)2019-03-19MichalKonecny
affine480.0Affine spaces (generalized) (bsd3, library, math)2018-05-17MatthewFarkasDyck
alg7800.0Algebraic structures (bsd3, library, math)2019-12-24MatthewFarkasDyck
algebra10330.0Constructive abstract algebra (algebra, bsd3, library, math)2017-12-25EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic770.0General linear algebra structures. (algebra, bsd3, library, math)2014-06-17danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-classes5130.0Conversions between algebraic classes and F-algebras. (bsd3, data, generics, library, math)2020-01-06SjoerdVisscher
antimirov440.0Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-30RickKaudewitz
apportionment1821.25Round a set of numbers while maintaining its sum (bsd3, library, math)2018-08-31HenningThielemann
arb-fft1700.0Pure Haskell arbitrary length FFT library (bsd3, library, math, program)2016-04-24IanRoss
arithmatic1230.0do things with numbers (bsd3, library, math)2017-01-26AlanHawkins
arithmoi10922.0Efficient basic number-theoretic functions. (algorithms, library, math, mit, number-theory)2019-10-20CarterSchonwald, DanielFischer, HerbertValerioRiedel, Bodigrim
arrayfire2460.0Haskell bindings to the ArrayFire general-purpose GPU library (bsd3, library, math, program)2019-11-15DavidJohnson
automata300.0automata (bsd3, data, library, math)2019-01-22chessai
backprop6792.25Heterogeneous automatic differentation (bsd3, library, math)2019-08-13jle
battleship-combinatorics1270.0Compute number of possible arrangements in the battleship game (bsd3, library, math, program)2018-08-31HenningThielemann
bayes-stack210.0Framework for inferring generative probabilistic models with Gibbs sampling (bsd3, library, math)2012-10-27BenGamari
bed-and-breakfast5100.0Efficient Matrix and Vector operations in 100% Haskell. (library, linear-algebra, math, mit, numeric)2018-10-22JulianFleischer
besout1120.0Extended GCD of polynomials over F_p[x] (bsd3, library, math)2014-06-21AbdelwahebMiled
bin530.0Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2019-12-13phadej
bindings-mpdecimal (deprecated in favor of deka)990.0bindings to mpdecimal library (bsd3, deprecated, library, math)2014-01-20OmariNorman
bindings-saga-cmd710.0Wrapping saga_cmd (gpl, library, math, program)2015-06-16michelk
bins1130.0Aggregate continuous values into discrete bins (bsd3, library, math)2019-10-04jle
blas (deprecated in favor of hblas)1440.0Bindings to the BLAS library (bsd3, deprecated, library, math)2009-01-14CarterSchonwald
blas-carray1420.0Auto-generated interface to Fortran BLAS via CArrays (bsd3, library, math)2019-01-24HenningThielemann
blas-comfort-array920.0Auto-generated interface to Fortran BLAS via comfort-array (bsd3, library, math)2019-05-24HenningThielemann
blas-ffi1950.0Auto-generated interface to Fortran BLAS (bsd3, library, math)2018-12-20HenningThielemann
blas-hs790.0Low-level Haskell bindings to Blas. (library, math, mit)2014-12-27Rufflewind
boltzmann-brain1010.0Analytic sampler compiler for combinatorial systems. (bsd3, library, math, program)2019-12-09mbendkowski
boolector4140.0Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2020-02-08DeianStefan
boolsimplifier1820.0Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-15GershomBazerman
braid410.0Types and functions to work with braids and Khovanov homology. (bsd3, library, math, program)2016-01-18saltza
buffon590.0An implementation of Buffon machines. (bsd2, library, math)2018-03-26DerekElkins
buffon-machines1520.0Perfect simulation of discrete random variables (bsd3, library, math)2019-09-16mbendkowski
burst-detection250.0Burst detection algorithms (gpl, library, math)2013-11-08AlexanderVershilov
ca550.0Cellular Automata (bsd3, library, math)2018-04-22MatthewFarkasDyck
caffegraph1062.0 (bsd3, library, math)2015-02-17ajtulloch
cal-layout610.0Calendar Layout Algorithm (bsd3, library, math, program)2019-01-03bor0
calculator5702.0A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-10sumitsahrawat
caldims460.0Calculation tool and library supporting units (library, math, program)2008-11-05RickKaudewitz
calendar-recycling1120.0List years with the same calendars (bsd3, math, program)2018-08-31HenningThielemann
canon3060.0Arithmetic for Psychedelically Large Numbers (library, math, mit)2019-09-03grandpascorpion
casadi-bindings11800.0mid-level bindings to CasADi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-control (deprecated in favor of casadi-bindings-core)400.0low level bindings to casadi-control (deprecated, lgpl, library, math, numerical)2014-08-21GregHorn
casadi-bindings-core5910.0autogenerated low level bindings to casadi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-internal3050.0low level bindings to CasADi (lgpl, library, math, numerical)2018-12-15GregHorn
casadi-bindings-ipopt-interface (deprecated in favor of casadi-bindings-core)690.0low level bindings to casadi-ipopt_interface (deprecated, lgpl, library, math, numerical)2014-05-27GregHorn
casadi-bindings-snopt-interface (deprecated in favor of casadi-bindings-core)640.0low level bindings to casadi-snopt_interface (deprecated, lgpl, library, math, numerical)2014-05-27GregHorn
cash780.0the Computer Algebra SHell (bsd3, computer-algebra, library, math)2012-03-26ChrisBrown
casui370.0Equation Manipulator (math, mit, program)2011-06-04EtienneLaurin
category3620.0Categorical types and classes (bsd3, control, library, math)2019-12-24MatthewFarkasDyck
category-traced901.25Traced monoidal categories (bsd3, library, math)2016-02-24MatthewFarkasDyck
cayley-dickson2470.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cf1742.25Exact real arithmetic using continued fractions (library, math, mit)2015-09-03mvr
checksum500.0Compute and verify checksums of ISBN, IBAN, etc. (bsd3, library, math)2018-04-16HenningThielemann
cl31782.0Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2018-10-19nwaivio
cl3-hmatrix-interface670.0Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2018-06-22nwaivio
cl3-linear-interface780.0Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2018-06-22nwaivio
clac1300.0Simple CLI RPN calculator (gpl, math, program)2015-03-18alexander
clif620.0A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-10maaleske
clifford3890.0A Clifford algebra library (bsd3, library, math, numerical, program)2014-03-29spacekitteh
closure330.0Depth- and breadth-first set closures (library, math, mit)2013-10-21JosephAbrahamson
clumpiness1250.0Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2019-01-21GregorySchwartz
clustering2722.0High performance clustering algorithms (library, math, mit)2019-01-08kaizhang
cmath1040.0A binding to the standard C math library (bsd3, library, math)2008-03-15DonaldStewart
coincident-root-loci382.0Equivariant CSM classes of coincident root loci (bsd3, library, math)2017-04-12BalazsKomuves
combinat7092.0Generate and manipulate various combinatorial objects. (bsd3, library, math)2018-10-29BalazsKomuves
combinat-compat450.0Generate and manipulate various combinatorial objects. (bsd3, library, math)2018-04-03vmchale
combinat-diagrams630.0Graphical representations for various combinatorial objects (bsd3, library, math)2015-10-30BalazsKomuves
combinatorial1730.0Count, enumerate, rank and unrank combinatorial objects (bsd3, library, math, statistics)2018-08-31HenningThielemann
combinatorics (deprecated in favor of exact-combinatorics)350.0Efficient computation of common combinatoric functions. (bsd3, deprecated, library, math, statistics)2012-01-29WrenThornton
complex-generic830.0complex numbers with non-mandatory RealFloat (bsd3, library, math)2017-04-03ClaudeHeilandAllen
complex-integrate770.0A simple integration function to integrate a complex-valued complex functions (library, math, public-domain)2012-01-21MarkSafronov
computational-algebra5852.25Well-kinded computational algebra library, currently supporting Groebner basis. (bsd3, library, math)2017-12-07HiromiIshii
computational-geometry1470.0Collection of algorithms in Computational Geometry. (bsd3, graphics, library, math)2017-10-13MaksymilianOwsianny
conjugateGradient2580.0Sparse matrix linear-equation solver (bsd3, library, math)2013-04-20LeventErkok
connections1930.0Partial orders, Galois connections, and lattices. (bsd3, library, math, numerical)2020-02-18cmk
constructible1190.0Exact computation with constructible real numbers (bsd3, library, math)2020-02-09AndersKaseorg
constructive-algebra3040.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
continued-fraction3772.0Types and functions for working with continued fractions in Haskell (bsd3, library, math)2018-08-18vmchale
continued-fractions2160.0Continued fractions. (library, math, numerical, public-domain)2019-01-29JamesCook, rockbmb
converge630.0Limit operations for converging sequences (library, math, numerical, public-domain)2011-08-15JamesCook
coya250.0Coya monoids (bsd3, data, library, math)2019-04-11chessai
cplex-hs1392.0high-level CPLEX interface (bsd3, library, math)2016-11-05stefanjhlk
crf-chain11790.0First-order, linear-chain conditional random fields (bsd3, library, math)2019-11-30JakubWaszczuk
crf-chain1-constrained2790.0First-order, constrained, linear-chain conditional random fields (bsd3, library, math)2018-10-30JakubWaszczuk
crf-chain2-generic800.0Second-order, generic, constrained, linear conditional random fields (bsd3, library, math)2013-01-09JakubWaszczuk
cubicspline832.0Natural cubic spline interpolation. (algorithms, bsd3, library, math)2015-10-18GershomBazerman
curve255191130.0Fast implementations of the curve25519 elliptic curve primitives. (bsd3, library, math)2017-03-02AdamWick
cyclotomic3880.0A subfield of the complex numbers for exact calculation. (gpl, library, math)2020-01-11ScottWalck
data-category5620.0Category theory (bsd3, library, math)2017-09-18SjoerdVisscher
data-interval4140.0Interval datatype, interval arithmetic and interval-based containers (bsd3, data, library, math)2019-10-22MasahiroSakai, Bodigrim
data-nat850.0data Nat = Zero | Succ Nat (bsd3, data, library, math)2012-09-23GaborLehel
dde1202.0Delay differential equations (bsd3, library, math, program)2018-07-08penkovsky
decimal-literals780.0Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2019-02-20leftaroundabout
declarative3040.0DIY Markov Chains. (library, math, mit)2018-03-14JaredTobin
deeplearning-hs940.0Deep Learning in Haskell (library, math, mit, program)2014-05-05ajtulloch
deka2260.0Decimal floating point arithmetic (bsd3, library, math)2014-07-16OmariNorman
deka-tests430.0Tests for deka, decimal floating point arithmetic (bsd3, library, math, program)2014-07-16OmariNorman
dense-linear-algebra2000.0Simple and incomplete pure haskell implementation of linear algebra (bsd2, library, math, numeric, statistics)2018-10-11AlexeyKhudyakov
derivation-trees1100.0Typeset Derivation Trees via MetaPost (graphics, library, math)2010-11-18JeanPhilippeBernardy
detour-via-sci640.0JSON and CSV encoding for rationals as decimal point numbers. (csv, data, json, library, math, mpl, numeric)2018-06-22philderbeast
detour-via-uom350.0JSON and CSV encoding for quantities. (csv, data, json, library, math, mpl, numeric, physics)2018-06-22philderbeast
dfrac1330.0A package for precise decimal arithmatic using rationals. (library, math, mit)2014-08-15georgerogers42
diagrams-solve2090.0Pure Haskell solver routines used by diagrams (bsd3, library, math)2017-07-03BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
digamma (deprecated in favor of math-functions)770.0A (deprecated) implementation of the digamma function (bsd3, deprecated, library, math)2016-04-13BenGamari
dimensional9012.5Statically checked physical dimensions, using Type Families and Data Kinds. (bsd3, library, math, physics)2018-12-28BjornBuckwalter, dmcclean
dimensional-tf (deprecated in favor of dimensional)2920.0Statically checked physical dimensions, implemented using type families. (bsd3, deprecated, library, math, physics)2016-12-07BjornBuckwalter
dimensions2460.0Safe type-level dimensionality for multidimensional data. (bsd3, geometry, library, math)2019-09-30achirkin
diophantine790.0A quadratic diophantine equation solving library. (gpl, library, math)2014-11-24joejev
directed-cubical1240.0Finite directed cubical complexes and associated algorithms (bsd3, library, math)2014-06-08mmisamore
distribution1612.0Finite discrete probability distributions. (apache, library, math)2017-06-29RomainEdelmann
distribution-plot380.0Easily plot distributions from the distribution package.. (apache, library, math)2014-08-04RomainEdelmann
dozenal350.0A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-11siddhanathan
dsp4222.0Haskell Digital Signal Processing (library, math, sound)2019-06-04HenningThielemann
dual2320.0Dual category (bsd3, library, math)2020-01-20MatthewFarkasDyck
dumb-cas1410.0A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)2019-02-12leftaroundabout
dvda (deprecated in favor of dynobud)3080.0Efficient automatic differentiation and code generation (bsd3, deprecated, library, math, numerical)2014-04-05GregHorn
dyckword1560.0A library for working with binary Dyck words. (bsd3, library, math)2017-05-01arbelos
ease550.0Robert Penner's easing equations (bsd3, game, library, math)2018-06-07fresheyeball
easyplot540.0A tiny plotting library, utilizes gnuplot for plotting. (graphics, library, math, mit, plotting)2013-03-26JulianFleischer
easytensor3860.0Pure, type-indexed haskell vector, matrix, and tensor library. (bsd3, geometry, library, math)2019-09-30achirkin
easytensor-vulkan2030.0Use easytensor with vulkan-api. (bsd3, geometry, graphics, library, math, opengl, vulkan)2019-09-30achirkin
egyptian-fractions570.0Egyptian fractions in Haskell (bsd3, library, math)2018-06-25vmchale
eigen5291.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-11OlegSidorkin, chessai
elbow790.0Find the elbow point. (gpl, library, math)2020-02-20GregorySchwartz
emd3690.0Empirical Mode Decomposition and Hilbert-Huang Transform (bsd3, library, math)2019-10-31jle
equational-reasoning8171.5Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2020-01-25HiromiIshii
equational-reasoning-induction340.0Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math)2019-02-08HiromiIshii
erf3320.0The error function, erf, and related functions. (bsd3, library, math)2011-05-26LennartAugustsson
erf-native340.0Native Haskell implementation of the interface from the erf package (library, math)2012-01-03JamesCook
estimator1530.0State-space estimation algorithms such as Kalman Filters (bsd3, library, math, numerical, statistics)2016-07-19AdamFoltzer, JameySharp
euler2800.0Mathematics utilities for Haskell (library, math, mit)2015-04-16decomputed
exact-combinatorics1820.0Efficient exact computation of combinatoric functions. (bsd3, library, math, statistics)2019-04-13WrenThornton, WrenRomano
exact-cover470.0Efficient exact cover solver. (algorithms, bsd3, library, math)2017-04-22arthur
exact-real5572.0Exact real arithmetic (library, math, mit)2017-01-16jophish
exact-real-positional430.0Framework for Exact Real Arithmetic in the Positional Number System (bsd3, library, math)2017-07-20grlks
exp-pairs3920.0Linear programming over exponent pairs (gpl, library, math)2018-09-30Bodigrim
explicit-determinant300.0explicit computation of determinant of small matrices (gpl, library, math)2014-07-03JohannesWaldmann
expressions4531.5Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-30jakubdaniel
expressions-z32930.0Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2019-04-30jakubdaniel
extended-categories340.0Extended Categories (bsd3, library, math)2014-11-23ian_mi
extended-reals2190.0Extension of real numbers with positive/negative infinities (bsd3, library, math)2018-02-13MasahiroSakai
factory7930.0Rational arithmetic in an irrational world. (library, math, number-theory, program)2019-06-01AlistairWard, LennartAugustsson
fad680.0Forward Automatic Differentiation. (bsd3, library, math)2012-12-22BjornBuckwalter
fadno-braids1900.0Braid representations in Haskell (algebra, bsd2, data, library, math)2020-01-19spopejoy
fast-arithmetic18992.0Fast functions on integers. (algorithms, ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics)2019-10-12vmchale
fast-math1730.0Non IEEE-754 compliant compile-time floating-point optimisations (bsd3, library, math, numeric)2015-08-01LiyangHu, MikeIzbicki
fft6010.0Bindings to the FFTW library. (bsd3, library, math)2017-06-16HenningThielemann, JedBrown
fftwRaw1520.0Low level bindings to FFTW. (bsd3, library, math)2018-09-04adamwalker
fib570.0fibonacci algebra (bsd3, library, math)2019-03-02chessai
fin2032.0Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2019-12-13phadej
find-clumpiness2330.0Find the clumpiness of labels in a tree (gpl, library, math, program)2019-01-21GregorySchwartz
finite-field1940.0Finite Fields (algebra, bsd3, data, library, math)2016-10-02MasahiroSakai
fixed-point (deprecated)2130.0Binary fixed-point arithmetic (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector (deprecated)820.0Unbox instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-point-vector-space (deprecated)800.0vector-space instances for the fixed-point package (data, deprecated, game, library, math, mit, numerical)2011-08-27JakeMcArthur
fixed-precision1310.0Fixed Precision Arithmetic (bsd3, library, math)2010-06-15EdwardKmett
fixedprec2460.0A fixed-precision real number type (bsd3, data, library, math)2018-11-06PeterSelinger
fizz-buzz1070.0Functional Fizz/Buzz (bsd3, library, math)2017-01-26AlanHawkins
flat-mcmc5400.0Painless general-purpose sampling. (library, math, mit)2020-01-29JaredTobin
foldl-statistics3282.0Statistical functions from the statistics package implemented as Folds. (bsd3, library, math, statistics)2018-09-25AlexMason
fplll530.0Haskell bindings to <https://fplll.github.io/fplll/ fplll> (lgpl, library, math)2019-12-05lanceroy
fpnla750.0A library for NLA operations (bsd3, library, math)2014-02-04mblanco
fpnla-examples610.0Example implementations for FPNLA library (bsd3, library, math, parallelism)2014-02-04mblanco
fptest820.0IEEE754r floating point conformance tests (bsd3, math, program)2018-11-15jrp
fractals310.0A collection of useful fractal curve encoders (bsd3, library, math)2015-08-10sdekker
free-functors8150.0Free functors, adjoint to functors that forget class constraints. (bsd3, data, library, math)2018-09-24SjoerdVisscher
free-vector-spaces1650.0Instantiate the classes from the vector-space package with types from linear (bsd3, library, math)2018-03-05leftaroundabout
frotate890.0Advanced rotation of backups and other things (math, program, system)2019-08-31ip1981
function-instances-algebra270.0Instances of the Algebra.* classes for functions (bsd3, library, math)2012-03-25TobiasBrandt
functor440.0Functors (bsd3, control, library, math)2017-11-16MatthewFarkasDyck
game-probability610.0Simple probability library for dice rolls, card games and similar (bsd3, library, math)2010-09-08NeilBrown
gamma1600.0Gamma function and related functions. (library, math, numerical, public-domain)2019-02-03JamesCook, rockbmb
garepinoh1050.0reverse prefix notation calculator and calculation library (console, library, math, program, public-domain, tools)2014-01-21MekeorMelire
geocalc460.0Libary for calculating distances between two coordinates in WSG84 (bsd3, library, math)2011-07-01GeroKriependorf
geom2d1360.0package for geometry in euklidean 2d space (gpl, library, math)2015-11-01seppeljordan
ghc-typelits-presburger5310.0Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2020-02-01HiromiIshii
glasso260.0Graphical Lasso algorithm (bsd3, library, math)2015-04-15kaizhang
glicko1070.0Glicko-2 implementation in Haskell. (gpl, library, math)2017-04-25rprecenth
glpk-hs4790.0Comprehensive GLPK linear programming bindings (bsd3, library, math, program)2019-11-17JeanPhilippeBernardy, LouisWasserman
gnuplot9661.752D and 3D plots using gnuplot (bsd3, graphics, library, math)2020-01-15HenningThielemann
goal-core470.0Core imports for Geometric Optimization Libraries. (bsd3, library, math, program)2015-12-22alex404
goal-geometry280.0Scientific computing on geometric objects (bsd3, library, math, program)2015-12-22alex404
goal-probability220.0Manifolds of probability distributions (bsd3, library, math, program)2015-12-22alex404
goal-simulation340.0Mealy based simulation tools (bsd3, library, math, program)2015-12-22alex404
gray-extended4570.0Gray encoding schemes (bsd3, library, math)2019-08-29AmyDeBuitleir
grid16612.25Tools for working with regular grids (graphs, lattices). (bsd3, library, math)2019-08-29AmyDeBuitleir
groups3380.0Haskell 98 groups (algebra, bsd3, data, library, math)2017-11-22NathanVanDoorn
groups-generic300.0Generically derive Group instances. (algebra, bsd3, library, math)2020-02-16sheaf
gsl-random6060.0Bindings the the GSL random number generation facilities. (bsd3, library, math)2017-09-15PatrickPerry
gsl-random-fu340.0Instances for using gsl-random with random-fu (library, math, public-domain)2009-05-20JamesCook
gutenberg-fibonaccis2270.0The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-09JustinHanekom
hR850.0R bindings and interface (bsd3, foreign, library, math)2012-03-05DylanSimon
hTensor2970.0Multidimensional arrays and simple tensor computations. (bsd3, library, math)2016-11-02AlbertoRuiz, DominicSteinitz
haar252.0Haar wavelet transforms (bsd3, library, math)2014-09-22AmyDeBuitleir
hahp1210.0Analytic Hierarchy Process (agpl, library, math, program)2016-02-22taeradan, jpierre03
hascal2520.0tiny calculator library and command-line program (console, library, math, parsing, program, tools, utility, utils)2017-02-27DagOdenhall, MekeorMelire
haskell-eigen-util600.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-18dilawars
haskell-igraph4660.0Bindings to the igraph C library (v0.8.0). (library, math, mit)2020-02-21kaizhang
haskell-mpfr312.0Correctly-rounded arbitrary-precision floating-point arithmetic (library, math, numeric)2016-02-01ilist
hbayes2570.0Bayesian Networks (bsd3, library, math)2016-05-13alpheccar
hblas3052.0Human friendly BLAS and Lapack bindings for Haskell. (bsd3, library, math)2018-01-31CarterSchonwald
hcg-minus (deprecated)1670.0haskell cg (minus) (bsd3, deprecated, library, math)2017-11-22RohanDrape
hcg-minus-cairo (deprecated)1160.0haskell cg (minus) (cairo rendering) (bsd3, deprecated, library, math)2017-11-22RohanDrape
hdr-histogram400.0Haskell implementation of High Dynamic Range (HDR) Histograms (gpl, library, math, statistics)2016-01-03joshbohde
heyting-algebras810.0Heyting and Boolean algebras (bsd3, library, math)2019-02-16coot
hgeometric920.0A geometric library with bindings to GPC. (library, math, mit)2009-06-25DonaldStewart, GwernBranwen, MarcoSilva
hieraclus1660.0Automated clustering of arbitrary elements in Haskell. (bsd3, clustering, library, math, statistics)2011-09-29PhilippPribbernow
hirt730.0Calculates IRT 2PL and 3PL models (bsd3, math, program)2012-05-14IvanLabath
hlbfgsb390.0Haskell binding to L-BFGS-B version 3.0 (bsd3, library, math)2012-05-04IvanLabath
hmatrix19342.5Numeric Linear Algebra (bsd3, library, math)2019-06-30AlbertoRuiz, DominicSteinitz
hmatrix-backprop2540.0hmatrix operations lifted for backprop (bsd3, library, math)2019-08-18jle
hmatrix-banded (deprecated in favor of lapack)1040.0HMatrix interface to LAPACK functions for banded matrices (bsd3, deprecated, library, math)2019-03-19HenningThielemann
hmatrix-glpk3280.0Linear Programming based on GLPK (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-gsl2840.0Numerical computation (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-gsl-stats11910.0GSL Statistics interface (bsd3, ffi, library, math, statistics)2019-06-11VivianMcPhail
hmatrix-mmap1050.0Memory map Vector from disk into memory efficiently (bsd3, library, math, system)2011-02-22AlanFalloon
hmatrix-morpheus1492.0Low-level machine learning auxiliary functions. (bsd3, library, math)2018-06-10aignatyev17
hmatrix-nipals710.0NIPALS method for Principal Components Analysis on large data-sets. (lgpl, library, math)2011-02-22AlanFalloon
hmatrix-quadprogpp1340.0Bindings to the QuadProg++ quadratic programming library (bsd3, library, math)2017-12-15AkioTakano
hmatrix-repa2050.0Adaptors for interoperability between hmatrix and repa (bsd3, data, library, math)2016-09-22VivianMcPhail
hmatrix-sparse390.0Sparse linear solver (bsd3, library, math)2018-04-22DominicSteinitz
hmatrix-special2370.0Interface to GSL special functions (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-static1670.0hmatrix with vector and matrix sizes encoded in types (library, math)2010-09-12ReinerPope
hmatrix-sundials1372.0hmatrix interface to sundials (bsd3, library, math)2019-08-26DominicSteinitz
hmatrix-svdlibc2900.0SVDLIBC bindings for HMatrix (bsd3, library, math)2018-09-13BenGamari
hmatrix-syntax1390.0MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-31ReinerPope
hmatrix-tests2290.0Tests for hmatrix (bsd3, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-vector-sized2570.0Conversions between hmatrix and vector-sized types (bsd3, library, math)2020-02-11jle
hmm-hmatrix (deprecated in favor of hmm-lapack)1700.0Hidden Markov Models using HMatrix primitives (bsd3, deprecated, library, math)2018-11-13HenningThielemann
hmm-lapack1020.0Hidden Markov Models using LAPACK primitives (bsd3, library, math)2019-05-24HenningThielemann
hmpfr6552.0Haskell binding to the MPFR library (bsd3, data, library, math)2018-01-16AlesBizjak, MichalKonecny
homeomorphic330.0Homeomorphic Embedding Test (bsd3, library, math)2008-04-03NeilMitchell
hopfield-networks422.0Hopfield Networks for unsupervised learning in Haskell (library, math, mit, program)2013-11-20ajtulloch
hops4440.0Handy Operations on Power Series (bsd3, library, math, program)2017-07-03AndersClaesson
hps-kmeans360.0A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-10RodrigoGadea
hs-functors3410.0Functors from products of Haskell and its dual to Haskell (bsd3, library, math)2020-01-20MatthewFarkasDyck
hsignal7610.0Signal processing and EEG data analysis (bsd3, library, math)2016-11-14VivianMcPhail
hsilop1340.0RPN calculator (math, mit, program)2015-09-19rnhmjoj
hstatistics8170.0Statistics (bsd3, library, math, statistics)2017-02-06VivianMcPhail
hz3490.0Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2019-10-01MatthewFarkasDyck
ieee (deprecated in favor of ieee754)2790.0Utilities for dealing with IEEE floating point numbers (bsd3, deprecated, library, math)2010-09-20PatrickPerry
ieee7545402.0Utilities for dealing with IEEE floating point numbers (bsd3, library, math)2017-01-30PatrickPerry
integer-logarithms6820.0Integer logarithms. (algorithms, library, math, mit, number-theory)2019-04-16phadej
integer-roots520.0Integer roots and perfect powers (algorithms, library, math, mit, number-theory)2020-02-08Bodigrim
interpolation2390.0piecewise linear and cubic Hermite interpolation (bsd3, library, math)2019-05-25HenningThielemann
intervals12832.0Interval Arithmetic (bsd3, library, math)2020-01-29EdwardKmett, EricMertens, ryanglscott
ipopt-hs1800.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
ireal1321.5Real numbers and intervals with relatively efficient exact arithmetic. (bsd3, data, library, math)2015-10-31sydow
irt540.0Item Response Theory functions for use in computerized adaptive testing (bsd3, library, math)2017-08-03ElliotRobinson
iter-stats980.0iteratees for statistical processing (bsd3, library, math)2015-01-05JohnLato
jacobi-roots1500.0Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision (bsd3, library, math)2014-05-27GregHorn
jalaali580.0Convert Jalaali and Gregorian calendar systems to each other (library, math, mit)2014-08-04behrang
jalla1340.0Higher level functions for linear algebra. Wraps BLAS and LAPACKE. (library, math)2015-06-26ChristianGosch
jinquantities672.0Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2018-09-12Novadiscovery
kalman1152.0Kalman and particle filters and smoothers (library, math, mit)2016-12-14DominicSteinitz
kleene762.0Kleene algebra (bsd3, library, math)2019-04-25phadej
kmeans-vector1480.0An implementation of the kmeans clustering algorithm based on the vector package (bsd3, library, math, program)2015-07-30AlpMestanogullari
knead-arithmetic700.0Linear algebra and interpolation using LLVM JIT (bsd3, library, math)2016-10-09HenningThielemann
knots860.0Khovanov homology computations (library, math, mit, program)2015-04-09maltem
ks-test410.0Kolmogorov distribution and Kolmogorov-Smirnov test. (library, math, numerical, public-domain)2010-09-10JamesCook
l-bfgs-b630.0Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization (bsd3, library, math)2014-07-03GardSpreemann
lagrangian2800.0Solve Lagrange multiplier problems (bsd3, library, math)2014-10-09JonathanFischoff, pash
lapack-carray1350.0Auto-generated interface to Fortran LAPACK via CArrays (bsd3, library, math)2019-01-23HenningThielemann
lapack-comfort-array800.0Auto-generated interface to Fortran LAPACK via comfort-array (bsd3, library, math)2019-05-24HenningThielemann
lapack-ffi1430.0Auto-generated interface to Fortran LAPACK (bsd3, library, math)2018-04-02HenningThielemann
lapack-ffi-tools1930.0Generator for Haskell interface to Fortran LAPACK (bsd3, math, program)2019-07-06HenningThielemann
lattices6572.25Fine-grained library for constructing and manipulating lattices (bsd3, library, math)2020-02-18MaxBolingbroke, phadej
lawz1430.0Common mathematical laws. (bsd3, library, math, testing)2020-02-11cmk
lazysplines1042.0Differential solving with lazy splines (bsd3, library, math)2019-02-07GershomBazerman
lean420.0Bonds to Lean theorem prover (bsd3, library, math)2019-05-15MatthewFarkasDyck
left4deadrl660.0left4dead-inspired roguelike (bsd3, math, program)2018-04-06AndrewPennebaker
levmar4540.0An implementation of the Levenberg-Marquardt algorithm (bsd3, library, math, numerical)2018-05-07BasVanDijk, RoelVanDijk
lfst990.0L-Fuzzy Set Theory implementation in Haskell (gpl, library, math)2016-03-12claudiogreco
libroman1272.0Use Roman Numerals as a Numeric Datatype (sort of) (bsd3, data, library, math, numerical)2016-10-10ahakki
lie430.0Lie Algebras (bsd3, library, math, program)2019-06-08jumper149
lin-alg1080.0Low-dimensional matrices and vectors for graphics and physics (bsd3, library, math)2016-11-05JasonDagit
linda720.0LINear Discriminant Analysis (bsd3, library, math, statistics)2011-09-24LennartSchmitt
linear31782.5Linear Algebra (algebra, bsd3, library, math)2020-02-03AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate2530.0Lifting linear vector spaces into Accelerate (algebra, bsd3, compilers-interpreters, concurrency, data, library, math, parallelism)2018-04-04EdwardKmett, TrevorMcDonell, ryanglscott
linear-algebra-cblas340.0A linear algebra library with bindings to BLAS and LAPACK (bsd3, library, math, program)2013-04-18CarterSchonwald
linear-circuit1170.0Compute resistance of linear electrical circuits (bsd3, library, math)2019-08-12HenningThielemann
linear-code922.0A simple library for linear codes (coding theory, error correction) (gpl, library, math)2018-08-30wchresta
linear-grammar1110.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-13athanclark
linear-vect490.0A low-dimensional linear algebra library, operating on the Num typeclass (bsd3, library, math)2014-10-05capsjac
linearEqSolver1590.0Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2017-10-26LeventErkok
linearmap-category2370.0Native, complete, matrix-free linear algebra. (gpl, library, math)2019-10-14leftaroundabout
logfloat6620.0Log-domain floating point numbers (bsd3, data, library, math, natural-language-processing, statistics)2015-10-02WrenThornton
logic-TPTP7380.0Import, export etc. for TPTP, a syntax for first-order logic (codec, library, math, theorem-provers)2020-02-16DanielSchuessler, KiYungAhn, MasahiroSakai
long-double620.0FFI bindings for C long double (bsd3, math)2018-03-09ClaudeHeilandAllen
magico1970.0Compute solutions for Magico puzzle (bsd3, math, program)2019-05-24HenningThielemann
magma1800.0magma is an algebraic structure consisting a set together with an binary operation. (algebra, bsd3, data, data-structures, library, math)2015-09-08KatsutoshiItoh
magmas260.0Magma-like objects. (bsd3, library, math, numerical)2020-02-20cmk
manifold-random2450.0Sampling random points on general manifolds. (gpl, library, math)2019-10-14leftaroundabout
manifolds6930.0Coordinate-free hypersurfaces (gpl, library, math)2019-10-14leftaroundabout
manifolds-core2450.0The basic classes for the manifolds hierarchy. (gpl, library, math)2019-10-14leftaroundabout
math-functions10752.0Collection of tools for numeric computations (bsd2, library, math, numeric)2019-09-24AlexeyKhudyakov, BryanOSullivan
math-grads992.0Library containing graph data structures and graph algorithms (bsd3, graph, library, math)2020-01-10AlexKane
mathexpr1330.0Parse and evaluate math expressions with variables and functions (gpl, library, math)2016-11-04mdibaiee
mathflow230.0Dependently typed tensorflow modeler (bsd3, library, math)2017-08-08junjihashimoto
matlab720.0Matlab bindings and interface (bsd3, foreign, library, math)2015-01-22DylanSimon, bmsherman
matrix8072.25A native implementation of matrix operations. (bsd3, library, math)2018-03-18DanielDiaz
matrix-market720.0Read and write NIST Matrix Market files (bsd3, library, math, system)2008-04-04PatrickPerry
matrix-market-pure640.0Pure and composable reader and writer of the Matrix Market format. (bsd3, library, math)2011-02-21SergeyAstanin
matrix-static2062.0Type-safe matrix operations (bsd3, library, math)2020-02-18wchresta
maxent3690.0Compute Maximum Entropy Distributions (bsd3, library, math)2014-10-09JonathanFischoff, pash
mcl550.0Bindings to mcl, a generic and fast pairing-based cryptography library (bsd3, crypto, library, math)2017-05-09arybczak
mcmc-samplers1092.0Combinators for MCMC sampling (bsd3, library, machine-learning, math, numeric, statistics)2014-11-10pravnar, z
mcmc-types1352.0Common types for sampling. (library, math, mit, numeric)2016-12-04JaredTobin
mdp770.0Tools for solving Markov Decision Processes. (algorithms, library, math, mit, program)2016-11-29prsteele
mersenne-random1690.0Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister (bsd3, library, math, system)2011-06-18DonaldStewart
mersenne-random-pure644070.0Generate high quality pseudorandom numbers purely using a Mersenne Twister (bsd3, library, math, system)2016-08-29BenGamari, DonaldStewart
mfsolve2372.0Equation solver and calculator à la metafont (bsd3, library, math)2016-01-11KristofBastiaensen
miniball830.0Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-04GardSpreemann
mixed-strategies470.0Find optimal mixed strategies for two-player games (library, math, mit, program)2012-12-14BartonMassey
mixed-types-num2930.0Alternative Prelude with numeric and logic expressions typed bottom-up (bsd3, library, math)2019-04-10MichalKonecny
mltool1512.0Machine Learning Toolbox (bsd3, library, math)2018-06-10aignatyev, aignatyev17
mod1200.0Fast type-safe modular arithmetic (library, math, mit, number-theory)2020-01-28Bodigrim
modular3030.0Type-safe modular arithmetic (bsd3, library, math)2018-11-05pgujjula
modular-arithmetic3232.0A type for integers modulo some constant. (bsd3, library, math)2019-02-06TikhonJelvis
monad-lrs (deprecated)580.0a monad to calculate linear recursive sequence (bsd3, deprecated, library, math)2012-03-04BinJin
monoidplus510.0Extra classes/functions about monoids (data, library, math, public-domain)2011-11-12AaronBlack
monoids (deprecated in favor of reducers)6280.0Deprecated: Use 'reducers' (bsd3, data, deprecated, library, math, numerical)2012-02-09DanielWagner, EdwardKmett
monte-carlo2120.0A monad and transformer for Monte Carlo calculations. (bsd3, library, math)2017-09-15PatrickPerry
ms850.0metric spaces (bsd2, library, math)2015-07-21RickyElrod
multiset-comb2740.0Combinatorial algorithms over multisets (bsd3, library, math)2016-05-09BrentYorgey
mwc-probability6270.0Sampling function-based probability distributions. (library, math, mit)2020-01-29JaredTobin, ocramz
mwc-random16102.0Fast, high quality pseudo random number generation (bsd3, library, math, statistics)2018-07-11AlexeyKhudyakov, BryanOSullivan
mwc-random-monad2452.0Monadic interface for mwc-random (bsd3, library, math, statistics)2015-05-20AlexeyKhudyakov
nat1100.0Lazy binary natural numbers (bsd3, data, library, math)2012-08-13JanChristiansen
natural-arithmetic1600.0Arithmetic of natural numbers (bsd3, library, math)2020-01-20andrewthad
natural-induction1880.0Induction over natural numbers (bsd3, library, math)2017-12-14MatthewFarkasDyck
natural-numbers3180.0Natural numbers (bsd3, data, library, math)2012-07-13WolfgangJeltsch
netlib-carray1360.0Helper modules for CArray wrappers to BLAS and LAPACK (bsd3, library, math)2019-01-23HenningThielemann
netlib-comfort-array690.0Helper modules for comfort-array wrappers to BLAS and LAPACK (bsd3, library, math)2019-05-24HenningThielemann
netlib-ffi1840.0Helper modules for FFI to BLAS and LAPACK (bsd3, library, math)2019-01-05HenningThielemann
network-topic-models210.0A few network topic model implementations for bayes-stack (bsd3, math, program)2012-10-27BenGamari
nimber1360.0Finite nimber arithmetic (bsd3, library, math)2019-03-27AndersKaseorg, PatrickHurst
noether410.0Math in Haskell. (library, math, mit, program)2017-06-25mrkgnao
non-negative3310.0Non-negative numbers (library, math)2018-02-16HenningThielemann
nonlinear-optimization7410.0Various iterative algorithms for optimization of nonlinear functions. (library, math)2020-02-13FelipeLessa
nonlinear-optimization-ad1980.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-12MasahiroSakai
normaldistribution1660.0Minimum fuss normally distributed random values. (bsd3, library, math, statistics)2011-08-31BjornBuckwalter
np-extras4290.0NumericPrelude extras (bsd3, library, math)2019-01-18BrentYorgey
np-linear1750.0Linear algebra for the numeric-prelude framework (bsd3, library, math)2014-11-24AriePeterson
number620.0A library for real numbers (library, math, mit)2015-09-10rnhmjoj
numbers6122.0Various number types (bsd3, data, library, math)2018-05-14CarterSchonwald, DanBurton, DanielWagner, JohnWiegley, LennartAugustsson, RichardSmith, RussellOConnor
numeric-domains400.0Numeric Domains (bsd3, library, math)2019-12-16MichaelSzvetits
numeric-extras2220.0Useful tools from the C standard library (bsd3, library, math)2015-09-28EdwardKmett, EricMertens
numeric-ode350.0Ode solvers (bsd3, library, math, program)2017-07-22DominicSteinitz
numeric-prelude11462.0An experimental alternative hierarchy of numeric type classes (bsd3, library, math)2018-09-01HenningThielemann
numeric-quest2880.0Math and quantum mechanics (library, math)2018-02-15HenningThielemann
numeric-tools1100.0Collection of numerical tools for integration, differentiation etc. (bsd3, library, math, numerical)2014-03-09AlexeyKhudyakov
numerical430.0core package for Numerical Haskell project (bsd2, library, math)2019-01-01CarterSchonwald
numericpeano820.0Peano numbers with attendant bells and whistles. (apache, library, math)2014-12-29jtapolczai, jtapolczai2
numtype1190.0Type-level (low cardinality) integers. (bsd3, library, math)2016-05-10BjornBuckwalter
numtype-dk2080.0Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. (bsd3, library, math)2018-07-26BjornBuckwalter, dmcclean
numtype-tf810.0Type-level (low cardinality) integers, implemented using type families. (bsd3, library, math)2014-02-11BjornBuckwalter
nurbs570.0NURBS (bsd3, geometry, library, linear-algebra, math)2015-08-21AlexandrRuchkin
oeis7300.0Interface to the Online Encyclopedia of Integer Sequences (OEIS) (bsd3, library, math)2020-01-24BrentYorgey, BrianLewis, niteria
oeis21460.0Interface for Online Encyclopedia of Integer Sequences (OEIS). (bsd3, library, math)2019-09-0723prime
optimization2420.0Numerical optimization (bsd3, library, math)2018-01-24BenGamari
pareto690.0A library for cause-effect relationships. (bsd3, library, math)2016-10-19bwe
peano1220.0Peano numbers (data, library, math)2015-03-27MatthewFarkasDyck
pell1170.0Package to solve the Generalized Pell Equation. (algorithms, library, math, mit, number-theory)2019-11-12lbrunjes
permutation2920.0A library for permutations and combinations. (bsd3, data-structures, library, math)2015-01-20PatrickPerry, spacekitteh
permutations390.0Permutations of finite sets (bsd3, library, math)2018-05-14MatthewFarkasDyck
pig280.0dice game (bsd3, library, math, program)2018-04-06AndrewPennebaker
plot-gtk-ui1350.0A quick way to use Mathematica like Manipulation abilities (gpl, library, math)2016-10-10sumitsahrawat
plot-lab (deprecated in favor of plot-gtk-ui, calculator)730.0A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-17sumitsahrawat
poker-eval1830.0Binding to libpoker-eval (library, math, public-domain)2013-03-08DavidHimmelstrup
polar640.0Complex numbers in polar form (bsd3, library, math)2014-09-10StefanKersten
poly1862.0Polynomials (bsd3, library, math, numerical)2019-11-02Bodigrim
polynom340.0Polynomial types and operations (library, math)2016-01-21MatthewFarkasDyck
polynomial1782.25Polynomials (library, math, numerical, public-domain)2017-06-14JamesCook
polynomials-bernstein1980.0A solver for systems of polynomial equations in bernstein form (library, math)2015-09-29JeanPhilippeBernardy, PierreEtienneMeunier
primesieve480.0FFI bindings for the primesieve library. (algorithms, foreign, library, math, mit, number-theory, program)2017-09-08sighingnow
probability3820.0Probabilistic Functional Programming (bsd3, graphics, library, math, monads)2019-11-13HenningThielemann
probable1452.0Easy and reasonably efficient probabilistic programming and random generation (bsd3, library, math, statistics)2018-02-11AlpMestanogullari
product500.0Product category (bsd3, library, math)2017-11-28MatthewFarkasDyck
property (deprecated)360.0common properties (bsd3, deprecated, library, math, testing)2019-10-30cmk
pure-fft810.0Fast Fourier Transform (bsd3, library, math, numerical)2009-03-15MattMorrow
qd1590.0double-double and quad-double number type via libqd (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qd-vec1010.0'Vec' instances for 'qd' types (bsd3, library, math)2012-10-15ClaudeHeilandAllen
qhull-simple430.0Simple bindings to Qhull, a library for computing convex hulls (bsd3, library, math)2013-07-04GardSpreemann
quadratic-irrational2030.0An implementation of quadratic irrationals (algorithms, data, library, math, mit)2019-04-26ion, Bodigrim
quantities1050.0Unit conversion and manipulation library. (bsd3, data, library, math, physics, program)2015-11-07jdreaver
rad (deprecated in favor of ad)2430.0Reverse Automatic Differentiation. (bsd3, deprecated, library, math)2012-05-08EdwardKmett
random-extras3790.0Additional functions for random values. (bsd3, data, library, math)2012-07-10AristidBreitkreuz
random-fu6900.0Random number generation (math, public-domain)2019-12-05DominicSteinitz, JamesCook
random-fu-multivariate960.0Multivariate distributions for random-fu (bsd3, library, math)2019-07-21DominicSteinitz
random-hypergeometric350.0Random variate generation from hypergeometric distributions (library, math, mit)2015-03-30srijs
random-source1950.0Generic basis for random number generators (library, math, public-domain)2013-07-16DominicSteinitz, JamesCook
range-space2300.0A Range type with vector-space instances (bsd3, library, math)2015-08-28JohnLato
ratio-int1280.0Fast specialisation of Data.Ratio for Int. (bsd3, library, math)2014-06-18RaphaelJavaux
rclient400.0Haskell client for Rserve (bsd3, library, math, network, statistics)2010-12-04TomDoris
reduce-equations320.0Simplify a set of equations by removing redundancies (bsd3, library, math, program)2016-11-12chriswarbo
reducers10660.0Semigroups, specialized containers and a general map/reduce framework (bsd3, data, library, math, numerical, semigroups)2018-07-03EdwardKmett, EricMertens, ryanglscott
regress700.0Linear and logistic regression through automatic differentiation (bsd3, library, math)2015-07-13AlpMestanogullari
regression-simple300.0Simple linear and quadratic regression (bsd3, library, math)2019-11-02phadej
reservoir160.0Unweighted reservoir sampling (bsd3, library, math)2018-07-29haym
resistor-cube2150.0Compute total resistance of a cube of resistors (bsd3, math, program)2019-08-12HenningThielemann
rings4980.0Ring-like objects. (bsd3, library, math, numerical)2020-02-21cmk
rivers380.0Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-04DrewDay
roots1440.0Root-finding algorithms (1-dimensional) (library, math, numerical, public-domain)2012-09-09JamesCook
rounded1100.0Correctly-rounded arbitrary-precision floating-point arithmetic (bsd3, library, math, numeric)2019-08-29ClaudeHeilandAllen
rounding (deprecated)590.0Explicit floating point rounding mode wrappers (bsd3, deprecated, library, math)2010-06-13EdwardKmett
rsagl-math560.0The RogueStar Animation and Graphics Library: Mathematics (bsd3, library, math)2011-04-08ChristopherLaneHinson
ruff2520.0relatively useful fractal functions (bsd3, library, math)2016-11-07ClaudeHeilandAllen
rvar1280.0Random Variables (library, math, public-domain)2016-06-05DominicSteinitz, JamesCook
safe-decimal1010.0Safe and very efficient arithmetic operations on fixed decimal point numbers (bsd3, library, math, numeric, numerical)2020-02-06lehins
sampling1940.0Sample values from collections. (library, math, mit)2018-04-16JaredTobin
sbv19232.75SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2020-02-09LeventErkok
sbvPlugin1680.0Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2019-01-15LeventErkok
science-constants1230.0Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-13cbou
science-constants-dimensional1130.0Mathematical/physical/chemical constants (bsd3, chemistry, library, math, physics, science)2020-01-13cbou
sde-solver320.0Distributed SDE solver (bsd3, library, math, numerical)2012-12-18DavidNilsson
search1332.0Infinite search in finite time with Hilbert's epsilon (bsd3, library, math, search, topology)2017-11-04EdwardKmett
semigroups30502.75Anything that associates (algebra, bsd3, data, data-structures, library, math)2019-08-27EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions470.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-20PetrPudlak
semilattices1690.0Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-03robrix
semiring960.0Semirings, ring-like structures used for dynamic programming applications (bsd3, math, natural-language-processing)2010-03-08SashaRush
semiring-simple1531.5A module for dealing with semirings. (bsd3, library, math)2016-03-28pharpend
semirings7892.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2020-02-18chessai
set-cover3770.0Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube (algorithms, bsd3, library, math)2019-08-31HenningThielemann
sfmt640.0SIMD-oriented Fast Mersenne Twister(SFMT) binding. (bsd3, library, math, random)2015-04-14HirotomoMoriwaki
sgd9000.0Stochastic gradient descent library (bsd3, library, math)2019-11-13JakubWaszczuk
shapes-math410.0faster vector/matrix math using unboxed numbers and Template Haskell (bsd3, library, math, program)2018-05-17ublubu
siggy-chardust710.0Rounding rationals to significant digits and decimal places. (data, library, math, mpl, numeric)2018-06-22philderbeast
sigma-ij1100.0Thom polynomials of second order Thom-Boardman singularities (bsd3, library, math, program)2016-10-22BalazsKomuves
sign1800.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-26MasahiroSakai
simd470.0simple interface to GHC's SIMD instructions (bsd3, library, math)2014-05-19MikeIzbicki, chessai
simple-smt5780.0A simple way to interact with an SMT solver process. (bsd3, library, math)2019-02-15IavorDiatchki
simple-vec35210.0Three-dimensional vectors of doubles with basic operations (bsd3, library, math, numerical)2019-06-12DmitryDzhus
simplex-basic (deprecated)460.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-13athanclark
singletons-presburger560.0Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2020-02-01HiromiIshii
singular-factory430.0Multivariate polynomial factorization via bindings to Singular-factory (library, math)2019-11-23BalazsKomuves
sloane8110.0A command line interface to Sloane's OEIS. (bsd3, math, program)2017-07-03AndersClaesson
softfloat-hs520.0Haskell bindings for SoftFloat (bsd3, library, math)2018-08-21benselfridge
som13432.0Self-Organising Maps (bsd3, library, math)2019-01-02AmyDeBuitleir
sparse-lin-alg1672.0Effective linear algebra on sparse matrices (bsd3, library, math)2013-03-23AlexeyAlekhin
sparse-tensor2600.0typesafe tensor algebra library (algebra, data, library, math, mit)2020-02-06nalex, TobiReinhart
spatial-math8510.03d math including quaternions/euler angles/dcms and utility functions (bsd3, library, math)2018-08-21GregHorn, peddie
spatial-rotations460.0Rotate about any suitable axis (gpl, library, math)2018-09-26leftaroundabout
spe2920.0Combinatorial species lite (bsd3, library, math)2014-08-06AndersClaesson
species6940.0Computational combinatorial species (bsd3, library, math)2018-04-10BrentYorgey
spectral-clustering5330.0Library for spectral clustering. (gpl, library, math)2019-08-22GregorySchwartz
speedy-slice3280.0Speedy slice sampling. (library, math, mit)2016-12-21JaredTobin
spherical1852.0Geometry on a sphere (bsd3, library, math)2019-05-22vmchale
spline3870.0A parallel implementation of the Sorokina/Zeilfelder spline scheme. (agpl, math, program)2019-03-05MichaelOrlitzky
splines720.0B-Splines, other splines, and NURBS. (graphics, library, math, numerical, public-domain)2013-05-28JamesCook
spsa770.0Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (library, math, mit, optimization)2014-01-20yanatan16
stable-maps2220.0Heterogeneous maps keyed by StableNames (bsd3, library, math)2014-03-13EdwardKmett
staf730.0Numerical statistics for Foldable containers (library, math)2017-01-28lovasko
statistics24172.0A library of statistical types, data, and functions (bsd2, library, math, statistics)2020-01-05AlexeyKhudyakov, BryanOSullivan
statistics-dirichlet870.0Functions for working with Dirichlet densities and mixtures on vectors. (bsd3, library, math)2015-07-21FelipeLessa
statistics-fusion (deprecated in favor of statistics)770.0An implementation of high performance, minimal statistics functions (bsd3, deprecated, library, math)2010-02-20DonaldStewart
statistics-hypergeometric-genvar390.0Random variate generation from hypergeometric distributions (library, math, mit, statistics)2015-03-26srijs
statistics-linreg1792.0Linear regression between two samples, based on the 'statistics' package. (library, math, mit, statistics)2014-08-22AlpMestanogullari
stats500.0command line statistics (gpl, math, program)2013-12-05cheecheeo
stern-brocot420.0Positive rational numbers represented as paths in the Stern-Brocot tree (bsd3, library, math, numeric)2019-03-28MatthewFarkasDyck
stochastic1020.0Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-27chokboy
stp480.0Simple Theorem Prover (bsd3, library, math, program)2018-11-21bor0
svm-light-utils1270.0Parsers and formatters for the SVMlight input file format (bsd3, library, math)2016-04-13BenGamari
sym6130.0Permutations, patterns, and statistics (bsd3, library, math)2017-11-20AndersClaesson
sym-plot830.0Plot permutations; an addition to the sym package (bsd3, library, math)2017-06-10AndersClaesson
symengine550.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-10bollu
symengine-hs400.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-05bollu
tau890.0Tau, the ratio between any circle's circumference and radius. (bsd3, library, math)2013-06-28BrentYorgey
tensor1780.0A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-19NicolaSquartini
terntup312.0a ternary library (bsd3, library, math)2016-01-16mcandre
th-cas370.0Compile-time CAS(Computer Algebra System) (library, math, mit, numeric)2015-11-16junjihashimoto
theta-functions880.0Theta-functions implemented as trigonometric series (library, math, public-domain)2012-06-21MarkSafronov
tilings400.0substitution tilings (bsd3, library, math)2011-05-25ClaudeHeilandAllen
tropical970.0A library for tropical mathematics. (bsd3, library, math)2014-07-13pharpend
turing-machines450.0A simple simulator for Turing machines (library, math, mit)2016-07-24jariazavalverde
turingMachine1110.0An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-15sanjorgek
type-natural12152.0Type-level natural and proofs of their properties. (bsd3, library, math)2020-02-01HiromiIshii
type-settheory1770.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
uncertain1050.0Manipulating numbers with inherent experimental/measurement uncertainty (bsd3, library, math)2016-05-22jle
units4032.5A domain-specific type system for dimensional analysis (bsd3, library, math)2019-09-23RichardEisenberg
unittyped280.0An extendable library for type-safe computations including units. (lgpl, library, math, physics)2012-11-26ThijsAlkemade
variable-precision (deprecated in favor of rounded)1840.0variable-precision floating point (bsd3, deprecated, library, math)2013-02-18ClaudeHeilandAllen
vect1692.0A low-dimensional linear algebra library, tailored to computer graphics. (bsd3, graphics, library, math)2011-06-11BalazsKomuves
vect-floating (deprecated in favor of linear)1400.0A low-dimensional linear algebra library, operating on the Floating typeclass (bsd3, deprecated, library, math)2014-09-25cdurham
vect-floating-accelerate (deprecated in favor of linear-accelerate)1270.0Accelerate instances for vect-floating types (bsd3, deprecated, library, math)2014-09-25cdurham
vect-opengl610.0OpenGL support for the `vect' low-dimensional linear algebra library. (bsd3, graphics, library, math)2014-03-19BalazsKomuves
vector-fftw4290.0A binding to the fftw library for one-dimensional vectors. (bsd3, library, math)2017-06-16BenGamari, JudahJacobson
vector-space14082.5Vector & affine spaces, linear maps, and derivatives (bsd3, math)2019-01-22ConalElliott
vector-space-map1290.0vector-space operations for finite maps using Data.Map (library, math, mit)2018-10-16ChristianConkle
vector-space-opengl710.0Instances of vector-space classes for OpenGL types (bsd3, graphics, library, math)2013-09-30AdamFoltzer
vector-space-points3060.0A type for points, as distinct from vectors. (bsd3, library, math)2016-05-21BrentYorgey, RyanYates, jeffreyrosenbluth, bergey
vowpal-utils750.0Vowpal Wabbit utilities (bsd3, library, math)2012-02-21CarterSchonwald
wigner-symbols440.0CG coefficients and Wigner symbols. (library, math, mit)2015-10-02Rufflewind
word491.25Words of arbitrary size (bsd3, data, library, math, numeric)2018-05-14MatthewFarkasDyck
xorshift900.0Haskell implementation of the xorshift random generator. (library, math)2011-04-11RobertClausecker
xorshift-plus510.0Simple implementation of xorshift+ PRNG (bsd3, library, math)2019-01-28syocy
yhseq430.0Calculation of Y-sequence Hexirp edition (apache, library, math)2019-11-09Hexirp
yices2690.0Haskell programming interface to Yices SMT solver (bsd3, library, math)2012-02-07KiYungAhn
yices-easy320.0Simple interface to the Yices SMT (SAT modulo theories) solver. (algorithms, bsd3, library, math, theorem-provers)2010-09-29KeeganMcAllister
yices-painless1310.0An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)2011-01-17DonaldStewart
z35002.0Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2020-01-16IagoAbal