Math packages

Showing projects tagged as Math

  • vector

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

    9.8 6.2 Haskell
    Automatic Differentiation
  • subhask

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

    9.8 3.4 Haskell
    Linear algebra and numerical computation
  • statistics

    9.7 6.1 Haskell
    A fast, high quality library for computing with statistics in Haskell.
  • linear

    9.7 5.4 Haskell
    Low-dimensional linear algebra primitives for Haskell.
  • sbv

    9.6 9.2 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  • arithmoi

    9.5 4.9 Haskell
    Number theory: primes, arithmetic functions, modular computations, special sequences
  • backprop

    9.5 3.8 Haskell
    Heterogeneous automatic differentiation ("backpropagation") in Haskell
  • hgeometry

    9.4 9.1 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.
  • what4

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

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

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

    9.2 0.0 Haskell
    constructive abstract algebra
  • grid

    9.2 0.0 Haskell
    Tools for working with regular grids/graphs/lattices.
  • hz3

    9.1 1.3 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).
  • dimensional

    9.1 0.0 Haskell
    Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  • estimator

    9.1 0.0 Haskell
    State-space estimation algorithms and models
  • semigroups

    9.1 1.1 Haskell
    Haskell 98 semigroups
  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel
  • computational-algebra

    9.0 0.0 HTML
    General-Purpose Computer Algebra System as an EDSL in Haskell
  • mwc-random

    8.9 6.9 Haskell
    A very fast Haskell library for generating high quality pseudo-random numbers.
  • lambda-calculator

    8.9 3.8 Haskell
    An introduction to the Lambda Calculus
  • numhask

    8.9 6.3 Haskell
    A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  • matrix

    8.8 0.0 Haskell
    DISCONTINUED. A Haskell native implementation of matrices and their operations.
  • hblas

    8.8 0.0 C++
    haskell bindings for blas and lapack
  • math-functions

    8.7 6.4 Haskell
    Special mathematical functions
  • vector-space

    8.7 0.0 Haskell
    Vector & affine spaces, linear maps, and derivatives
  • vector-sized

    8.6 4.6 Haskell
    Size tagged vectors
  • group-theory

    8.6 1.3 Haskell
    The theory of groups