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

• ad

  9.8 5.5 Haskell

  Automatic Differentiation

• vector

  9.8 7.9 Haskell

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

• hmatrix

  9.8 3.4 Haskell

  Linear algebra and numerical computation
  

• subhask

  9.8 0.0 Haskell

  Type safe interface for working in subcategories of Hask

• statistics

  9.7 6.1 Haskell

  A fast, high quality library for computing with statistics in Haskell.
  

• linear

  9.6 5.4 Haskell

  Low-dimensional linear algebra primitives for Haskell.

• sbv

  9.6 9.3 Haskell

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

• backprop

  9.5 3.8 Haskell

  Heterogeneous automatic differentiation ("backpropagation") in Haskell

• arithmoi

  9.5 6.5 Haskell

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

• hgeometry

  9.4 0.0 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 6.7 Haskell

  Symbolic formula representation and solver interaction library
  

• HerbiePlugin

  9.4 0.0 Haskell

  GHC plugin that improves Haskell code's numerical stability

• algebra

  9.2 0.0 Haskell

  constructive abstract algebra

• grid

  9.2 0.0 Haskell

  Tools for working with regular grids/graphs/lattices.

• units

  9.2 5.3 Haskell

  The home of the units Haskell package

• 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

• computational-algebra

  9.0 0.0 HTML

  General-Purpose Computer Algebra System as an EDSL in Haskell

• hermit

  9.0 0.0 Haskell

  Haskell Equational Reasoning Model-to-Implementation Tunnel
  

• lambda-calculator

  8.9 3.8 Haskell

  An introduction to the Lambda Calculus

• mwc-random

  8.9 0.0 Haskell

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

• hblas

  8.8 0.0 C++

  haskell bindings for blas and lapack
  

• numhask

  8.8 6.8 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.

• math-functions

  8.7 6.2 Haskell

  Special mathematical functions
  

• vector-space

  8.7 0.0 Haskell

  Vector & affine spaces, linear maps, and derivatives

• poly

  8.6 4.5 Haskell

  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)

• vector-sized

  8.6 4.6 Haskell

  Size tagged vectors