Haskell Math packages

• « All Tags

Selected Tags

Click on a tag to remove it

• Math

More Tags

Click on a tag to add it and filter down

• Data
  41
• Algebra
  26
• Numerical
  20
• Numeric
  17
• Vector
  17
• Hmatrix
  12
• Algorithms
  11
• Statistics
  11
• Formal Methods
  10
• Data Structures
  9
• Mathematics
  8
• Theorem Provers
  7
• Random
  6
• Graphics
  6
• Number Theory
  6
• Geometry
  6
• SMT
  5
• Symbolic Computation
  5
• Language
  5
• FFI
  4
• Linear
  4
• Physics
  4
• Numhask
  3
• Cl3
  3
• Optimization
  3
• System
  2
• Crf
  2
• Symengine
  2
• Matrix
  2
• Foreign
  2
• Logic
  2
• JSON
  2
• Bit Vectors
  2
• Control
  2
• CSV
  2
• Plot
  2
• Semigroups
  2
• Mwc
  2
• Detour
  2
• Teaching
  2

Math packages

Showing projects tagged as Math

• subhask

  9.8 0.0 Haskell

  Type safe interface for programming in subcategories of Hask

• sbv

  9.8 9.7 Haskell

  SMT Based Verification

• hmatrix

  9.8 3.5 Haskell

  Numeric Linear Algebra

• ad

  9.7 4.7 Haskell

  Automatic Differentiation

• vector

  9.7 5.4 Haskell

  Efficient Arrays

• linear

  9.7 4.7 Haskell

  Linear Algebra

• statistics

  9.7 2.8 Haskell

  A library of statistical types, data, and functions

• arithmoi

  9.4 8.2 Haskell

  Efficient basic number-theoretic functions. Primes, powers, integer logarithms.

• HerbiePlugin

  9.4 0.0 Haskell

  automatically improve your code's numeric stability

• backprop

  9.3 4.3 Haskell

  Heterogeneous, type-safe automatic backpropagation in Haskell

• semigroups

  9.1 5.7 Haskell

  Anything that associates

• estimator

  9.1 0.0 Haskell

  State-space estimation algorithms such as Kalman Filters

• grid

  9.0 3.2 Haskell

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

• hblas

  9.0 0.0 C++

  Human friendly BLAS and Lapack bindings for Haskell.

• hermit

  9.0 0.0 Haskell

  Haskell Equational Reasoning Model-to-Implementation Tunnel

• algebra

  9.0 0.0 Haskell

  Constructive abstract algebra

• units

  9.0 3.8 Haskell

  A domain-specific type system for dimensional analysis

• matrix

  8.9 4.0 Haskell

  A native implementation of matrix operations.

• dimensional

  8.9 5.2 Haskell

  Statically checked physical dimensions, using Type Families and Data Kinds.

• computational-algebra

  8.8 6.8 Haskell

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

• vector-space

  8.7 2.8 Haskell

  Vector & affine spaces, linear maps, and derivatives

• mwc-random

  8.7 0.3 Haskell

  Fast, high quality pseudo random number generation

• numhask

  8.6 6.7 Haskell

  A numeric prelude

• rounded

  8.6 5.0 Haskell

  Correctly-rounded arbitrary-precision floating-point arithmetic

• deeplearning-hs

  8.5 0.0 Haskell

  Deep Learning in Haskell

• optimization

  8.5 2.4 Haskell

  Numerical optimization

• reducers

  8.5 4.2 Haskell

  Semigroups, specialized containers and a general map/reduce framework

• cf

  8.4 0.0 Haskell

  Exact real arithmetic using continued fractions

• bayes-stack

  8.4 0.0 Haskell

  Framework for inferring generative probabilistic models with Gibbs sampling

• poly

  8.4 8.1 Haskell

  Polynomials