Haskell Math packages

• « All Tags

Selected Tags

• Math

More Tags

• Data
  45
• Algebra
  32
• Numeric
  21
• Numerical
  21
• Vector
  17
• Statistics
  13
• Algorithms
  13
• Hmatrix
  12
• Formal Methods
  11
• Data Structures
  10
• Mathematics
  9
• Theorem Provers
  8
• Number Theory
  7
• Random
  6
• Geometry
  6
• Symbolic Computation
  6
• Graphics
  6
• SMT
  6
• Linear
  5
• Language
  5
• Matrix
  4
• Physics
  4
• Optimization
  4
• FFI
  4
• Logic
  3
• Numhask
  3
• Accelerate
  3
• Teaching
  3
• Cl3
  3
• Testing
  3
• Compilers/Interpreters
  2
• CSV
  2
• Linear Algebra
  2
• System
  2
• Symengine
  2
• Foreign
  2
• Mcmc
  2
• Detour
  2
• Control
  2
• Semigroups
  2
• Parallelism
  2
• Plot
  2
• JSON
  2
• Mwc
  2
• Concurrency
  2
• Bit Vectors
  2
• Groups
  2
• Optimisation
  2
• Singletons
  2
• Dependent Types
  2
• Crf
  2

Math packages

Showing projects tagged as Math

• vector

  9.8 8.2 Haskell

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

• subhask

  9.8 0.0 Haskell

  Type safe interface for working in subcategories of Hask

• ad

  9.8 7.3 Haskell

  Automatic Differentiation

• hmatrix

  9.8 4.7 Haskell

  Linear algebra and numerical computation
  

• statistics

  9.7 0.0 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.

• arithmoi

  9.5 5.7 Haskell

  Number theory: primes, arithmetic functions, modular computations, special sequences

• backprop

  9.5 0.1 Haskell

  Heterogeneous automatic differentiation ("backpropagation") in Haskell

• 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.9 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 8.4 Haskell

  HGeometry

• algebra

  9.2 0.0 Haskell

  constructive abstract algebra

• grid

  9.2 4.8 Haskell

  Tools for working with regular grids/graphs/lattices.

• semigroups

  9.2 2.8 Haskell

  Haskell 98 semigroups

• estimator

  9.2 0.0 Haskell

  State-space estimation algorithms and models
  

• units

  9.2 5.9 Haskell

  The home of the units Haskell package

• hermit

  9.0 0.0 Haskell

  Haskell Equational Reasoning Model-to-Implementation Tunnel
  

• dimensional

  9.0 3.8 Haskell

  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

• computational-algebra

  9.0 7.0 HTML

  General-Purpose Computer Algebra System as an EDSL in Haskell

• mwc-random

  9.0 0.0 Haskell

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

• matrix

  8.9 0.0 Haskell

  A Haskell native implementation of matrices and their operations.

• hblas

  8.9 0.0 C++

  haskell bindings for blas and lapack
  

• hz3

  8.9 5.3 Haskell

  Haskell bindings to Microsoft's Z3 API (unofficial).

• numhask

  8.8 7.1 Haskell

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

• vector-space

  8.8 0.0 Haskell

  Vector & affine spaces, linear maps, and derivatives

• reducers

  8.6 3.2 Haskell

  Semigroups, specialized containers and a general map/reduce framework

• rounded

  8.6 0.0 Haskell

  MPFR bindings for Haskell

• cf

  8.6 0.0 Haskell

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

• bayes-stack

  8.6 0.0 Haskell

  Framework for Gibbs sampling of probabilistic models