Mathematics

@hackage/nlopt-haskell

Low-level bindings to the NLOPT optimization library

@hackage/ascii-numbers

ASCII representations of numbers

@hackage/ProxN

Proximity sets in N dimensions

@hackage/comfort-fftw

High-level interface to FFTW (Fast Fourier Transform) based on comfort-array

@hackage/sfmt

SIMD-oriented Fast Mersenne Twister(SFMT) binding.

@hackage/geos

Bindings for GEOS.

@hackage/equational-reasoning-induction

Proof assistant for Haskell using DataKinds & PolyKinds

@hackage/HROOT-graf

Haskell binding to ROOT Graf modules

@hackage/tdigest-Chart

Chart generation from tdigest

@hackage/fixed-point

Binary fixed-point arithmetic

@hackage/hmatrix-sparse

Sparse linear solver

@hackage/deka-tests

Tests for deka, decimal floating point arithmetic

@hackage/fixed-precision

Fixed Precision Arithmetic

@hackage/glicko

Glicko-2 implementation in Haskell.

@hackage/accelerate-blas

Numeric Linear Algebra in Accelerate

@hackage/hgeos

Simple Haskell bindings to GEOS C API

@hackage/sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT

@hackage/atrophy

Faster integer division and modulus operations

@hackage/mersenne-random-pure64

Generate high quality pseudorandom numbers purely using a Mersenne Twister

@hackage/Flint2-Examples

Examples for the Flint2 library

@hackage/numeric-ranges

A framework for numeric ranges.

@hackage/fftw-ffi

Low-level interface to FFTW (Fast Fourier Transform)

@hackage/hsignal

Signal processing and EEG data analysis

@hackage/allen

A monadic way of calculating relations between intervals of time.

@hackage/continued-fraction

Types and functions for working with continued fractions in Haskell

@hackage/random-extras

Additional functions for random values.

@hackage/partial-semigroup-hedgehog

Property testing for partial semigroups using Hedgehog

@hackage/uniqueness-periods-vector-properties

Metrices for the maximum element for the uniqueness-periods-vector packages family.

@hackage/erf-native

Native Haskell implementation of the interface from the erf package

@hackage/safe-tensor

Dependently typed tensor algebra

@hackage/sum-pyramid

Create Sum Pyramid (Additionstreppe) exercises

@hackage/free-vector-spaces

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

@hackage/linear

Linear Algebra

@hackage/semiring-simple

A module for dealing with semirings.

@hackage/ipopt-hs

haskell binding to ipopt and nlopt including automatic differentiation

@hackage/DistanceTransform

Distance transform function.

@hackage/DigitGroup

Group the digits of numbers by lots

@hackage/tensort

Tunable sorting for responsive robustness and beyond

@hackage/rings

Ring-like objects.

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

Some properties of the data related to rhythmicity.

@hackage/wide-word-instances

Instances for wide-word

@hackage/curve25519

Fast implementations of the curve25519 elliptic curve primitives.

@hackage/LargeCardinalHierarchy

A transfinite cardinal arithmetic library including all known large cardinals

@hackage/tropical-geometry

A Tropical Geometry package for Haskell

@hackage/hmpfr

Haskell binding to the MPFR library

@hackage/rounded

Correctly-rounded arbitrary-precision floating-point arithmetic

@hackage/Logic

Logic

@hackage/unification-fd

Simple generic unification algorithms.

@hackage/optimization

Numerical optimization

@hackage/hgeometry-svg

Writing geometric primitives from HGeometry as SVG Files

@hackage/kmeans-vector

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

@hackage/constructible

Exact computation with constructible real numbers

@hackage/extended-reals

Extension of real numbers with positive/negative infinities

@hackage/fast-math

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

@hackage/unordered-graphs

Graph library using unordered-containers

@hackage/network-topic-models

A few network topic model implementations for bayes-stack

@hackage/haskell-igraph

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

@hackage/agum

Unification and Matching in an Abelian Group

@hackage/lie

Lie Algebras

@hackage/emd

Empirical Mode Decomposition and Hilbert-Huang Transform

@hackage/peano

Peano numbers

@hackage/nat-sized-numbers

Variable-sized numbers from type-level nats.

@hackage/mdp

Tools for solving Markov Decision Processes.

@hackage/Lattices

A library for lattices

@hackage/accelerate-fftw

Accelerate frontend to the FFTW library (Fourier transform)

@hackage/jacobi-theta

Jacobi Theta Functions

@hackage/partial-semigroup-test

Testing utilities for the partial-semigroup package

@hackage/dual

Dual category

@hackage/netlib-carray

Helper modules for CArray wrappers to BLAS and LAPACK

@hackage/gutenberg-fibonaccis

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

@hackage/numerical

core package for Numerical Haskell project

@hackage/monad-lrs

a monad to calculate linear recursive sequence

@hackage/simd

simple interface to GHC's SIMD instructions

@hackage/primes-type

Type-safe prime numbers.

@hackage/statistics-skinny

A library of statistical types, data, and functions

@hackage/hspray

Multivariate polynomials and fractions of multivariate polynomials.

@hackage/numhask-test

Laws and tests for numhask

@hackage/phonetic-languages-simplified-common

A simplified version of the phonetic-languages-functionality

@hackage/computational-algebra

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

@hackage/buffon

An implementation of Buffon machines.

@hackage/phonetic-languages-examples

A generalization of the uniqueness-periods-vector-examples functionality.

@hackage/linear-smc

Build SMC morphisms using linear types

@hackage/grakn

A Haskell client for Grakn

@hackage/category-traced

Traced monoidal categories

@hackage/combinat

Generate and manipulate various combinatorial objects.

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

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

@hackage/dde

Delay differential equations

@hackage/approximate

Approximate discrete values and numbers

@hackage/minitypeset-opengl

Layout and render text with TrueType fonts using OpenGL

@hackage/lin-alg

Low-dimensional matrices and vectors for graphics and physics

@hackage/phladiprelio-ukrainian-shared

A shared by different Ukrainian implementations of the PhLADiPreLiO functionality.

@hackage/deptrack-core

DepTrack Core types and model.

@hackage/hmatrix-static

hmatrix with vector and matrix sizes encoded in types

@hackage/sys-process

A replacement for System.Exit and System.Process.

@hackage/planar-graph

A representation of planar graphs

@hackage/hops

Handy Operations on Power Series

@hackage/foldl-statistics

Statistical functions from the statistics package implemented as Folds.

@hackage/semigroups-actions

Semigroups actions

@hackage/Homology

Compute the homology of a chain complex

@hackage/dimensional-tf

Statically checked physical dimensions, implemented using type families.

@hackage/closure

Depth- and breadth-first set closures

@hackage/hipe

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

@hackage/fizz-buzz

Functional Fizz/Buzz

@hackage/ad-delcont

Reverse-mode automatic differentiation with delimited continuations

@hackage/fib

fibonacci algebra

@hackage/property

common properties

@hackage/uniqueness-periods-vector-filters

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

@hackage/tropical

A library for tropical mathematics.

@hackage/numhask

A numeric class hierarchy.

@hackage/stochastic

Monadic composition of probabilistic functions and sampling.

@hackage/graph-rewriting-layout

Force-directed node placement intended for incremental graph drawing

@hackage/blas-hs

Low-level Haskell bindings to Blas.

@hackage/numhask-prelude

A numeric prelude

@hackage/AERN-Real-Double

arbitrary precision real interval arithmetic

@hackage/hieraclus

Automated clustering of arbitrary elements in Haskell.

@hackage/lapack

Numerical Linear Algebra using LAPACK

@hackage/tensor

A completely type-safe library for linear algebra

@hackage/groups

Groups

@hackage/fibonacci

Fast computation of Fibonacci numbers.

@hackage/numeric-optimization-backprop

Wrapper of numeric-optimization package for using with backprop package

@hackage/algebraic

General linear algebra structures.

@hackage/numerals

Convert numbers to number words

@hackage/stable-maps

Heterogeneous maps keyed by StableNames

@hackage/singular-factory

Multivariate polynomial factorization via bindings to Singular-factory

@hackage/symengine

SymEngine symbolic mathematics engine for Haskell

@hackage/graphql-w-persistent

GraphQL interface middleware for SQL databases.

@hackage/roots

Root-finding algorithms (1-dimensional)

@hackage/blas-comfort-array

Auto-generated interface to Fortran BLAS via comfort-array

@hackage/stern-brocot

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

@hackage/notzero

A data type for representing numeric values, except zero.

@hackage/numeric-logarithms

Integral and rational log2 algorithms

@hackage/qd

double-double and quad-double number type via libqd

@hackage/gamma

Gamma function and related functions.

@hackage/collect-errors

Error monad with a Float instance

@hackage/math-grads

Library containing graph data structures and graph algorithms

@hackage/accelerate-cublas

Basic Linear Algebra using native CUBLAS library

@hackage/statistics-linreg

Linear regression between two samples, based on the 'statistics' package.

@hackage/declarative

DIY Markov Chains.

@hackage/wigner-symbols

CG coefficients and Wigner symbols.

@hackage/cubicbezier

Efficient manipulating of 2D cubic bezier curves.

@hackage/SpatialMath

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

@hackage/numericpeano

Peano numbers with attendant bells and whistles.

@hackage/ParserFunction

Parse and evaluate mathematical expressions.

@hackage/hbayes

Bayesian Networks

@hackage/bindings-mpdecimal

bindings to mpdecimal library

@hackage/algebraic-graphs-io

I/O utilities and datasets for algebraic-graphs

@hackage/lagrangian

Solve Lagrange multiplier problems

@hackage/bindings-eskit

Bindings to ESKit.

@hackage/math-programming

A library for formulating and solving math programs.

@hackage/hlbfgsb

Haskell binding to L-BFGS-B version 3.0

@hackage/deptrack-dot

Facilitate Graphviz representations of DepTrack dependencies.

@hackage/simple-smt

A simple way to interact with an SMT solver process.

@hackage/ad

Automatic Differentiation

@hackage/aern2-real

Real numbers as convergent sequences of intervals

@hackage/erf

The error function, erf, and related functions.

@hackage/vect-floating

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

@hackage/numeric-optimization

Unified interface to various numerical optimization algorithms

@hackage/phonetic-languages-rhythmicity

Allows to estimate the rhythmicity properties for the text

@hackage/group-theory

The theory of groups

@hackage/magma

magma is an algebraic structure.

@hackage/rampart

Determine how intervals relate to each other.

@hackage/HROOT-net

Haskell binding to ROOT Net modules

@hackage/pell

Package to solve the Generalized Pell Equation.

@hackage/repr

Render overloaded expressions to their textual representation.

@hackage/gsl-random

Bindings the the GSL random number generation facilities.

@hackage/LPPaver

An automated prover targeting problems that involve nonlinear real arithmetic

@hackage/hasty-hamiltonian

Speedy traversal through parameter space.

@hackage/ghc-typelits-presburger

Presburger Arithmetic Solver for GHC Type-level natural numbers.

@hackage/phonetic-languages-phonetics-basics

A library for working with generalized phonetic languages usage.

@haskell/integer-gmp

Integer library based on GMP

@hackage/srtree

A general framework to work with Symbolic Regression expression trees.

@hackage/diophantine

A quadratic diophantine equation solving library.

@hackage/graph-generators

Functions for generating structured or random FGL graphs

@hackage/squares

The double category of Hask functors and profunctors

@hackage/simple-expr

Minimalistic toolkit for simple mathematical expression.

@hackage/manifolds

Coordinate-free hypersurfaces

@hackage/matrix-lens

Optics for the "matrix" package

@hackage/OGDF

Haskell binding to OGDF

@hackage/graph-rewriting-cl

Interactive graph rewriting system implementing various well-known combinators

@hackage/hmatrix-gsl

Numerical computation

@hackage/recommender-als

Recommendations using alternating least squares algorithm

@hackage/blas-carray

Auto-generated interface to Fortran BLAS via CArrays

@hackage/combinatorial

Count, enumerate, rank and unrank combinatorial objects

@hackage/goal-graphical

Optimization of latent variable and dynamical models with Goal

@hackage/LetsBeRational

European option implied vol calculation

@hackage/hmm-lapack

Hidden Markov Models using LAPACK primitives

@hackage/multiset-comb

Combinatorial algorithms over multisets

@hackage/number-wall

Create number walls and save them as images

@hackage/pcubature

Integration over convex polytopes

@hackage/hahp

Analytic Hierarchy Process

@hackage/yices-painless

An embedded language for programming the Yices SMT solver

@hackage/simplex-basic

Very basic simplex implementation.

@hackage/pure-fft

Fast Fourier Transform

@hackage/accelerate-arithmetic

Linear algebra and interpolation using the Accelerate framework

@hackage/splines

B-Splines, other splines, and NURBS.

@hackage/linear-code

A simple library for linear codes (coding theory, error correction)

@hackage/hs-functors

Functors from products of Haskell and its dual to Haskell

@hackage/hmatrix-nipals

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

@hackage/phladiprelio-general-datatype

Extended functionality of PhLADiPreLiO

@hackage/nurbs

NURBS

@hackage/integer-roots

Integer roots and perfect powers

@hackage/diagrams-solve

Pure Haskell solver routines used by diagrams

@hackage/haskell-mpfr

Correctly-rounded arbitrary-precision floating-point arithmetic

@hackage/np-extras

NumericPrelude extras

@hackage/linear-tests

Linear Algebra

@hackage/numeric-kinds

Type-level numeric types and classes

@hackage/geocalc

Libary for calculating distances between two coordinates in WSG84

@hackage/gasp

A framework of algebraic classes

@hackage/circular

Circular fixed-sized mutable vectors

@hackage/bin

Bin: binary natural numbers.

@hackage/SmithNormalForm

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

@hackage/euler

Mathematics utilities for Haskell

@hackage/lowlin

Low dimensional linear algebra

@hackage/phonetic-languages-constraints-array

Constraints to filter the needed permutations

@hackage/antimirov

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

@hackage/digamma

A (deprecated) implementation of the digamma function

@hackage/superbubbles

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

@hackage/goal-geometry

The basic geometric type system of Goal

@hackage/hsilop

RPN calculator

@hackage/fixed-point-vector-space

vector-space instances for the fixed-point package

@hackage/crf-chain1

First-order, linear-chain conditional random fields

@hackage/FirstOrderTheory

Grammar and typeclass for first order theories

@hackage/mathexpr

Parse and evaluate math expressions with variables and functions

@hackage/repa-fftw

Perform fft with repa via FFTW

@hackage/numerical-integration

Numerical integration.

@hackage/ieee-utils-tempfix

ieee-utils

@hackage/numeric-extras

Useful tools from the C standard library

@hackage/sbv

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

@hackage/AC-Colour

Efficient RGB colour types.

@hackage/numeric-tools

Collection of numerical tools for integration, differentiation etc.

@hackage/random-hypergeometric

Random variate generation from hypergeometric distributions

@hackage/reduce-equations

Simplify a set of equations by removing redundancies

@hackage/ireal

Real numbers and intervals with relatively efficient exact arithmetic.

@hackage/mpolynomials

Simple multivariate polynomials.

@hackage/colour-space

Instances of the manifold-classes for colour types

@hackage/HaskellForMaths

Combinatorics, group theory, commutative algebra, non-commutative algebra

@hackage/explicit-determinant

explicit computation of determinant of small matrices

@hackage/semirings

two monoids as one, in holy haskimony

@hackage/Ordinals

Ordinal arithmetic

@hackage/mcl

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

@hackage/permutation

A library for permutations and combinations.

@hackage/rclient

Haskell client for Rserve

@hackage/numeric-optimization-ad

Wrapper of numeric-optimization package for using with AD package

@hackage/mcmc-samplers

Combinators for MCMC sampling

@hackage/inf-backprop

Automatic differentiation and backpropagation.

@hackage/hmatrix-nlopt

Interface HMatrix with the NLOPT minimizer

@hackage/bayes-stack

Framework for inferring generative probabilistic models with Gibbs sampling

@hackage/levmar

An implementation of the Levenberg-Marquardt algorithm

@hackage/oeis2

Interface for Online Encyclopedia of Integer Sequences (OEIS).

@hackage/simple-vec3

Three-dimensional vectors of doubles with basic operations

@hackage/uniqueness-periods-vector

Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality.

@hackage/casadi-bindings-snopt-interface

low level bindings to casadi-snopt_interface

@hackage/constructive-algebra

A library of constructive algebra.

@hackage/rounding

Explicit floating point rounding mode wrappers

@hackage/aern2-fun

Generic operations for real functions

@hackage/dimensional

Statically checked physical dimensions

@hackage/game-probability

Simple probability library for dice rolls, card games and similar

@hackage/numtype-dk

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

@hackage/range-space

A Range type with vector-space instances

@hackage/number

A library for real numbers

@hackage/hypergeomatrix

Hypergeometric function of a matrix argument

@hackage/eigen

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

@hackage/subhask

Type safe interface for programming in subcategories of Hask

@hackage/aeson-diff-generic

Apply a json-patch to any haskell datatype.

@hackage/ca

Cellular Automata

@hackage/fgl-arbitrary

QuickCheck support for fgl

@hackage/numeric-quest

Math and quantum mechanics

@hackage/linear-vect

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

@hackage/safe-decimal

Safe and very efficient arithmetic operations on fixed decimal point numbers

@hackage/Monocle

Symbolic computations in strict monoidal categories with LaTeX output.

@hackage/qhull-simple

Simple bindings to Qhull, a library for computing convex hulls

@hackage/AERN-Real-Interval

arbitrary precision real interval arithmetic

@hackage/linear-grammar

A simple grammar for building linear equations and inclusive inequalities.

@hackage/derivation-trees

Typeset Derivation Trees via MetaPost

@hackage/arithmetic

Natural number arithmetic

@hackage/accelerate-fourier-benchmark

Compare different implementations of the Fast Fourier Transform

@hackage/netlib-comfort-array

Helper modules for comfort-array wrappers to BLAS and LAPACK

@hackage/homeomorphic

Homeomorphic Embedding Test

@hackage/hgeometry-combinatorial

Data structures, and Data types.

@hackage/math-programming-glpk

A GLPK backend to the math-programming library.

@hackage/cmu

Unification in a Commutative Monoid

@hackage/Paillier

a simple Paillier cryptosystem

@hackage/dfrac

A package for precise decimal arithmatic using rationals.

@hackage/hmatrix-quadprogpp

Bindings to the QuadProg++ quadratic programming library

@hackage/nonlinear-optimization-backprop

Wrapper of nonlinear-optimization package for using with backprop package

@hackage/vect-floating-accelerate

Accelerate instances for vect-floating types

@hackage/exact-real

Exact real arithmetic

@hackage/casadi-bindings-internal

low level bindings to CasADi

@hackage/HROOT-io

Haskell binding to ROOT IO modules

@hackage/som

Self-Organising Maps

@hackage/microlens-aeson

Law-abiding lenses for Aeson, using microlens

@hackage/cf

Exact real arithmetic using continued fractions

@hackage/mighty-metropolis

The Metropolis algorithm.

@hackage/factor

Factoring integers and polynomials

@hackage/automata

automata

@hackage/random-source

Generic basis for random number generators

@hackage/phonetic-languages-constaints

Constraints to filter the needed permutations

@hackage/casui

Equation Manipulator

@hackage/xdot

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

@hackage/hfoil

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

@hackage/connections

Orders, Galois connections, and lattices.

@hackage/search

Infinite search in finite time with Hilbert's epsilon

@hackage/cl3-linear-interface

Interface to/from Cl3 and Linear.

@hackage/atp

Interface to automated theorem provers

@hackage/rad

Reverse Automatic Differentiation.

@hackage/knots

Khovanov homology computations

@hackage/arb-fft

Pure Haskell arbitrary length FFT library

@hackage/apportionment

Round a set of numbers while maintaining its sum

@hackage/hdr-histogram

Haskell implementation of High Dynamic Range (HDR) Histograms

@hackage/taco

Tensor Algebra COmpiler

@hackage/rev-scientific

A library to provide special kind of big numbers writing.

@hackage/sparse-linear-algebra

Numerical computing in native Haskell

@hackage/GaussQuadIntegration

Non-adaptive Gaussian quadrature for numeric integraton

@hackage/simple-units

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

@hackage/combinatorics

Efficient computation of common combinatoric functions.

@hackage/hgeometry-ipe

Reading and Writing ipe7 files.

@hackage/stats

command line statistics

@hackage/nth-prime

Computing the nth prime

@hackage/data-nat

data Nat = Zero | Succ Nat

@hackage/mcmc-types

Common types for sampling.

@hackage/Naperian

Naperian Functors for APL-like programming

@hackage/ieee-utils

ieee-utils

@hackage/semiring

Semirings, ring-like structures used for dynamic programming applications

@hackage/vector-space-points

A type for points, as distinct from vectors.

@hackage/accelerate-fourier

Fast Fourier transform and convolution using the Accelerate framework

@hackage/logfloat

Log-domain floating point numbers

@hackage/xorshift-plus

Simple implementation of xorshift+ PRNG

@hackage/igraph

Bindings to the igraph C library.

@hackage/graph-rewriting

Monadic graph rewriting of hypergraphs with ports and multiedges

@hackage/adjunction

See README for more info

@hackage/highs-lp

Linear Programming using HiGHS and comfort-array

@hackage/DP

Pragmatic framework for dynamic programming

@hackage/fpnla-examples

Example implementations for FPNLA library

@hackage/data-interval

Interval datatype, interval arithmetic and interval-based containers

@hackage/WeberLogic

Logic interpreter

@hackage/acts

Semigroup actions and torsors.

@hackage/fptest

IEEE754r floating point conformance tests

@hackage/cplex-hs

high-level CPLEX interface

@hackage/rounded-hw

Directed rounding for built-in floating types

@hackage/Flint2

Haskell bindings for the flint library for number theory

@hackage/lens-aeson

Law-abiding lenses for aeson

@hackage/glasso

Graphical Lasso algorithm

@hackage/AERN-Net

Compositional lazy dataflow networks for exact real number computation

@hackage/dom-lt

The Lengauer-Tarjan graph dominators algorithm.

@hackage/lattices

Fine-grained library for constructing and manipulating lattices

@hackage/easytensor

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

@hackage/quote-quot

Divide without division

@hackage/mwc-random-monad

Monadic interface for mwc-random

@hackage/AERN-RnToRm-Plot

GL plotting of polynomial function enclosures (PFEs)

@hackage/cmath

A binding to the standard C math library

@hackage/prime

prime number tools

@hackage/garepinoh

reverse prefix notation calculator and calculation library

@hackage/plankton

The core of a numeric prelude, taken from numhask

@hackage/WeakSets

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

@hackage/linear-accelerate

Lifting linear vector spaces into Accelerate

@hackage/lean-peano

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

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

Some commonly used by phonetic-languages-simplified* series functions.

@hackage/opentheory-prime

Prime natural numbers

@hackage/inf-interval

Non-contiguous interval data types with potentially infinite ranges.

@hackage/affine-invariant-ensemble-mcmc

General-purpose sampling

@hackage/exact-real-positional

Framework for Exact Real Arithmetic in the Positional Number System

@hackage/polar

Complex numbers in polar form

@hackage/simplex-method

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

@hackage/AC-Vector-Fancy

Fancy type-system stuff for AC-Vector

@hackage/l-bfgs-b

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

@hackage/log-domain

Log-domain arithmetic

@hackage/bindings-levmar

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

@hackage/yx

Row-major coordinates

@hackage/casadi-bindings-ipopt-interface

low level bindings to casadi-ipopt_interface

@hackage/PropaFP

Auto-active verification of floating-point programs

@hackage/half

Half-precision floating-point

@hackage/cl3

Clifford Algebra of three dimensional space.

@hackage/directed-cubical

Finite directed cubical complexes and associated algorithms

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

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

@hackage/quantities

Unit conversion and manipulation library.

@hackage/conic-graphs

Vinyl-style extensible graphs.

@hackage/prob

Discrete probability monad

@hackage/haggle

A graph library offering mutable, immutable, and inductive graphs

@hackage/algebraic-graphs

A library for algebraic graph construction and transformation

@hackage/distribution

Finite discrete probability distributions.

@hackage/vect

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

@hackage/periodic-polynomials

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

@hackage/interval-algebra

An implementation of Allen's interval algebra for temporal logic

@hackage/exp-extended

floating point with extended exponent range

@hackage/float-binstring

C99 printf "%a" style formatting and parsing

@hackage/compensated

Compensated floating-point arithmetic

@hackage/numerals-base

Convert numbers to number words

@hackage/hmatrix-syntax

MATLAB-like syntax for hmatrix vectors and matrices

@hackage/regression-simple

Simple linear and quadratic regression

@hackage/fad

Forward Automatic Differentiation.

@hackage/rivers

Rivers are like Streams, but different.

@hackage/decimal-arithmetic

An implementation of the General Decimal Arithmetic Specification

@hackage/ruff

relatively useful fractal functions

@hackage/pandoc-symreg

A tool to convert symbolic regression expressions into different formats.

@hackage/HROOT-math

Haskell binding to ROOT Math modules

@hackage/maxent

Compute Maximum Entropy Distributions

@hackage/linear-circuit

Compute resistance of linear electrical circuits

@hackage/mwc-probability

Sampling function-based probability distributions.

@hackage/coinor-clp

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

@hackage/long-double

FFI bindings for C long double

@hackage/fp-ieee

IEEE 754-2019 compliant operations

@hackage/boltzmann-brain

Analytic sampler compiler for combinatorial systems.

@hackage/lean

Bonds to Lean theorem prover

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

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

@hackage/category

Categorical types and classes

@hackage/cyclotomic

A subfield of the complex numbers for exact calculation.

@hackage/glpk-headers

Low-level Haskell bindings to the GLPK library

@hackage/bins

Aggregate continuous values into discrete bins

@hackage/numtype

Type-level (low cardinality) integers.

@hackage/cmaes

CMA-ES wrapper in Haskell

@hackage/AC-Boolean

Handle Boolean values generatically.

@hackage/phonetic-languages-simplified-base

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

@hackage/hmatrix-svdlibc

SVDLIBC bindings for HMatrix

@hackage/accelerate-fft

FFT using the Accelerate library

@hackage/caldims

Calculation tool and library supporting units

@hackage/uniqueness-periods-vector-general

Some kind of the optimization approach to data inner structure.

@hackage/probability

Probabilistic Functional Programming

@hackage/real-dice

Random number generation based on physical media touched by humans

@hackage/maxsharing

Maximal sharing of terms in the lambda calculus with letrec

@hackage/dot

Datatypes and encoding for graphviz dot files

@hackage/cal-layout

Calendar Layout Algorithm

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/miniball

Bindings to Miniball, a smallest enclosing ball library

@hackage/finite-fields

Arithmetic in finite fields

@hackage/casadi-bindings-control

low level bindings to casadi-control

@hackage/ordered

A definition of Posets.

@hackage/lazysplines

Differential solving with lazy splines

@hackage/crf-chain2-generic

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

@hackage/hirt

Calculates IRT 2PL and 3PL models

@hackage/functor

Functors

@hackage/jinquantities

Unit conversion and manipulation library.

@hackage/plot-gtk-ui

A quick way to use Mathematica like Manipulation abilities

@hackage/ieee754

Utilities for dealing with IEEE floating point numbers

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

@hackage/topograph

Directed acyclic graphs.

@hackage/RoundingFiasco

rounding variants floor, ceil and truncate for floating point operations +-*/√…

@hackage/LATS

Linear Algebra on Typed Spaces

@hackage/kleene

Kleene algebra

@hackage/type-settheory

Sets and functions-as-relations in the type system

@hackage/float128

FFI bindings for C _Float128

@hackage/dirichlet

Multivariate Dirichlet distribution

@hackage/exact-cover

Efficient exact cover solver.

@hackage/earcut

Binding to C++ earcut library.

@hackage/ContextAlgebra

Implementation of the context algebra.

@hackage/speedy-slice

Speedy slice sampling.

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

Some common code for phonetic languages generalized functionality.

@hackage/clifford

A Clifford algebra library

@hackage/readshp

Code for reading ESRI Shapefiles.

@hackage/mathlist

Math using lists, including FFT and Wavelet

@hackage/graph-utils

A simple wrapper & quasi quoter for fgl.

@hackage/easyplot

A tiny plotting library, utilizes gnuplot for plotting.

@hackage/manifolds-core

The basic classes for the manifolds hierarchy.

@hackage/exp-pairs

Linear programming over exponent pairs

@hackage/Numbers

An assortment of number theoretic functions

@hackage/ApproxFun-hs

Function approximation

@hackage/intervals

Interval Arithmetic

@hackage/haar

Haar wavelet transforms

@hackage/hmatrix-tests

Tests for hmatrix

@hackage/np-linear

Linear algebra for the numeric-prelude framework

@hackage/quantizer

Library to provide the behaviour similar to quantum states superposition.

@hackage/Eq

Render math formula in ASCII, and perform some simplifications

@hackage/conjugateGradient

Sparse matrix linear-equation solver

@hackage/jalaali

Jalaali calendar systems

@hackage/coincident-root-loci

Equivariant CSM classes of coincident root loci

@hackage/clac

Simple CLI RPN calculator

@hackage/hcg-minus-cairo

haskell cg (minus) (cairo rendering)

@hackage/Vec-Transform

This package is obsolete

@hackage/tower

A numeric tower

@hackage/dozenal

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

@hackage/sets

Ducktyped set interface for Haskell containers.

@hackage/wuerfelschlange

Code for the dice chain problem

@hackage/rungekutta

A collection of explicit Runge-Kutta methods of various orders

@hackage/GeomPredicates

Geometric predicates

@hackage/buffon-machines

Perfect simulation of discrete random variables

@hackage/HNumeric

Haskell Numeric Library with pure functionality, R & MATLAB Syntax.

@hackage/AC-Angle

Angles in degrees and radians.

@hackage/numeric-prelude

An experimental alternative hierarchy of numeric type classes

@hackage/canon

Arithmetic for Psychedelically Large Numbers

@hackage/geom2d

package for geometry in euklidean 2d space

@hackage/AERN-RnToRm

polynomial function enclosures (PFEs) approximating exact real functions

@hackage/sigma-ij

Thom polynomials of second order Thom-Boardman singularities

@hackage/sloane

A command line interface to Sloane's OEIS.

@hackage/matrix-sized

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

@hackage/fgl

Martin Erwig's Functional Graph Library

@hackage/casadi-bindings

mid-level bindings to CasADi

@hackage/math-extras

A variety of mathematical utilities

@hackage/hmatrix-vector-sized

Conversions between hmatrix and vector-sized types

@hackage/integer-pure

A pure-Haskell implementation of arbitrary-precision Integers.

@hackage/spectral-clustering

Library for spectral clustering.

@hackage/HERA

@hackage/DifferentialEvolution

Global optimization using Differential Evolution

@hackage/variable-precision

variable-precision floating point

@hackage/ratio-int

Fast specialisation of Data.Ratio for Int.

@hackage/manifold-random

Sampling random points on general manifolds.

@hackage/jalla

Higher level functions for linear algebra. Wraps BLAS and LAPACKE.

@hackage/handa-geodata

Geographic and Geometric Data

@hackage/AERN-Real

arbitrary precision real interval arithmetic

@hackage/kmn-programming

K_M,N quadratic programming

@hackage/MeanShift

Mean shift algorithm

@hackage/pos

positive numbers

@hackage/kalman

Kalman and particle filters and smoothers

@hackage/complex-integrate

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

@hackage/sym

Permutations, patterns, and statistics

@hackage/science-constants-dimensional

Mathematical/physical/chemical constants

@hackage/z3

Bindings for the Z3 Theorem Prover

@hackage/besout

Extended GCD of polynomials over F_p[x]

@hackage/semilattices

Semilattices

@hackage/ms

metric spaces

@hackage/linear-geo

Geographic coordinates, built on the linear package.

@hackage/fft

Bindings to the FFTW library.

@hackage/graph-rewriting-gl

OpenGL interface for interactive port graph rewriting

@hackage/xorshift

Haskell implementation of the xorshift random generator.

@hackage/hTensor

Multidimensional arrays and simple tensor computations.

@hackage/nix-graph

Reify the Nix build graph into a Haskell graph data structure

@hackage/vector-fft

Native FFT and IFFT for vector

@hackage/Data-Angle

Geometric angles

@hackage/monoidplus

Extra classes/functions about monoids

@hackage/pig

dice game

@hackage/scubature

Multidimensional integration over simplices

@hackage/Decimal

Decimal numbers with variable precision

@hackage/hgeometry

Geometric Algorithms, Data structures, and Data types.

@hackage/reservoir

Unweighted reservoir sampling

@hackage/FiniteCategories

Finite categories and usual categorical constructions on them.

@hackage/HROOT-hist

Haskell binding to ROOT Hist modules

@hackage/goal-probability

Optimization on manifolds of probability distributions with Goal

@hackage/GeomPredicates-SSE

Geometric predicates (Intel SSE)

@hackage/BesselJ

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

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

Helps to create Ukrainian texts with the given phonetic properties.

@hackage/monoids

Deprecated: Use 'reducers'

@hackage/porcupine-core

Express portable, composable and reusable data tasks and pipelines

@hackage/vowpal-utils

Vowpal Wabbit utilities

@hackage/SGplus

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

@hackage/algebraic-classes

Conversions between algebraic classes and F-algebras.

@hackage/posit

Posit Numbers

@hackage/goal-core

Common, non-geometric tools for use with Goal

@hackage/frotate

Advanced rotation of backups and other things

@hackage/fixedprec

A fixed-precision real number type

@hackage/fixed-point-vector

Unbox instances for the fixed-point package

@hackage/complex-generic

complex numbers with non-mandatory RealFloat

@hackage/Vec

Fixed-length lists and low-dimensional linear algebra.

@hackage/rsagl-math

The RogueStar Animation and Graphics Library: Mathematics

@hackage/matlab

Matlab bindings and interface

@hackage/linear-programming

Linear Programming basic definitions

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

Some properties of the data related to rhythmicity.

@hackage/hR

R bindings and interface

@hackage/graph-wrapper

A wrapper around the standard Data.Graph with a less awkward interface

@hackage/hmatrix-repa

Adaptors for interoperability between hmatrix and repa

@hackage/elbow

Find the elbow point.

@hackage/fplll

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

@hackage/Modulo

Modular arithmetic via Numeric-Prelude

@hackage/HaskellLM

Pure Haskell implementation of the Levenberg-Marquardt algorithm

@hackage/turing-machines

A simple simulator for Turing machines

@hackage/lapack-ffi

Auto-generated interface to Fortran LAPACK

@hackage/phonetic-languages-constraints

Constraints to filter the needed permutations

@hackage/phladiprelio-general-shared

A shared by different general implementations of the PhLADiPreLiO functionality.

@hackage/pangraph

A set of parsers for graph languages and conversions to graph libaries.

@hackage/Cartesian

Coordinate systems

@hackage/numtype-tf

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

@hackage/fin

Nat and Fin: peano naturals and finite numbers

@hackage/hmatrix-sundials

hmatrix interface to sundials

@hackage/wkt-types

A library for working with .wkt files.

@hackage/mcmc

Sample from a posterior using Markov chain Monte Carlo

@hackage/vector-space-map

vector-space operations for finite maps using Data.Map

@hackage/mwc-random

Fast, high quality pseudo random number generation

@hackage/numeric-domains

Numeric Domains

@hackage/braid

Types and functions to work with braids and Khovanov homology.

@hackage/qlinear

Typesafe library for linear algebra

@hackage/lbfgs

L-BFGS optimization

@hackage/hit-graph

Use graph algorithms to access and manipulate Git repos

@hackage/phonetic-languages-permutations-array

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

@hackage/stp

Simple Theorem Prover

@hackage/graphviz

Bindings to Graphviz for graph visualisation.

@hackage/AERN-Basics

foundational type classes for approximating exact real numbers

@hackage/fractals

A collection of useful fractal curve encoders

@hackage/detour-via-sci

JSON and CSV encoding for rationals as decimal point numbers.

@hackage/mmsyn2-array-ukrainian-data

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

@hackage/MIP-glpk

A GLPK backend to the MIP library.

@hackage/mfsolve

Equation solver and calculator à la metafont

@hackage/opentheory-fibonacci

Fibonacci numbers

@hackage/spatial-rotations

Rotate about any suitable axis

@hackage/qd-vec

'Vec' instances for 'qd' types

@hackage/fgl-visualize

Convert FGL graphs to dot (graphviz) files

@hackage/HerbiePlugin

automatically improve your code's numeric stability

@hackage/HROOT-core

Haskell binding to ROOT Core modules

@hackage/polynomial

Polynomials

@hackage/hps-kmeans

A nice implementation of the k-Means algorithm.

@hackage/chainweb-mining-client

Mining Client for Kadena Chainweb

@hackage/turingMachine

An implementation of Turing Machine and Automaton

@hackage/hascal

tiny calculator library and command-line program

@hackage/hgmp

Haskell interface to GMP

@hackage/statistics-fusion

An implementation of high performance, minimal statistics functions

@hackage/units

A domain-specific type system for dimensional analysis

@hackage/interval-patterns

Intervals, and monoids thereof

@hackage/boolector

Haskell bindings for the Boolector SMT solver

@hackage/fftwRaw

Low level bindings to FFTW.

@hackage/shapes-math

faster vector/matrix math using unboxed numbers and Template Haskell

@hackage/fast-arithmetic

Fast functions on integers.

@hackage/exact-combinatorics

Efficient exact computation of combinatoric functions.

@hackage/fast-combinatorics

Fast combinatorics.

@hackage/grid

Tools for working with regular grids (graphs, lattices).

@hackage/bed-and-breakfast

Efficient Matrix and Vector operations in 100% Haskell.

@hackage/involutive-semigroups

Semigroups with involution.

@hackage/tdigest

On-line accumulation of rank-based statistics

@hackage/hmatrix-gsl-stats

GSL Statistics interface

@hackage/hz3

Bindings for the Z3 Theorem Prover

@hackage/calendar-recycling

List years with the same calendars

@hackage/linda

LINear Discriminant Analysis

@hackage/elliptic-integrals

Carlson Elliptic Integrals and Incomplete Elliptic Integrals

@hackage/jacobi-roots

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

@hackage/arithmatic

do things with numbers

@hackage/moving-averages

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

@hackage/rhythmic-sequences

Improved library to deal with rhythmicity of short sequences

@hackage/pareto

A library for cause-effect relationships.

@hackage/phonetic-languages-permutations

Commonly used versions of the phonetic-languages-common package

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

@hackage/numeric-limits

Various floating point limit related constants.

@hackage/spsa

Simultaneous Perturbation Stochastic Approximation Optimization Algorithm

@hackage/casadi-bindings-core

autogenerated low level bindings to casadi

@hackage/poker-eval

Binding to libpoker-eval

@hackage/sampling

Sample values from collections.

@hackage/fadno-braids

Braid representations in Haskell

@hackage/finite-field

Finite Fields

@hackage/ease

Robert Penner's easing equations

@hackage/hcg-minus

haskell cg (minus)

@hackage/permutations

Permutations of finite sets

@hackage/nonlinear-optimization

Various iterative algorithms for optimization of nonlinear functions.

@hackage/hmatrix-glpk

Linear Programming based on GLPK

@hackage/yap

yet another prelude - a simplistic refactoring with algebraic classes

@hackage/stacked-dag

Ascii DAG(Directed acyclic graph) for visualization of dataflow

@hackage/crf-chain1-constrained

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

@hackage/graph-rewriting-lambdascope

Lambdascope, an optimal evaluator of the lambda calculus

@hackage/data-category

Category theory

@hackage/NTRU

NTRU Cryptography

@hackage/comfort-blas

Numerical Basic Linear Algebra using BLAS

@hackage/type-natural

Type-level natural and proofs of their properties.

@hackage/matrix-market

Read and write NIST Matrix Market files

@hackage/deeplearning-hs

Deep Learning in Haskell

@hackage/SG

Small geometry library for dealing with vectors and collision detection

@hackage/oalg-base

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

@hackage/reader-soup

Vinyl-based reader-like monad composition

@hackage/function-instances-algebra

Instances of the Algebra.* classes for functions

@hackage/Probnet

Geometric Extrapolation of Integer Sequences with error prediction

@hackage/lawz

Common mathematical laws.

@hackage/egyptian-fractions

Egyptian fractions in Haskell

@hackage/resistor-cube

Compute total resistance of a cube of resistors

@hackage/monoid-absorbing

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

@hackage/edges

Tools for efficient immutable graphs

@hackage/mod

Fast type-safe modular arithmetic

@hackage/magico

Compute solutions for Magico puzzle

@hackage/blas-ffi

Auto-generated interface to Fortran BLAS

@hackage/r-glpk-phonetic-languages-ukrainian-durations

Can be used to calculate the durations of the approximations of the Ukrainian phonemes.

@hackage/hypergeometric

Hypergeometric functions

@hackage/fractionizer

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

@hackage/approx

Easy-to-use reasonable way of emulating approximate in Haskell.

@hackage/free-algebras

Free algebras

@hackage/cash

the Computer Algebra SHell

@hackage/fpnla

A library for NLA operations

@hackage/matrix-static

Type-safe matrix operations

@hackage/hstats

Statistical Computing in Haskell

@hackage/knead-arithmetic

Linear algebra and interpolation using LLVM JIT

@hackage/phladiprelio-general-simple

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

@hackage/linear-algebra-cblas

A linear algebra library with bindings to BLAS and LAPACK

@hackage/significant-figures

Calculate expressions involving significant figures.

@hackage/combinat-diagrams

Graphical representations for various combinatorial objects

@hackage/graphite

Graphs and networks library

@hackage/Vec-Boolean

Provides Boolean instances for the Vec package

@hackage/oalg-abg

Finitely generated abelian groups.

@hackage/numbers

Various number types

@hackage/safe-numeric

Safe arithmetic operations.

@hackage/gray-extended

Gray encoding schemes

@hackage/AC-HalfInteger

Efficient half-integer type.

@hackage/goal-simulation

Mealy based simulation tools

@hackage/nat

Lazy binary natural numbers

@hackage/limp-cbc

bindings for integer linear programming solver Coin/CBC

@hackage/backprop

Heterogeneous automatic differentation

@hackage/checksum

Compute and verify checksums of ISBN, IBAN, etc.

@hackage/nats

Natural numbers

@hackage/spatial-math

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

@hackage/regress

Linear and logistic regression through automatic differentiation

@hackage/calculator

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

@hackage/free-category

efficient data types for free categories and arrows

@hackage/hmm-hmatrix

Hidden Markov Models using HMatrix primitives

@hackage/alg

Algebraic structures

@hackage/dvda

Efficient automatic differentiation and code generation

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

Some 'properties' of the phonetic languages approach text.

@hackage/matrix

A native implementation of matrix operations.

@hackage/graql

Execute Graql queries on a Grakn graph

@hackage/math-functions

Collection of tools for numeric computations

@hackage/battleship-combinatorics

Compute number of possible arrangements in the battleship game

@hackage/Dist

A Haskell library for probability distributions

@hackage/digraph

Directed Graphs

@hackage/yices-easy

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

@hackage/delaunayNd

Delaunay tessellation

@hackage/science-constants

Mathematical/physical/chemical constants

@hackage/monoid-subclasses

Subclasses of Monoid

@hackage/clif

A Clifford algebra number type for Haskell

@hackage/random-cycle

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

@hackage/svm-light-utils

Parsers and formatters for the SVMlight input file format

@hackage/random-fu-multivariate

Multivariate distributions for random-fu

@hackage/clipper

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

@hackage/downhill

Reverse mode automatic differentiation

@hackage/sign

Arithmetic over signs and sets of signs

@hackage/FiniteCategoriesGraphViz

Transform objects of the package FiniteCategories into graphs using GraphViz.

@hackage/decimal-literals

Preprocessing decimal literals more or less as they are (instead of via fractions)

@hackage/mwc-probability-transition

A Markov stochastic transition operator with logging

@hackage/integer-types

Integer, Natural, and Positive

@hackage/nat-optics

Refinement types for natural numbers with an optics interface

@hackage/weierstrass-functions

Weierstrass Elliptic Functions

@hackage/deka

Decimal floating point arithmetic

@hackage/vertexenum

Vertex enumeration

@hackage/nuha

Multidimensional arrays, Linear algebra, Numerical analysis

@hackage/primesieve

FFI bindings for the primesieve library.

@hackage/libroman

Use Roman Numerals as a Numeric Datatype (sort of)

@hackage/qhull

Delaunay triangulation, Voronoi diagrams and convex hulls.

@hackage/siggy-chardust

Rounding rationals to significant digits and decimal places.

@hackage/exact-kantorovich

Exact Kantorovich distance between finite probability measures.

@hackage/partial-semigroup

A partial binary associative operator

@hackage/tau

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

@hackage/HsASA

A haskell interface to Lester Ingber's adaptive simulating annealing code

@hackage/vector-space-opengl

Instances of vector-space classes for OpenGL types

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

@hackage/spherical

Geometry on a sphere

@hackage/plot-lab

A plotting tool with Mathematica like Manipulation abilities

@hackage/species

Computational combinatorial species

@hackage/clumpiness

Calculate the clumpiness of leaf properties in a tree

@hackage/commutative

Commutative binary operations.

@hackage/NumberTheory

A library for number theoretic computations, written in Haskell.

@hackage/tilings

substitution tilings

@hackage/jackpolynomials

Jack, zonal, Schur, and other symmetric polynomials

@hackage/half-space

Additive monoids generalising vector spaces

@hackage/AC-Vector

Efficient geometric vectors and transformations.

@hackage/clustering

High performance clustering algorithms

@hackage/limp

representation of Integer Linear Programs

@hackage/accelerate-typelits

a typesafe way encode accelerate matrices and vectors

@hackage/lapack-comfort-array

Auto-generated interface to Fortran LAPACK via comfort-array

@hackage/free-functors

Free functors, adjoint to functors that forget class constraints.

@hackage/modular-arithmetic

A type for integers modulo some constant.

@hackage/accelerate-cufft

Accelerate frontend to the CUFFT library (Fourier transform)

@hackage/MIP

Library for using Mixed Integer Programming (MIP)

@hackage/linearEqSolver

Use SMT solvers to solve linear systems over integers and rationals

@hackage/oeis

Interface to the Online Encyclopedia of Integer Sequences (OEIS)

@hackage/Vec-OpenGLRaw

Instances and functions to interoperate Vec and OpenGL.

@hackage/cayley-dickson

Complex numbers, quaternions, octonions, sedenions, etc.

@hackage/splitmix-distributions

Random samplers for some common distributions, based on splitmix.

@hackage/poly

Polynomials

@hackage/visibility

Simple computation of visibility polygons.

@hackage/numhask-space

Numerical spaces.

@hackage/multi-instance

Typeclasses augmented with a phantom type parameter

@hackage/affine

Affine spaces (generalized)

@hackage/computational-geometry

Collection of algorithms in Computational Geometry.

@hackage/opentheory-divides

The divides relation on natural numbers

@hackage/hmatrix-backprop

hmatrix operations lifted for backprop

@hackage/finite-semigroups

Operations and classification for finite semigroups

@hackage/uniqueness-periods-vector-stats

A very basic descriptive statistics.

@hackage/hmatrix-special

Interface to GSL special functions

@hackage/quadratic-irrational

An implementation of quadratic irrationals

@hackage/cl3-hmatrix-interface

Interface to/from Cl3 and HMatrix.

@hackage/hscharm

minimal ncurses-like library

@hackage/DifferenceLogic

A theory solver for conjunctions of literals in difference logic

@hackage/Baggins

Tools for self-assembly

@hackage/dense-linear-algebra

Simple and incomplete pure haskell implementation of linear algebra

@hackage/metamorphic

metamorphisms: ana . cata or understanding folds and unfolds

@hackage/detour-via-uom

JSON and CSV encoding for quantities.

@hackage/graph-rewriting-strategies

Evaluation strategies for port-graph rewriting systems

@hackage/applicative-numbers

Applicative-based numeric instances

@hackage/HROOT

Haskell binding to the ROOT data analysis framework

@hackage/Smooth

A tiny, lazy SMT solver

@hackage/phladiprelio-rhythmicity-shared

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

@hackage/algebra

Constructive abstract algebra

@hackage/Kalman

A slightly extended Kalman filter

@hackage/arrayfire

Haskell bindings to the ArrayFire general-purpose GPU library

@hackage/lfst

L-Fuzzy Set Theory implementation in Haskell

@hackage/extended-categories

Extended Categories

@hackage/boolsimplifier

Simplification tools for simple propositional formulas.

@hackage/Mantissa

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

@hackage/interpolation

piecewise linear and cubic Hermite interpolation

@hackage/nimber

Finite nimber arithmetic

@hackage/th-cas

Compile-time CAS(Computer Algebra System)

@hackage/continued-fractions

Continued fractions.

@hackage/graphs

A simple monadic graph library

@hackage/rungekutta2

Explicit Runge-Kutta methods of various orders (fork of 'rungekutta')