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
  43
• Algebra
  29
• Numerical
  21
• Numeric
  20
• Vector
  17
• Algorithms
  12
• Hmatrix
  12
• Statistics
  11
• Formal Methods
  10
• Data Structures
  9
• Mathematics
  8
• Theorem Provers
  7
• Number Theory
  7
• Random
  6
• Graphics
  6
• Geometry
  6
• Linear
  5
• Language
  5
• SMT
  5
• Symbolic Computation
  5
• Physics
  4
• FFI
  4
• Teaching
  3
• Cl3
  3
• Testing
  3
• Numhask
  3
• Optimization
  3
• Matrix
  3
• Symengine
  2
• Dependent Types
  2
• CSV
  2
• Semigroups
  2
• Control
  2
• Mwc
  2
• Plot
  2
• Detour
  2
• Linear Algebra
  2
• Crf
  2
• System
  2
• Logic
  2
• JSON
  2
• Singletons
  2
• Bit Vectors
  2
• Foreign
  2

Math packages

Showing projects tagged as Math

• vector

  9.8 6.3 Haskell

  Efficient Arrays

• sbv

  9.8 9.7 Haskell

  SMT Based Verification

• subhask

  9.8 0.0 Haskell

  Type safe interface for programming in subcategories of Hask

• hmatrix

  9.8 2.5 Haskell

  Numeric Linear Algebra

• statistics

  9.7 2.8 Haskell

  A library of statistical types, data, and functions

• linear

  9.7 4.3 Haskell

  Linear Algebra

• ad

  9.7 4.7 Haskell

  Automatic Differentiation

• backprop

  9.5 2.6 Haskell

  Heterogeneous, type-safe automatic backpropagation in Haskell

• HerbiePlugin

  9.5 0.0 Haskell

  automatically improve your code's numeric stability

• arithmoi

  9.4 8.7 Haskell

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

• algebra

  9.2 4.1 Haskell

  Constructive abstract algebra

• semigroups

  9.2 3.2 Haskell

  Anything that associates

• estimator

  9.1 0.0 Haskell

  State-space estimation algorithms such as Kalman Filters

• hermit

  9.1 0.0 Haskell

  Haskell Equational Reasoning Model-to-Implementation Tunnel

• grid

  9.1 5.0 Haskell

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

• dimensional

  9.0 0.0 Haskell

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

• matrix

  9.0 0.0 Haskell

  A native implementation of matrix operations.

• mwc-random

  9.0 1.3 Haskell

  Fast, high quality pseudo random number generation

• units

  9.0 3.8 Haskell

  A domain-specific type system for dimensional analysis

• computational-algebra

  9.0 6.4 Haskell

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

• hblas

  9.0 0.0 C++

  Human friendly BLAS and Lapack bindings for Haskell.

• vector-space

  8.9 0.8 Haskell

  Vector & affine spaces, linear maps, and derivatives

• rounded

  8.6 2.9 Haskell

  Correctly-rounded arbitrary-precision floating-point arithmetic

• deeplearning-hs

  8.6 0.0 Haskell

  Deep Learning in Haskell

• bayes-stack

  8.6 0.0 Haskell

  Framework for inferring generative probabilistic models with Gibbs sampling

• cf

  8.6 0.0 Haskell

  Exact real arithmetic using continued fractions

• numhask

  8.6 6.7 Haskell

  A numeric prelude

• reducers

  8.5 4.2 Haskell

  Semigroups, specialized containers and a general map/reduce framework

• hz3

  8.5 3.8 Haskell

  Bindings for the Z3 Theorem Prover

• optimization

  8.4 0.9 Haskell

  Numerical optimization