Haskell Math

Markov chain Monte Carlo with Metropolis-Hasting algorithm

YH数列システムの実装

HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.

Symbolic formula representation and solver interaction library

dependently typed tensor algebra in Haskell

General-Purpose Computer Algebra System as an EDSL in Haskell

Directed rounding and interval arithmetics with builtin floating types

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)

LOGO-like Turtle Graphics in the Haskell language using Monads.

Typesafe library for linear algebra

A very fast Haskell library for generating high quality pseudo-random numbers.

Parser and pretty printer for the TPTP language

Haskell interface to the sundials suite of nonlinear and differential/algebraic equation solvers

Instances to mix linear with accelerate

Linear algebra and numerical computation

Pool adjacent violators aglorithm

Modular arithmetic, promoting moduli to the type level

DISCONTINUED. Optics for the 'matrix' package.

A useful type for working with integers modulo some constant.

Formally prove properties of Haskell programs using SBV/SMT.

A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.

Analytic sampler compiler for combinatorial systems

BLAS and LAPACK operations for Accelerate

Generic matrix with statically known size and bindings to C++ linear algebra libraries (Eigen, Spectra).

haskell spaces

Special mathematical functions

Presburger arithmetic solver for built-in type-level naturals

Exact real arithmetic in Haskell

Convenient Haskell syntax for writing in LaTeX math expressions

Size tagged vectors

:european_castle: Determine how intervals relate to each other.

A Haskell binding to the fftw library

A library for numerical conversions using Galois connections

DISCONTINUED. Mathematics utilities to solve problems of Project Euler.

Semirings, rings, division rings, and modules.

Multivariate Dirichlet distribution, Haskell library.

Haskell binding to C++ earcut implementation.

A fast, high quality library for computing with statistics in Haskell.

The double category of Hask functors and profunctors

Type-level well-kinded natural numbers.

Automatic Differentiation

Tools for working with regular grids/graphs/lattices.

A probability distribution type layered on top of mwc-random.

Self-Organising Map implementation in Haskell

magma algebraic library

Safe and very efficient arithmetic operations on fixed decimal point numbers

Low-dimensional linear algebra primitives for Haskell.

Agda-style equational reasoning in Haskell

Haskell bindings to the GLPK library

Library for performing shuffles on vectors

Solve systems of linear equations, using SMT solvers.

Interface for Online Encyclopedia of Integer Sequences (OEIS).

fibonacci algebra

Haskell Curve25519 bindings.

Interval Arithmetic

Miscellaneous solver code for diagrams (low-degree polynomials, tridiagonal matrices)

A variety of mathematical utilities

Various iterative algorithms for optimization of nonlinear functions.

A Haskell math programming library

DISCONTINUED. A GLPK backend to the Haskell math-programming library

Kleene algebra, regular expressions

Sparse matrix linear equation solver, using the Conjugate Gradient algorithm

common properties

DIY Markov Chains.

Additional Instances for Data.Vector

constructive abstract algebra

Coordinate-free hypersurfaces as Haskell types

DISCONTINUED. Utility functions for testing backends to the `math-programming` library.

The home of the units Haskell package

Multidimensional arrays, Linear algebra

Library for spectral clustering.

Speedy slice sampling.

Use rotations to identify the elbow point of a two-dimensional long-tailed distribution.

Haskell 98 semigroups

Haskell 98 Natural Numbers

This is a Haskell binding to Geos, the open-source geometry library

Haskell bindings to igraph library.

Statistics package for Haskell based on hmatrix

Wrapper around matrix that adds matrix sizes to the type-level

Vector builder

Common mathematical laws

A simple way to interact with an SMT solver process.

Some numerical optimization methods implemented in Haskell

Conversion between hmatrix and vector-sized types

Many-dimensional type-safe numeric ops

Row-major 2D coordinates

Magma-like objects.

Instances for the Haskell Binary class, for the types defined in the popular vector package.

Type-safe modular arithmetic in Haskell, with modulus specifiable at runtime or compile time.

Unification and Matching in an Abelian Group

Braid representations in Haskell

Painless general-purpose sampling.

Exact computation with constructible real numbers

Subclasses of Monoid with a solid theoretical foundation and practical purposes

parse and evaluate math expressions

backprop primitives for hmatrix

A library to construct, combine and process numeric domains, written in Haskell.

Hilbert-Huang Transform (Empirical Mode Decomposition) in pure Haskell

Solve lagrangian multiplier problems