Categories Mathematics

@hackage/rampart

Determine how intervals relate to each other.

@hackage/digraph

Directed Graphs

@hackage/Noise

A Haskell coherent noise generator based on libnoise

@hackage/phonetic-languages-phonetics-basics

A library for working with generalized phonetic languages usage.

@hackage/yap

yet another prelude - a simplistic refactoring with algebraic classes

@hackage/monoidplus

Extra classes/functions about monoids

@hackage/word

Words of arbitrary size

@hackage/normaldistribution

Minimum fuss normally distributed random values.

@hackage/statistics-fusion

An implementation of high performance, minimal statistics functions

@hackage/directed-cubical

Finite directed cubical complexes and associated algorithms

@hackage/alg

Algebraic structures

@hackage/clustering

High performance clustering algorithms

@hackage/delaunayNd

Delaunay tessellation

@hackage/peano

Peano numbers

@hackage/units

A domain-specific type system for dimensional analysis

@hackage/sigma-ij

Thom polynomials of second order Thom-Boardman singularities

@hackage/fgl-arbitrary

QuickCheck support for fgl

@hackage/lean-peano

A maximally lazy, simple implementation of the Peano numbers with minimal dependencies.

@hackage/continued-fraction

Types and functions for working with continued fractions in Haskell

@hackage/polynom

Polynomial types and operations

@hackage/gsl-random

Bindings the the GSL random number generation facilities.

@hackage/synapse

Synapse is a machine learning library written in pure Haskell.

@hackage/DistanceTransform

Distance transform function.

@hackage/continued-fractions

Continued fractions.

@hackage/nth-prime

Computing the nth prime

@hackage/hcg-minus

haskell cg (minus)

@hackage/hmatrix-quadprogpp

Bindings to the QuadProg++ quadratic programming library

@hackage/hTensor

Multidimensional arrays and simple tensor computations.

@hackage/geos

Bindings for GEOS.

@hackage/dfrac

A package for precise decimal arithmatic using rationals.

@hackage/phonetic-languages-simplified-properties-lists-double

A generalization of the uniqueness-periods-vector-properties package.

@hackage/sde-solver

Distributed SDE solver

@hackage/complex-generic

complex numbers with non-mandatory RealFloat

@hackage/lapack

Numerical Linear Algebra using LAPACK

@hackage/free-category

efficient data types for free categories and arrows

@hackage/equational-reasoning-induction

Proof assistant for Haskell using DataKinds & PolyKinds

@hackage/aftovolio

An AFTOVolio implementation for creating texts with special phonetic / prosodic properties.

@hackage/jackpolynomials

Jack, zonal, Schur, and other symmetric polynomials

@hackage/FiniteCategories

Finite categories and usual categorical constructions on them.

@hackage/semilattices

Semilattices

@hackage/sets

Ducktyped set interface for Haskell containers.

@hackage/yhseq

Calculation of YH sequence system

@hackage/hmatrix-banded

HMatrix interface to LAPACK functions for banded matrices

@hackage/vect-floating

A low-dimensional linear algebra library, operating on the Floating typeclass

@hackage/combinatorics

Efficient computation of common combinatoric functions.

@hackage/phonetic-languages-simplified-base

A basics of the phonetic-languages functionality that can be groupped.

@hackage/fib

fibonacci algebra

@hackage/numeric-limits

Various floating point limit related constants.

@hackage/estimator

State-space estimation algorithms such as Kalman Filters

@hackage/Naperian

Naperian Functors for APL-like programming

@hackage/positive-integer

Type of positive integers.

@hackage/geom2d

package for geometry in euklidean 2d space

@hackage/reservoir

Unweighted reservoir sampling

@hackage/goal-graphical

Optimization of latent variable and dynamical models with Goal

@hackage/converge

Limit operations for converging sequences

@hackage/accelerate-arithmetic

Linear algebra and interpolation using the Accelerate framework

@hackage/safe-tensor

Dependently typed tensor algebra

@hackage/nat-optics

Refinement types for natural numbers with an optics interface

@hackage/fixedprec

A fixed-precision real number type

@hackage/numeric-prelude

An experimental alternative hierarchy of numeric type classes

@hackage/hmatrix-vector-sized

Conversions between hmatrix and vector-sized types

@hackage/permutations

Permutations of finite sets

@hackage/lr-acts

Left and right actions, semidirect products and torsors

@hackage/linda

LINear Discriminant Analysis

@hackage/fpnla-examples

Example implementations for FPNLA library

@hackage/elbow

Find the elbow point.

@hackage/miniball

Bindings to Miniball, a smallest enclosing ball library

@hackage/symengine-hs

SymEngine symbolic mathematics engine for Haskell

@hackage/HROOT-tree

Haskell binding to ROOT Tree modules

@hackage/conjugateGradient

Sparse matrix linear-equation solver

@hackage/manifold-random

Sampling random points on general manifolds.

@hackage/linear-smc

Build SMC morphisms using linear types

@hackage/factor

Factoring integers and polynomials

@hackage/boltzmann-brain

Analytic sampler compiler for combinatorial systems.

@hackage/reduce-equations

Simplify a set of equations by removing redundancies

@hackage/long-double

FFI bindings for C long double

@hackage/spe

Combinatorial species lite

@hackage/BesselJ

Bessel J-function, Anger J-function, Weber E-function, and Anger-Weber function.

@hackage/hgeometry-combinatorial

Data structures, and Data types.

@hackage/fibonacci

Fast computation of Fibonacci numbers.

@hackage/knots

Khovanov homology computations

@hackage/hmatrix-syntax

MATLAB-like syntax for hmatrix vectors and matrices

@hackage/igraph

Bindings to the igraph C library.

@hackage/opentheory-fibonacci

Fibonacci numbers

@hackage/science-constants

Mathematical/physical/chemical constants

@hackage/Probnet

Geometric Extrapolation of Integer Sequences with error prediction

@hackage/dual

Dual category

@hackage/ghc-typelits-presburger

Presburger Arithmetic Solver for GHC Type-level natural numbers.

@hackage/constructible

Exact computation with constructible real numbers

@hackage/numhask

A numeric class hierarchy.

@hackage/collect-errors

Error monad with a Float instance

@hackage/qhull

Delaunay triangulation, Voronoi diagrams and convex hulls.

@hackage/simple-vec3

Three-dimensional vectors of doubles with basic operations

@hackage/pure-noise

High-performance composable noise generation (Perlin, Simplex, Cellular)

@hackage/pell

Package to solve the Generalized Pell Equation.

@hackage/HROOT-net

Haskell binding to ROOT Net modules

@hackage/allen

A monadic way of calculating relations between intervals of time.

@hackage/polynomial

Polynomials

@hackage/game-probability

Simple probability library for dice rolls, card games and similar

@hackage/hmatrix-glpk

Linear Programming based on GLPK

@hackage/approximate

Approximate discrete values and numbers

@hackage/stats

command line statistics

@hackage/science-constants-dimensional

Mathematical/physical/chemical constants

@hackage/crf-chain1-constrained

First-order, constrained, linear-chain conditional random fields

@hackage/bed-and-breakfast

Efficient Matrix and Vector operations in 100% Haskell.

@hackage/gutenberg-fibonaccis

The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project.

@hackage/function-instances-algebra

Instances of the Algebra.* classes for functions

@hackage/hmm-hmatrix

Hidden Markov Models using HMatrix primitives

@hackage/property

common properties

@hackage/earcut

Binding to C++ earcut library.

@hackage/optimization

Numerical optimization

@hackage/scubature

Multidimensional integration over simplices

@hackage/exp-pairs

Linear programming over exponent pairs

@hackage/graph-utils

A simple wrapper & quasi quoter for fgl.

@hackage/hspray

Multivariate polynomials and fractions of multivariate polynomials.

@hackage/statistics

A library of statistical types, data, and functions

@hackage/quantizer

Library to provide the behaviour similar to quantum states superposition.

@hackage/unordered-graphs

Graph library using unordered-containers

@hackage/spherical

Geometry on a sphere

@hackage/bindings-levmar

Low level bindings to the C levmar (Levenberg-Marquardt) library

@hackage/casadi-bindings-control

low level bindings to casadi-control

@hackage/resistor-cube

Compute total resistance of a cube of resistors

@hackage/cplex-hs

high-level CPLEX interface

@hackage/algraph

Graph library using adjacency list representation

@hackage/calculator

A calculator repl, with variables, functions & Mathematica like dynamic plots.

@hackage/Graphalyze

Graph-Theoretic Analysis library.

@hackage/logfloat

Log-domain floating point numbers

@hackage/phonetic-languages-simplified-properties-array-common

Common functionality for 'with-tuples' and old version of properties.

@hackage/hyperloglog

An approximate streaming (constant space) unique object counter

@hackage/graphql-w-persistent

GraphQL interface middleware for SQL databases.

@hackage/AC-Vector-Fancy

Fancy type-system stuff for AC-Vector

@hackage/symtegration

Library for symbolic integration of mathematical expressions.

@hackage/numtype-tf

Type-level (low cardinality) integers, implemented using type families.

@hackage/linear-programming

Linear Programming basic definitions

@hackage/monoid-absorbing

A library for (left, right) zero monoids and backtracking with cut

@hackage/graql

Execute Graql queries on a Grakn graph

@hackage/Vec-Transform

This package is obsolete

@hackage/algebra

Constructive abstract algebra

@hackage/linear

Linear Algebra

@hackage/phonetic-languages-permutations-array

Permutations and universal set related functions for the phonetic-languages series

@hackage/dom-lt

The Lengauer-Tarjan graph dominators algorithm.

@hackage/SG

Small geometry library for dealing with vectors and collision detection

@hackage/nonlinear-optimization-ad

Wrapper of nonlinear-optimization package for using with AD package

@hackage/deka

Decimal floating point arithmetic

@hackage/partial-semigroup-hedgehog

Property testing for partial semigroups using Hedgehog

@hackage/dense-linear-algebra

Simple and incomplete pure haskell implementation of linear algebra

@hackage/simple-smt

A simple way to interact with an SMT solver process.

@hackage/turing-machines

A simple simulator for Turing machines

@hackage/monad-lrs

a monad to calculate linear recursive sequence

@hackage/nimber

Finite nimber arithmetic

@hackage/graph-generators

Functions for generating structured or random FGL graphs

@hackage/detour-via-uom

JSON and CSV encoding for quantities.

@hackage/mcmc-samplers

Combinators for MCMC sampling

@hackage/nurbs

NURBS

@hackage/phonetic-languages-simplified-generalized-properties-array

Some 'properties' of the phonetic languages approach text.

@hackage/vect

A low-dimensional linear algebra library, tailored to computer graphics.

@hackage/pos

positive numbers

@hackage/uniqueness-periods-vector-stats

A very basic descriptive statistics.

@hackage/diophantine

A quadratic diophantine equation solving library.

@hackage/glasso

Graphical Lasso algorithm

@hackage/lagrangian

Solve Lagrange multiplier problems

@hackage/nats

Natural numbers

@hackage/involutive-semigroups

Semigroups with involution.

@hackage/primes-type

Type-safe prime numbers.

@hackage/lawz

Common mathematical laws.

@hackage/vector-space-opengl

Instances of vector-space classes for OpenGL types

@hackage/yices-painless

An embedded language for programming the Yices SMT solver

@hackage/layered-graph-drawing

Layered Graph Drawing after Sugiyama

@hackage/emd

Empirical Mode Decomposition and Hilbert-Huang Transform

@hackage/netlib-ffi

Helper modules for FFI to BLAS and LAPACK

@hackage/eigen

Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers).

@hackage/maxent

Compute Maximum Entropy Distributions

@hackage/ks-test

Kolmogorov distribution and Kolmogorov-Smirnov test.

@hackage/linear-accelerate

Lifting linear vector spaces into Accelerate

@hackage/Homology

Compute the homology of a chain complex

@hackage/basesystems

Implements encoders/decoders for basesystems

@hackage/blas-hs

Low-level Haskell bindings to Blas.

@hackage/hipe

Support for reading and writing ipe7 files (http://ipe7.sourceforge.net)

@hackage/flat-mcmc

Painless general-purpose sampling.

@hackage/Kalman

A slightly extended Kalman filter

@hackage/porcupine-core

Express portable, composable and reusable data tasks and pipelines

@hackage/approx

Easy-to-use emulation of approximate, ranges and tolerances in Haskell

@hackage/NumberTheory

A library for number theoretic computations, written in Haskell.

@hackage/xdot

Parse Graphviz xdot files and interactively view them using GTK and Cairo

@hackage/fractionizer

Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types.

@hackage/uniqueness-periods-vector-common

Generalization of the dobutokO-poetry-general package functionality

@hackage/fin

Nat and Fin: peano naturals and finite numbers

@hackage/AC-Terminal

Trivial wrapper over ansi-terminal.

@hackage/plot-lab

A plotting tool with Mathematica like Manipulation abilities

@hackage/rhythmic-sequences

Improved library to deal with rhythmicity of short sequences

@hackage/handa-geodata

Geographic and Geometric Data

@hackage/graph-rewriting-layout

Force-directed node placement intended for incremental graph drawing

@hackage/comfort-glpk

Linear Programming using GLPK and comfort-array

@hackage/expressions-z3

Encode and Decode expressions from Z3 ASTs

@hackage/Paillier

a simple Paillier cryptosystem

@hackage/simplex-basic

Very basic simplex implementation.

@hackage/blas-ffi

Auto-generated interface to Fortran BLAS

@hackage/canon

Arithmetic for Psychedelically Large Numbers

@hackage/numeric-optimization-backprop

Wrapper of numeric-optimization package for using with backprop package

@hackage/integer-pure

A pure-Haskell implementation of arbitrary-precision Integers.

@hackage/lens-aeson

Law-abiding lenses for aeson

@hackage/mpolynomials

Simple multivariate polynomials.

@hackage/acts

Semigroup actions and torsors.

@hackage/notzero

A data type for representing numeric values, except zero.

@hackage/linearEqSolver

Use SMT solvers to solve linear systems over integers and rationals

@hackage/LATS

Linear Algebra on Typed Spaces

@hackage/atp

Interface to automated theorem provers

@hackage/exact-cover

Efficient exact cover solver.

@hackage/sign

Arithmetic over signs and sets of signs

@hackage/opentheory-divides

The divides relation on natural numbers

@hackage/random-source

Generic basis for random number generators

@hackage/fftw-ffi

Low-level interface to FFTW (Fast Fourier Transform)

@hackage/staf

Numerical statistics for Foldable containers

@hackage/hmatrix-special

Interface to GSL special functions

@hackage/polynomials-bernstein

A solver for systems of polynomial equations in bernstein form

@hackage/tdigest

On-line accumulation of rank-based statistics

@hackage/lattices

Fine-grained library for constructing and manipulating lattices

@hackage/WeberLogic

Logic interpreter

@hackage/libroman

Use Roman Numerals as a Numeric Datatype (sort of)

@hackage/affine-invariant-ensemble-mcmc

General-purpose sampling

@hackage/rings

Ring-like objects.

@hackage/mersenne-random

Generate high quality pseudorandom numbers using a SIMD Fast Mersenne Twister

@hackage/curve25519

Fast implementations of the curve25519 elliptic curve primitives.

@hackage/haskell-mpfr

Correctly-rounded arbitrary-precision floating-point arithmetic

@hackage/algebraic

General linear algebra structures.

@hackage/hmatrix-nipals

NIPALS method for Principal Components Analysis on large data-sets.

@hackage/hmatrix-svdlibc

SVDLIBC bindings for HMatrix

@hackage/MeanShift

Mean shift algorithm

@hackage/linear-geo

Geographic coordinates, built on the linear package.

@hackage/SGplus

(updated) Small geometry library for dealing with vectors and collision detection

@hackage/fixed-generic

Fixed-point number build on generic integral number

@hackage/lfst

L-Fuzzy Set Theory implementation in Haskell

@hackage/mfsolve

Equation solver and calculator à la metafont

@hackage/interval-algebra

An implementation of Allen's interval algebra for temporal logic

@hackage/commutative

Commutative binary operations.

@hackage/casadi-bindings-core

autogenerated low level bindings to casadi

@hackage/rounded

Correctly-rounded arbitrary-precision floating-point arithmetic

@hackage/random-fu

Random number generation

@hackage/graph-rewriting-gl

OpenGL interface for interactive port graph rewriting

@hackage/sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT

@hackage/irt

Item Response Theory functions for use in computerized adaptive testing

@hackage/algebraic-graph-duoids

Duoid instances for the algebraic-graphs package

@hackage/periodic-polynomials

A library for working with periodic polynomials (very basic functionality)

@hackage/phladiprelio-rhythmicity-shared

Allows to estimate some kind of the rhythmicity properties for the text

@hackage/half-space

Additive monoids generalising vector spaces

@hackage/rounded-hw

Directed rounding for built-in floating types

@hackage/elliptic-integrals

Carlson Elliptic Integrals and Incomplete Elliptic Integrals

@hackage/inf-backprop

Automatic differentiation and backpropagation.

@hackage/phonetic-languages-basis

A basics of the phonetic-languages (PhLADiPreLiO-related) functionality.

@hackage/cf

Exact real arithmetic using continued fractions

@hackage/numeric-tools

Collection of numerical tools for integration, differentiation etc.

@hackage/primes

Efficient, purely functional generation of prime numbers

@hackage/tropical

A library for tropical mathematics.

@hackage/search

Infinite search in finite time with Hilbert's epsilon

@hackage/casadi-bindings

mid-level bindings to CasADi

@hackage/iter-stats

iteratees for statistical processing

@hackage/mwc-random

Fast, high quality pseudo random number generation

@hackage/dot

Datatypes and encoding for graphviz dot files

@hackage/antimirov

Define the language containment (=subtyping) relation on regulare expressions.

@hackage/sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

@hackage/brush-stroking

Brush strokes document model and renderer

@hackage/theta-functions

Theta-functions implemented as trigonometric series

@hackage/fadno-braids

Braid representations in Haskell

@hackage/ContextAlgebra

Implementation of the context algebra.

@hackage/variable-precision

variable-precision floating point

@hackage/hscharm

minimal ncurses-like library

@hackage/vect-floating-accelerate

Accelerate instances for vect-floating types

@hackage/detour-via-sci

JSON and CSV encoding for rationals as decimal point numbers.

@hackage/prime

prime number tools

@hackage/GeomPredicates-SSE

Geometric predicates (Intel SSE)

@hackage/downhill

Reverse mode automatic differentiation

@hackage/constructive-algebra

A library of constructive algebra.

@hackage/rounding

Explicit floating point rounding mode wrappers

@hackage/tropical-geometry

A Tropical Geometry package for Haskell

@hackage/MIP-glpk

A GLPK backend to the MIP library.

@hackage/mcl

Bindings to mcl, a generic and fast pairing-based cryptography library

@hackage/dataflow

Generate Graphviz documents from a Haskell representation.

@hackage/complex-integrate

A simple integration function to integrate a complex-valued complex functions

@hackage/kalman

Kalman and particle filters and smoothers

@hackage/random-fu-multivariate

Multivariate distributions for random-fu

@hackage/hbayes

Bayesian Networks

@hackage/bindings-saga-cmd

Wrapping saga_cmd

@hackage/monte-carlo

A monad and transformer for Monte Carlo calculations.

@hackage/Smooth

A tiny, lazy SMT solver

@hackage/noether

Math in Haskell.

@hackage/Mantissa

Reals in the interval [0,1), as machine words

@hackage/semigroups

Anything that associates

@hackage/HROOT-io

Haskell binding to ROOT IO modules

@hackage/numerical

core package for Numerical Haskell project

@hackage/convert-units

Statically typed unit conversions

@hackage/pcubature

Integration over convex polytopes

@hackage/hcdt

2d Delaunay triangulation

@hackage/dozenal

A Haskell library for using Dozenal (Duodecimal - Base 12) numbers.

@hackage/exp-extended

floating point with extended exponent range

@hackage/graph-rewriting-trs

Interactive evaluation of first-order applicative term rewrite systems

@hackage/mixed-strategies

Find optimal mixed strategies for two-player games

@hackage/HROOT-graf

Haskell binding to ROOT Graf modules

@hackage/accelerate-fftw

Accelerate frontend to the FFTW library (Fourier transform)

@hackage/haskell-igraph

Bindings to the igraph C library (v0.8.5).

@hackage/network-topic-models

A few network topic model implementations for bayes-stack

@hackage/mwc-probability-transition

A Markov stochastic transition operator with logging

@hackage/Vec-Boolean

Provides Boolean instances for the Vec package

@hackage/AERN-Basics

foundational type classes for approximating exact real numbers

@hackage/hgeometric

A geometric library with bindings to GPC.

@hackage/posit

Posit Numbers

@hackage/z3

Bindings for the Z3 Theorem Prover

@hackage/ApproxFun-hs

Function approximation

@hackage/real-dice

Random number generation based on physical media touched by humans

@hackage/applicative-numbers

Applicative-based numeric instances

@hackage/graph-rewriting-strategies

Evaluation strategies for port-graph rewriting systems

@hackage/arithmetic

Natural number arithmetic

@hackage/vect-opengl

OpenGL support for the `vect' low-dimensional linear algebra library.

@hackage/probability

Probabilistic Functional Programming

@hackage/hmatrix-tests

Tests for hmatrix

@hackage/float128

FFI bindings for C _Float128

@hackage/numhask-prelude

A numeric prelude

@hackage/frotate

Advanced rotation of backups and other things

@hackage/Flint2

Haskell bindings for the flint library for number theory

@hackage/aern2-fun

Generic operations for real functions

@hackage/terntup

a ternary library

@hackage/besout

Extended GCD of polynomials over F_p[x]

@hackage/hgeometry-svg

Writing geometric primitives from HGeometry as SVG Files

@hackage/linear-tests

Linear Algebra

@hackage/simd

simple interface to GHC's SIMD instructions

@hackage/Decimal

Decimal numbers with variable precision

@hackage/math-grads

Library containing graph data structures and graph algorithms

@hackage/hgmp

Haskell interface to GMP

@hackage/AERN-Real-Interval

arbitrary precision real interval arithmetic

@hackage/hgeometry-ipe

Reading and Writing ipe7 files.

@hackage/Vec-OpenGLRaw

Instances and functions to interoperate Vec and OpenGL.

@hackage/computational-algebra

Well-kinded computational algebra library, currently supporting Groebner basis.

@hackage/hmm-lapack

Hidden Markov Models using LAPACK primitives

@hackage/EqualitySolver

A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality

@hackage/stp

Simple Theorem Prover

@hackage/GeomPredicates

Geometric predicates

@hackage/monoid-subclasses

Subclasses of Monoid

@hackage/math-programming

A library for formulating and solving math programs.

@hackage/accelerate-typelits

a typesafe way encode accelerate matrices and vectors

@hackage/th-cas

Compile-time CAS(Computer Algebra System)

@hackage/nonlinear-optimization

Various iterative algorithms for optimization of nonlinear functions.

@hackage/moving-averages

This is a library for calculating moving averages on lists of numbers.

@hackage/exact-kantorovich

Exact Kantorovich distance between finite probability measures.

@hackage/probable

Easy and reasonably efficient probabilistic programming and random generation

@hackage/finite-field

Finite Fields

@hackage/numeric-kinds

Type-level numeric types and classes

@hackage/erf-native

Native Haskell implementation of the interface from the erf package

@hackage/yices-easy

Simple interface to the Yices SMT (SAT modulo theories) solver.

@hackage/knead-arithmetic

Linear algebra and interpolation using LLVM JIT

@hackage/ord-axiomata

Axiomata & lemmata for easier use of Data.Type.Ord

@hackage/HABQT

Hierarchical adaptive Bayesian quantum tomography for quantum bits

@hackage/hstats

Statistical Computing in Haskell

@hackage/oalg-base

Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.

@hackage/poker-eval

Binding to libpoker-eval

@hackage/numhask-hedgehog

Laws and tests for numhask

@hackage/accelerate-fft

FFT using the Accelerate library

@hackage/highs-lp

Linear Programming using HiGHS and comfort-array

@hackage/FiniteCategoriesGraphViz

Transform objects of the package FiniteCategories into graphs using GraphViz.

@hackage/hfoil

Hess-Smith panel code for inviscid 2-d airfoil analysis

@hackage/crf-chain2-generic

Second-order, generic, constrained, linear conditional random fields

@hackage/SpatialMath

3d math including quaternions/euler angles/dcms and utility functions

@hackage/ParserFunction

Parse and evaluate mathematical expressions.

@hackage/phonetic-languages-simplified-properties-array

Some properties of the data related to rhythmicity.

@hackage/phonetic-languages-simplified-lists-examples

Simplified and somewhat optimized version of the phonetic-languages-examples.

@hackage/expressions

Expressions and Formulae a la carte

@hackage/buffon-machines

Perfect simulation of discrete random variables

@hackage/hypergeomatrix

Hypergeometric function of a matrix argument

@hackage/phonetic-languages-simplified-examples-array

Helps to create Ukrainian texts with the given phonetic properties.

@hackage/pure-fft

Fast Fourier Transform

@hackage/uniqueness-periods-vector-examples

Usage examples for the uniqueness-periods-vector series of packages

@hackage/recommender-als

Recommendations using alternating least squares algorithm

@hackage/SmithNormalForm

A lightweight Haskell implementation of Smith normal form over the integers.

@hackage/statistics-dirichlet

Functions for working with Dirichlet densities and mixtures on vectors.

@hackage/sym

Permutations, patterns, and statistics

@hackage/integer-roots

Integer roots and perfect powers

@hackage/fcf-graphs

Type-level version of algebraic-graphs.

@hackage/sys-process

A replacement for System.Exit and System.Process.

@hackage/fft

Bindings to the FFTW library.

@hackage/csa

Connection-set algebra (CSA) library

@hackage/mod

Fast type-safe modular arithmetic

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/lin-alg

Low-dimensional matrices and vectors for graphics and physics

@hackage/significant-figures

Calculate expressions involving significant figures.

@hackage/ieee-utils

ieee-utils

@hackage/fixed-point-vector-space

vector-space instances for the fixed-point package

@hackage/HROOT

Haskell binding to the ROOT data analysis framework

@hackage/finite-fields

Arithmetic in finite fields

@hackage/partial-semigroup-test

Testing utilities for the partial-semigroup package

@hackage/HERA

@hackage/hieraclus

Automated clustering of arbitrary elements in Haskell.

@hackage/mersenne-random-pure64

Generate high quality pseudorandom numbers purely using a Mersenne Twister

@hackage/NTRU

NTRU Cryptography

@hackage/numeric-quest

Math and quantum mechanics

@hackage/phonetic-languages-plus

Some common shared between different packages functions.

@hackage/phladiprelio-general-simple

A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms.

@hackage/linear-vect

A low-dimensional linear algebra library, operating on the Num typeclass

@hackage/hmatrix-backprop

hmatrix operations lifted for backprop

@hackage/fpnla

A library for NLA operations

@hackage/padic

Fast, type-safe p-adic arithmetic

@hackage/bins

Aggregate continuous values into discrete bins

@hackage/simplex-method

Implementation of the two-phase simplex method in exact rational arithmetic

@hackage/HaskellLM

Pure Haskell implementation of the Levenberg-Marquardt algorithm

@hackage/tikzsd

A program for generating LaTeX code of string diagrams.

@hackage/ieee

Utilities for dealing with IEEE floating point numbers

@hackage/blas-comfort-array

Auto-generated interface to Fortran BLAS via comfort-array

@hackage/nat

Lazy binary natural numbers

@hackage/log-domain

Log-domain arithmetic

@hackage/decimal-arithmetic

An implementation of the General Decimal Arithmetic Specification

@hackage/hR

R bindings and interface

@hackage/math-functions

Collection of tools for numeric computations

@hackage/distribution-plot

Easily plot distributions from the distribution package..

@hackage/DifferentialEvolution

Global optimization using Differential Evolution

@hackage/jacobi-roots

Roots of two shifted Jacobi polynomials (Legendre and Radau) to double precision

@hackage/affine

Affine spaces (generalized)

@hackage/sloane

A command line interface to Sloane's OEIS.

@hackage/yices

Haskell programming interface to Yices SMT solver

@hackage/phladiprelio-ukrainian-simple

A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency.

@hackage/vector-fftw

A binding to the fftw library for one-dimensional vectors.

@hackage/convexHullNd

Convex hull

@hackage/qlinear

Typesafe library for linear algebra

@hackage/superbubbles

Find "superbubbles", as described in https://arxiv.org/abs/1307.7925

@hackage/mmsyn2-array-ukrainian-data

Data that is taken from the ukrainian-phonetics-basic-array for optimization.

@hackage/GaussQuadIntegration

Non-adaptive Gaussian quadrature for numeric integraton

@hackage/hsilop

RPN calculator

@hackage/tensort

Tunable sorting for responsive robustness and beyond

@hackage/wkt-types

A library for working with .wkt files.

@hackage/hops

Handy Operations on Power Series

@hackage/free-vector-spaces

Instantiate the classes from the vector-space package with types from linear

@hackage/easytensor

Pure, type-indexed haskell vector, matrix, and tensor library.

@hackage/safe-decimal

Safe and very efficient arithmetic operations on fixed decimal point numbers

@hackage/subhask

Type safe interface for programming in subcategories of Hask

@hackage/numeric-logarithms

Integral and rational log2 algorithms

@hackage/left4deadrl

left4dead-inspired roguelike

@hackage/lapack-ffi

Auto-generated interface to Fortran LAPACK

@hackage/automata

automata

@hackage/hblas

Human friendly BLAS and Lapack bindings for Haskell.

@hackage/ieee754

Utilities for dealing with IEEE floating point numbers

@hackage/dde

Delay differential equations

@hackage/functor

Functors

@hackage/matlab

Matlab bindings and interface

@hackage/hmatrix

Numeric Linear Algebra

@hackage/srtree

A general library to work with Symbolic Regression expression trees.

@hackage/Logic

Logic

@hackage/linear-massiv

Type-safe numerical linear algebra backed by massiv arrays

@hackage/reducers

Semigroups, specialized containers and a general map/reduce framework

@hackage/shapes-math

faster vector/matrix math using unboxed numbers and Template Haskell

@hackage/numeric-extras

Useful tools from the C standard library

@hackage/AERN-Net

Compositional lazy dataflow networks for exact real number computation

@hackage/phonetic-languages-simplified-common

A simplified version of the phonetic-languages-functionality

@hackage/singletons-presburger

Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.

@hackage/ProxN

Proximity sets in N dimensions

@hackage/hirt

Calculates IRT 2PL and 3PL models

@hackage/accelerate-fourier

Fast Fourier transform and convolution using the Accelerate framework

@hackage/rsagl-math

The RogueStar Animation and Graphics Library: Mathematics

@hackage/numeric-optimization

Unified interface to various numerical optimization algorithms

@hackage/aern2-real

Real numbers as convergent sequences of intervals

@hackage/oeis2

Interface for Online Encyclopedia of Integer Sequences (OEIS).

@hackage/stern-brocot

Positive rational numbers represented as paths in the Stern-Brocot tree

@hackage/bindings-mpdecimal

bindings to mpdecimal library

@hackage/poly

Polynomials

@hackage/regress

Linear and logistic regression through automatic differentiation

@hackage/agum

Unification and Matching in an Abelian Group

@hackage/numeric-ranges

A framework for numeric ranges.

@hackage/reader-soup

Vinyl-based reader-like monad composition

@hackage/levmar

An implementation of the Levenberg-Marquardt algorithm

@hackage/plot-gtk-ui

A quick way to use Mathematica like Manipulation abilities

@hackage/chainweb-mining-client

Mining Client for Kadena Chainweb

@hackage/LPPaver

An automated prover targeting problems that involve nonlinear real arithmetic

@hackage/coincident-root-loci

Equivariant CSM classes of coincident root loci

@hackage/coinor-clp

Linear Programming using COIN-OR/CLP and comfort-array

@hackage/extended-categories

Extended Categories

@hackage/extended-reals

Extension of real numbers with positive/negative infinities

@hackage/semigroups-actions

Semigroups actions

@hackage/phladiprelio-general-shared

A shared by different general implementations of the PhLADiPreLiO functionality.

@hackage/fast-arithmetic

Fast functions on integers.

@hackage/dimensional-tf

Statically checked physical dimensions, implemented using type families.

@hackage/phonetic-languages-permutations

Commonly used versions of the phonetic-languages-common package

@hackage/random-cycle

Uniform draws of partitions and cycle-partitions, with thinning.

@hackage/haskell-eigen-util

Some utility functions for haskell-eigen library

@hackage/tdigest-Chart

Chart generation from tdigest

@hackage/mathlist

Math using lists, including FFT and Wavelet

@hackage/set-cover

Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube

@hackage/glpk-hs

Comprehensive GLPK linear programming bindings

@hackage/LetsBeRational

European option implied vol calculation

@hackage/fast-combinatorics

Fast combinatorics.

@hackage/groups

Groups

@hackage/accelerate-cublas

Basic Linear Algebra using native CUBLAS library

@hackage/connections

Orders, Galois connections, and lattices.

@hackage/exact-real-positional

Framework for Exact Real Arithmetic in the Positional Number System

@hackage/distribution

Finite discrete probability distributions.

@hackage/interpolation

piecewise linear and cubic Hermite interpolation

@hackage/xorshift

Haskell implementation of the xorshift random generator.

@hackage/mathexpr

Parse and evaluate math expressions with variables and functions

@hackage/glicko

Glicko-2 implementation in Haskell.

@hackage/BerlekampAlgorithm

Factorization of polynomials over finite field

@hackage/svm-light-utils

Parsers and formatters for the SVMlight input file format

@hackage/cash

the Computer Algebra SHell

@hackage/qd

double-double and quad-double number type via libqd

@hackage/linear-grammar

A simple grammar for building linear equations and inclusive inequalities.

@hackage/burst-detection

Burst detection algorithms

@hackage/clipper

Haskell API to clipper (2d polygon union/intersection/xor/clipping API)

@hackage/HROOT-core

Haskell binding to ROOT Core modules

@hackage/goal-core

Common, non-geometric tools for use with Goal

@hackage/softfloat-hs

Haskell bindings for SoftFloat

@hackage/hmatrix-sundials

hmatrix interface to sundials

@hackage/matrix-lens

Optics for the "matrix" package

@hackage/NaperianNetCDF

Instances of NcStore for hypercuboids

@hackage/adjunction

See README for more info

@hackage/l-bfgs-b

Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization

@hackage/AC-HalfInteger

Efficient half-integer type.

@hackage/gasp

A framework of algebraic classes

@hackage/ireal

Real numbers and intervals with relatively efficient exact arithmetic.

@hackage/deka-tests

Tests for deka, decimal floating point arithmetic

@hackage/graph-rewriting-cl

Interactive graph rewriting system implementing various well-known combinators

@hackage/np-extras

NumericPrelude extras

@hackage/Data-Angle

Geometric angles

@hackage/rev-scientific

A library to provide special kind of big numbers writing.

@hackage/deptrack-core

DepTrack Core types and model.

@hackage/PropaFP

Auto-active verification of floating-point programs

@hackage/natural-numbers

Natural numbers

@hackage/group-theory

The theory of groups

@hackage/kmeans-vector

An implementation of the kmeans clustering algorithm based on the vector package

@hackage/cl3

Clifford Algebra of three dimensional space.

@hackage/Modulo

Modular arithmetic via Numeric-Prelude

@hackage/yap-examples

examples of the algebraic classes in the yap package

@hackage/gamma

Gamma function and related functions.

@hackage/linearmap-category

Native, complete-ish, matrix-free linear algebra.

@hackage/graphite

Graphs and networks library

@hackage/HerbiePlugin

automatically improve your code's numeric stability

@hackage/rivers

Rivers are like Streams, but different.

@hackage/DigitGroup

Group the digits of numbers by lots

@hackage/spsa

Simultaneous Perturbation Stochastic Approximation Optimization Algorithm

@hackage/DP

Pragmatic framework for dynamic programming

@hackage/casadi-bindings-snopt-interface

low level bindings to casadi-snopt_interface

@hackage/dsp

Haskell Digital Signal Processing

@hackage/digamma

A (deprecated) implementation of the digamma function

@hackage/phonetic-languages-simplified-properties-array-old

Some properties of the data related to rhythmicity.

@hackage/Dist

A Haskell library for probability distributions

@hackage/symplectic-chp

CHP Clifford simulator using symplectic geometry

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

@hackage/safe-numeric

Safe arithmetic operations.

@hackage/data-category

Category theory

@hackage/netlib-comfort-array

Helper modules for comfort-array wrappers to BLAS and LAPACK

@hackage/accelerate-blas

Numeric Linear Algebra in Accelerate

@hackage/WeakSets

Simple set types. Useful to create sets of arbitrary types and nested sets.

@hackage/uncertain

Manipulating numbers with inherent experimental/measurement uncertainty

@hackage/cmath

A binding to the standard C math library

@hackage/ca

Cellular Automata

@hackage/data-nat

data Nat = Zero | Succ Nat

@hackage/nonlinear-optimization-backprop

Wrapper of nonlinear-optimization package for using with backprop package

@hackage/foldl-statistics

Statistical functions from the statistics package implemented as Folds.

@hackage/hgeos

Simple Haskell bindings to GEOS C API

@hackage/ad-delcont

Reverse-mode automatic differentiation with delimited continuations

@hackage/range-space

A Range type with vector-space instances

@hackage/hmatrix-gsl

Numerical computation

@hackage/Operads

Groebner basis computation for Operads.

@hackage/AC-Angle

Angles in degrees and radians.

@hackage/Eq

Render math formula in ASCII, and perform some simplifications

@hackage/mdp

Tools for solving Markov Decision Processes.

@hackage/squares

The double category of Hask functors and profunctors

@hackage/matrix

A native implementation of matrix operations.

@hackage/mighty-metropolis

The Metropolis algorithm.

@hackage/fuzzySets

A Haskell library for working with fuzzy sets and fuzzy relations.

@hackage/lean

Bonds to Lean theorem prover

@hackage/simple-units

Simple arithmetic with SI units using type-checked dimensional analysis.

@hackage/HQu

quantitative finance library

@hackage/mwc-probability

Sampling function-based probability distributions.

@hackage/Vec

Fixed-length lists and low-dimensional linear algebra.

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

@hackage/sym-plot

Plot permutations; an addition to the sym package

@hackage/arrayfire

Haskell bindings to the ArrayFire general-purpose GPU library

@hackage/numericpeano

Peano numbers with attendant bells and whistles.

@hackage/explicit-determinant

explicit computation of determinant of small matrices

@hackage/ruff

relatively useful fractal functions

@hackage/visibility

Simple computation of visibility polygons.

@hackage/speedy-slice

Speedy slice sampling.

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/ZEBEDDE

Polymer growth simulation method

@hackage/uniqueness-periods-vector-filters

A library allows to change the structure of the 'RealFrac' function output.

@hackage/graphviz

Bindings to Graphviz for graph visualisation.

@hackage/linear-circuit

Compute resistance of linear electrical circuits

@hackage/bin

Bin: binary natural numbers.

@hackage/lapack-ffi-tools

Generator for Haskell interface to Fortran LAPACK

@hackage/ease

Robert Penner's easing equations

@hackage/limp

representation of Integer Linear Programs

@hackage/hs-functors

Functors from products of Haskell and its dual to Haskell

@hackage/exact-real

Exact real arithmetic

@hackage/gsl-random-fu

Instances for using gsl-random with random-fu

@hackage/type-natural

Type-level natural and proofs of their properties.

@hackage/dumb-cas

A computer “algebra” system that knows nothing about algebra, at the core.

@hackage/category

Categorical types and classes

@hackage/limp-cbc

bindings for integer linear programming solver Coin/CBC

@hackage/hmatrix-static

hmatrix with vector and matrix sizes encoded in types

@hackage/unification-fd

Simple generic unification algorithms.

@hackage/garepinoh

reverse prefix notation calculator and calculation library

@hackage/matroid

matroid (combinatorial pre-geometries) library

@hackage/numerals-base

Convert numbers to number words

@hackage/coya

Coya monoids

@hackage/semiring-simple

A module for dealing with semirings.

@hackage/factory

Rational arithmetic in an irrational world.

@hackage/free-functors

Free functors, adjoint to functors that forget class constraints.

@hackage/conic-graphs

Vinyl-style extensible graphs.

@hackage/egyptian-fractions

Egyptian fractions in Haskell

@hackage/cmaes

CMA-ES wrapper in Haskell

@hackage/graph-rewriting-ski

Two interactive evalutors of the SKI combinator calculus

@hackage/manifolds

Coordinate-free hypersurfaces

@hackage/quote-quot

Divide without division

@hackage/hz3

Bindings for the Z3 Theorem Prover

@hackage/hmpfr

Haskell binding to the MPFR library

@hackage/cal-layout

Calendar Layout Algorithm

@hackage/phladiprelio-general-datatype

Extended functionality of PhLADiPreLiO

@hackage/cl3-linear-interface

Interface to/from Cl3 and Linear.

@hackage/linear-algebra-cblas

A linear algebra library with bindings to BLAS and LAPACK

@hackage/tau

Tau, the ratio between any circle's circumference and radius.

@hackage/RANSAC

The RANSAC algorithm for parameter estimation.

@hackage/numeric-ode

Ode solvers

@hackage/HasBigDecimal

A library for arbitrary precision decimal numbers.

@hackage/colour-space

Instances of the manifold-classes for colour types

@hackage/cmu

Unification in a Commutative Monoid

@hackage/duoidal-transformers

Extending the tranformers package with duoids

@hackage/half

Half-precision floating-point

@hackage/multi-instance

Typeclasses augmented with a phantom type parameter

@hackage/Numbers

An assortment of number theoretic functions

@hackage/sgd

Stochastic gradient descent library

@hackage/algebraic-classes

Conversions between algebraic classes and F-algebras.

@hackage/imj-base

Game engine with geometry, easing, animated text, delta rendering.

@hackage/jinquantities

Unit conversion and manipulation library.

@hackage/matrix-sized

Haskell matrix library with interface to C++ linear algebra libraries.

@hackage/comfort-blas

Numerical Basic Linear Algebra using BLAS

@hackage/lowlin

Low dimensional linear algebra

@hackage/mcmc

Sample from a posterior using Markov chain Monte Carlo

@hackage/goal-simulation

Mealy based simulation tools

@hackage/fplll

Haskell bindings to <https://fplll.github.io/fplll/ fplll>

@hackage/caldims

Calculation tool and library supporting units

@hackage/modular

Type-safe modular arithmetic

@hackage/jacobi-elliptic

Neville Theta Functions and Jacobi Elliptic Functions

@hackage/deptrack-dot

Facilitate Graphviz representations of DepTrack dependencies.

@hackage/numtype-dk

Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

@hackage/dvda

Efficient automatic differentiation and code generation

@hackage/deeplearning-hs

Deep Learning in Haskell

@hackage/fixed

Signed 15.16 precision fixed point arithmetic

@hackage/yx

Row-major coordinates

@hackage/quadratic-irrational

An implementation of quadratic irrationals

@hackage/hit-graph

Use graph algorithms to access and manipulate Git repos

@hackage/haar

Haar wavelet transforms

@hackage/ad

Automatic Differentiation

@hackage/NumberSieves

Number Theoretic Sieves: primes, factorization, and Euler's Totient

@hackage/stochastic

Monadic composition of probabilistic functions and sampling.

@hackage/integer-logarithms

Integer logarithms.

@hackage/atrophy

Faster integer division and modulus operations

@hackage/bayes-stack

Framework for inferring generative probabilistic models with Gibbs sampling

@hackage/statistics-hypergeometric-genvar

Random variate generation from hypergeometric distributions

@hackage/polar

Complex numbers in polar form

@hackage/sampling

Sample values from collections.

@hackage/fp-ieee

IEEE 754-2019 compliant operations

@hackage/kleene

Kleene algebra

@hackage/fast-math

Non IEEE-754 compliant compile-time floating-point optimisations

@hackage/combinatorial

Count, enumerate, rank and unrank combinatorial objects

@hackage/pava

Greatest convex majorants and least concave minorants

@hackage/phonetic-languages-simplified-generalized-examples-common

Some common code for phonetic languages generalized functionality.

@hackage/inf-interval

Non-contiguous interval data types with potentially infinite ranges.

@hackage/arithmoi

Efficient basic number-theoretic functions.

@hackage/magma

magma is an algebraic structure.

@hackage/duoids-hedgehog

Unifying parallel and sequential operations

@hackage/symengine

SymEngine symbolic mathematics engine for Haskell

@hackage/checksum

Compute and verify checksums of ISBN, IBAN, etc.