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
• Language
  5
• Linear
  5
• Physics
  4
• Matrix
  4
• Numhask
  4
• Optimization
  4
• FFI
  4
• Cl3
  3
• Accelerate
  3
• Teaching
  3
• Testing
  3
• Logic
  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.4 Haskell

  Automatic Differentiation
  

• vector

  9.8 6.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
  

• hmatrix

  9.8 2.3 Haskell

  Linear algebra and numerical computation
  

• linear

  9.7 6.0 Haskell

  Low-dimensional linear algebra primitives for Haskell.
  

• statistics

  9.7 7.1 Haskell

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

• sbv

  9.6 9.9 Haskell

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

• backprop

  9.5 5.6 Haskell

  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  

• what4

  9.5 8.3 Haskell

  Symbolic formula representation and solver interaction library
  

• arithmoi

  9.5 6.7 Haskell

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

• hgeometry

  9.4 7.8 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.
  

• HerbiePlugin

  9.4 0.0 Haskell

  GHC plugin that improves Haskell code's numerical stability
  

• dimensional

  9.2 6.6 Haskell

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

• units

  9.2 3.7 Haskell

  The home of the units Haskell package
  

• grid

  9.2 0.0 Haskell

  Tools for working with regular grids/graphs/lattices.
  

• computational-algebra

  9.1 0.0 HTML

  General-Purpose Computer Algebra System as an EDSL in Haskell
  

• hz3

  9.1 1.3 Haskell

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

• algebra

  9.1 0.0 Haskell

  constructive abstract algebra
  

• semigroups

  9.0 1.1 Haskell

  Haskell 98 semigroups
  

• estimator

  9.0 0.0 Haskell

  State-space estimation algorithms and models
  

• lambda-calculator

  8.9 3.8 Haskell

  An introduction to the Lambda Calculus
  

• numhask

  8.9 1.4 Haskell

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

• mwc-random

  8.9 7.9 Haskell

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

• hermit

  8.9 0.0 Haskell

  Haskell Equational Reasoning Model-to-Implementation Tunnel
  

• hblas

  8.8 0.0 C++

  haskell bindings for blas and lapack
  

• matrix

  8.8 0.0 Haskell

  DISCONTINUED. A Haskell native implementation of matrices and their operations.

• vector-space

  8.8 5.3 Haskell

  Vector & affine spaces, linear maps, and derivatives
  

• vector-sized

  8.7 2.3 Haskell

  Size tagged vectors
  

• group-theory

  8.7 1.3 Haskell

  The theory of groups
  

• math-functions

  8.7 6.4 Haskell

  Special mathematical functions