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

• 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)