DifferenceLogic alternatives and similar packages

Based on the "Math" category.
Alternatively, view DifferenceLogic alternatives based on common mentions on social networks and blogs.

vector

9.8 6.3 DifferenceLogic VS vector

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

9.8 4.9 DifferenceLogic VS ad

Automatic Differentiation

Less time debugging, more time building

Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

Promo scoutapm.com

subhask

9.8 0.0 DifferenceLogic VS subhask

Type safe interface for working in subcategories of Hask
hmatrix

9.8 1.0 DifferenceLogic VS hmatrix

Linear algebra and numerical computation
statistics

9.7 6.6 DifferenceLogic VS statistics

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

9.7 5.5 DifferenceLogic VS linear

Low-dimensional linear algebra primitives for Haskell.
HerbiePlugin

9.4 0.0 DifferenceLogic VS HerbiePlugin

GHC plugin that improves Haskell code's numerical stability
what4

9.4 8.5 DifferenceLogic VS what4

Symbolic formula representation and solver interaction library
hgeometry

9.3 9.6 DifferenceLogic VS hgeometry

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.
units

9.2 4.5 DifferenceLogic VS units

The home of the units Haskell package
semigroups

9.2 3.6 DifferenceLogic VS semigroups

Haskell 98 semigroups
algebra

9.2 0.0 DifferenceLogic VS algebra

constructive abstract algebra
computational-algebra

9.1 5.6 DifferenceLogic VS computational-algebra

General-Purpose Computer Algebra System as an EDSL in Haskell
estimator

9.1 0.0 DifferenceLogic VS estimator

State-space estimation algorithms and models
grid

9.1 5.0 DifferenceLogic VS grid

Tools for working with regular grids/graphs/lattices.
dimensional

9.0 1.3 DifferenceLogic VS dimensional

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

9.0 0.0 DifferenceLogic VS hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
mwc-random

8.9 4.1 DifferenceLogic VS mwc-random

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

8.9 0.0 DifferenceLogic VS hblas

haskell bindings for blas and lapack
matrix

8.9 1.7 DifferenceLogic VS matrix

A Haskell native implementation of matrices and their operations.
vector-space

8.8 0.0 DifferenceLogic VS vector-space

Vector & affine spaces, linear maps, and derivatives
numhask

8.8 6.1 DifferenceLogic VS numhask

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

8.6 0.0 DifferenceLogic VS cf

"Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
bayes-stack

8.6 0.0 DifferenceLogic VS bayes-stack

Framework for Gibbs sampling of probabilistic models
rounded

8.6 0.0 DifferenceLogic VS rounded

MPFR bindings for Haskell
optimization

8.5 0.0 DifferenceLogic VS optimization

Some numerical optimization methods implemented in Haskell
deeplearning-hs

8.5 0.0 DifferenceLogic VS deeplearning-hs

Deep Learning in Haskell
vector-sized

8.5 0.4 DifferenceLogic VS vector-sized

Size tagged vectors
math-functions

8.5 2.8 DifferenceLogic VS math-functions

Special mathematical functions
poly

8.4 0.0 DifferenceLogic VS poly

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

8.4 0.0 DifferenceLogic VS arrayfire

Haskell bindings to ArrayFire
lambda-calculator

8.4 2.7 DifferenceLogic VS lambda-calculator

An introduction to the Lambda Calculus
monte-carlo

8.3 0.0 DifferenceLogic VS monte-carlo

A Monte Carlo monad and transformer for Haskell.
rampart

8.3 2.1 DifferenceLogic VS rampart

:european_castle: Determine how intervals relate to each other.
intervals

8.2 1.8 DifferenceLogic VS intervals

Interval Arithmetic
equational-reasoning

8.2 4.8 DifferenceLogic VS equational-reasoning

Agda-style equational reasoning in Haskell
type-natural

8.2 0.0 DifferenceLogic VS type-natural

Type-level well-kinded natural numbers.
Decimal

8.2 0.0 DifferenceLogic VS Decimal

Decimal numbers with variable precision
safe-decimal

8.2 1.6 DifferenceLogic VS safe-decimal

Safe and very efficient arithmetic operations on fixed decimal point numbers
bed-and-breakfast

8.2 0.0 DifferenceLogic VS bed-and-breakfast

Matrix operations in 100% pure Haskell
sbvPlugin

8.1 6.2 DifferenceLogic VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.
polynomial

8.0 0.0 DifferenceLogic VS polynomial

Haskell library for manipulating and evaluating polynomials
simple-smt

8.0 1.8 DifferenceLogic VS simple-smt

A simple way to interact with an SMT solver process.
monoid-subclasses

7.9 4.9 DifferenceLogic VS monoid-subclasses

Subclasses of Monoid with a solid theoretical foundation and practical purposes
simd

7.9 0.0 DifferenceLogic VS simd

simple interface to ghc's simd vector support
mltool

7.9 0.0 DifferenceLogic VS mltool

Machine Learning Toolbox
eigen

7.9 0.0 L2 DifferenceLogic VS eigen

Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.
hTensor

7.8 0.0 DifferenceLogic VS hTensor

Multidimensional arrays and simple tensor computations
dimensions

7.8 0.0 DifferenceLogic VS dimensions

Many-dimensional type-safe numeric ops
vector-th-unbox

7.7 0.0 DifferenceLogic VS vector-th-unbox

Deriver for unboxed vectors using Template Haskell