Math packages

Showing projects tagged as Math

  • subhask

    9.8 0.0 Haskell
    Type safe interface for working in subcategories of Hask
  • ad

    9.8 5.0 Haskell
    Automatic Differentiation
  • vector

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

    9.8 3.0 Haskell
    Linear algebra and numerical computation
  • linear

    9.7 5.5 Haskell
    Low-dimensional linear algebra primitives for Haskell.
  • statistics

    9.7 6.6 Haskell
    A fast, high quality library for computing with statistics in Haskell.
  • backprop

    9.5 0.0 Haskell
    Heterogeneous automatic differentiation ("backpropagation") in Haskell
  • arithmoi

    9.5 4.8 Haskell
    Number theory: primes, arithmetic functions, modular computations, special sequences
  • sbv

    9.4 9.4 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  • what4

    9.4 8.7 Haskell
    Symbolic formula representation and solver interaction library
  • HerbiePlugin

    9.4 0.0 Haskell
    GHC plugin that improves Haskell code's numerical stability
  • hgeometry

    9.3 9.2 Haskell
    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.
  • grid

    9.2 4.3 Haskell
    Tools for working with regular grids/graphs/lattices.
  • semigroups

    9.2 4.8 Haskell
    Haskell 98 semigroups
  • units

    9.2 5.6 Haskell
    The home of the units Haskell package
  • algebra

    9.2 0.0 Haskell
    constructive abstract algebra
  • estimator

    9.1 0.0 Haskell
    State-space estimation algorithms and models
  • computational-algebra

    9.0 6.5 HTML
    General-Purpose Computer Algebra System as an EDSL in Haskell
  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel
  • dimensional

    9.0 3.1 Haskell
    Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  • mwc-random

    9.0 0.0 Haskell
    A very fast Haskell library for generating high quality pseudo-random numbers.
  • hz3

    8.9 4.6 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).
  • matrix

    8.9 2.3 Haskell
    A Haskell native implementation of matrices and their operations.
  • hblas

    8.9 0.0 C++
    haskell bindings for blas and lapack
  • vector-space

    8.8 0.0 Haskell
    Vector & affine spaces, linear maps, and derivatives
  • numhask

    8.8 6.4 Haskell
    A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  • rounded

    8.6 0.0 Haskell
    MPFR bindings for Haskell
  • reducers

    8.6 4.5 Haskell
    Semigroups, specialized containers and a general map/reduce framework
  • bayes-stack

    8.6 0.0 Haskell
    Framework for Gibbs sampling of probabilistic models
  • cf

    8.6 0.0 Haskell
    "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)