poly VS equational-reasoning

Compare poly vs equational-reasoning and see what are their differences.

poly

Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent) (by Bodigrim)
Math sparse-univariate-polynomials dense-univariate-polynomials sparse-multivariate-polynomials Polynomials polynomial-arithmetic polynomial-multiplication polynomial-division
Source Code
hackage.haskell.org
Suggest alternative
Edit details

equational-reasoning

Agda-style equational reasoning in Haskell (by konn)
Math
Source Code
Suggest alternative
Edit details
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
poly equational-reasoning
- -
65 51
- -
4.5 5.8
7 months ago 4 months ago
Haskell Haskell
BSD 3-clause "New" or "Revised" License BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

poly

Posts with mentions or reviews of poly. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning poly yet.
Tracking mentions began in Dec 2020.

equational-reasoning

Posts with mentions or reviews of equational-reasoning. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning equational-reasoning yet.
Tracking mentions began in Dec 2020.

What are some alternatives?

When comparing poly and equational-reasoning you can also consider the following projects:

mod - Modular arithmetic, promoting moduli to the type level

continued-fractions - Haskell library for manipulating and evaluating continued fractions

curve25519 - Haskell Curve25519 bindings.

lambda-calculator - An introduction to the Lambda Calculus

Lattices - A package for Lattices in Haskell. With a very basic LLL (Lenstra-Lenstra-Lovász) lattice reduction algorithm

optimization - Some numerical optimization methods implemented in Haskell

ms - metric spaces

nimber - Finite nimber arithmetic

monte-carlo - A Monte Carlo monad and transformer for Haskell.

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

roots - 1-dimensional root-finding algorithms in Haskell

units - The home of the units Haskell package

poly vs mod equational-reasoning vs continued-fractions poly vs curve25519 equational-reasoning vs lambda-calculator poly vs Lattices equational-reasoning vs optimization poly vs ms equational-reasoning vs nimber poly vs monte-carlo equational-reasoning vs cf poly vs roots equational-reasoning vs units