Proof assistant for Haskell using DataKinds & PolyKinds

equational-reasoning alternatives and similar packages

Based on the "Math" category

• hmatrix

  9.8 3.9 equational-reasoning VS hmatrix

  Numeric Linear Algebra

• subhask

  9.8 0.0 equational-reasoning VS subhask

  Type safe interface for programming in subcategories of Hask

• linear

  9.7 4.7 equational-reasoning VS linear

  Linear Algebra

• statistics

  9.7 2.8 equational-reasoning VS statistics

  A library of statistical types, data, and functions

• vector

  9.7 5.4 equational-reasoning VS vector

  Efficient Arrays

• ad

  9.7 4.7 equational-reasoning VS ad

  Automatic Differentiation

• HerbiePlugin

  9.4 0.0 equational-reasoning VS HerbiePlugin

  automatically improve your code's numeric stability

• semigroups

  9.1 5.7 equational-reasoning VS semigroups

  Anything that associates

• estimator

  9.1 0.0 equational-reasoning VS estimator

  State-space estimation algorithms such as Kalman Filters

• hermit

  9.0 0.0 equational-reasoning VS hermit

  Haskell Equational Reasoning Model-to-Implementation Tunnel

• units

  9.0 3.8 equational-reasoning VS units

  A domain-specific type system for dimensional analysis

• algebra

  9.0 0.0 equational-reasoning VS algebra

  Constructive abstract algebra

• grid

  9.0 3.2 equational-reasoning VS grid

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

• hblas

  8.9 0.0 equational-reasoning VS hblas

  Human friendly BLAS and Lapack bindings for Haskell.

• computational-algebra

  8.8 6.8 equational-reasoning VS computational-algebra

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

• vector-space

  8.7 2.8 equational-reasoning VS vector-space

  Vector & affine spaces, linear maps, and derivatives

• mwc-random

  8.7 0.3 equational-reasoning VS mwc-random

  Fast, high quality pseudo random number generation

• numhask

  8.6 6.7 equational-reasoning VS numhask

  A numeric prelude

• deeplearning-hs

  8.5 0.0 equational-reasoning VS deeplearning-hs

  Deep Learning in Haskell

• cf

  8.4 0.0 equational-reasoning VS cf

  Exact real arithmetic using continued fractions

• bayes-stack

  8.4 0.0 equational-reasoning VS bayes-stack

  Framework for inferring generative probabilistic models with Gibbs sampling

• math-functions

  8.3 2.0 equational-reasoning VS math-functions

  Special functions and Chebyshev polynomials

• hgeometry

  8.3 8.8 equational-reasoning VS hgeometry

  Geometric Algorithms, Data structures, and Data types.

• monte-carlo

  8.3 0.0 equational-reasoning VS monte-carlo

  A monad and transformer for Monte Carlo calculations.

• optimization

  8.2 2.5 equational-reasoning VS optimization

  Numerical optimization

• intervals

  8.1 4.6 equational-reasoning VS intervals

  Interval Arithmetic

• vector-sized

  7.9 6.4 equational-reasoning VS vector-sized

  Size tagged vectors

• mltool

  7.8 0.0 equational-reasoning VS mltool

  Machine Learning Toolbox

• Decimal

  7.8 0.0 equational-reasoning VS Decimal

  Decimal numbers with variable precision

• eigen

  7.8 0.6 L2 equational-reasoning VS eigen

  Eigen C++ library (linear algebra

• simd

  7.7 0.0 equational-reasoning VS simd

  simple interface to GHC's SIMD instructions

• sbvPlugin

  7.7 6.4 equational-reasoning VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT

• hTensor

  7.6 0.0 equational-reasoning VS hTensor

  Multidimensional arrays and simple tensor computations.

• vector-binary-instances

  7.6 2.2 equational-reasoning VS vector-binary-instances

  Instances of Data.Binary and Data.Serialize for vector

• manifold-random

  7.6 7.4 equational-reasoning VS manifold-random

  Sampling random points on general manifolds.

• polynomial

  7.5 0.0 equational-reasoning VS polynomial

  Polynomials

• vector-th-unbox

  7.3 0.0 equational-reasoning VS vector-th-unbox

  Deriver for Data.Vector.Unboxed using Template Haskell

• fast-math

  7.3 0.0 equational-reasoning VS fast-math

  Non IEEE-754 compliant compile-time floating-point optimisations

• monoid-subclasses

  7.2 5.6 equational-reasoning VS monoid-subclasses

  Subclasses of Monoid

• noether

  7.2 0.0 equational-reasoning VS noether

  Math in Haskell.

• simple-smt

  7.2 2.5 equational-reasoning VS simple-smt

  A simple way to interact with an SMT solver process.

• modular-arithmetic

  7.1 2.5 equational-reasoning VS modular-arithmetic

  A type for integers modulo some constant.

• diagrams-solve

  7.0 2.6 equational-reasoning VS diagrams-solve

  Pure Haskell solver routines used by diagrams

• levmar

  7.0 0.0 equational-reasoning VS levmar

  An implementation of the Levenberg-Marquardt algorithm

• vector-instances

  6.9 3.8 equational-reasoning VS vector-instances

  Orphan Instances for 'Data.Vector'

• uncertain

  6.9 2.1 equational-reasoning VS uncertain

  Manipulating numbers with inherent experimental/measurement uncertainty

• TeX-my-math

  6.8 6.4 equational-reasoning VS TeX-my-math

  ...

• clifford

  6.8 0.0 equational-reasoning VS clifford

  A Clifford algebra library

• nats

  6.8 4.5 equational-reasoning VS nats

  Natural numbers

• arb-fft

  6.8 3.2 equational-reasoning VS arb-fft

  Pure Haskell arbitrary length FFT library

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.

Do you think we are missing an alternative of equational-reasoning or a related project?

Add another 'Math' Package

Popular Comparisons

• equational-reasoning
  vs
  continued-fractions
• equational-reasoning
  vs
  nimber
• hmatrix-repa
  vs
  hmatrix
• hTensor
  vs
  hmatrix
• monoid-subclasses
  vs
  Xorshift128Plus