Equational-reasoning Alternatives

Similar projects and alternatives to equational-reasoning

• continued-fractions

  0 7 0.0 Haskell equational-reasoning VS continued-fractions

  Haskell library for manipulating and evaluating continued fractions

• lambda-calculator

  0 88 3.8 Haskell equational-reasoning VS lambda-calculator

  An introduction to the Lambda Calculus

• InfluxDB

  www.influxdata.com

  sponsored

  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.

  

• optimization

  0 47 0.0 Haskell equational-reasoning VS optimization

  Some numerical optimization methods implemented in Haskell

• nimber

  0 2 0.0 Haskell equational-reasoning VS nimber

  Finite nimber arithmetic

• cf

  0 39 0.0 Haskell equational-reasoning VS cf

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

• units

  1 94 5.3 Haskell equational-reasoning VS units

  The home of the units Haskell package (by goldfirere)

• bayes-stack

  0 49 0.0 Haskell equational-reasoning VS bayes-stack

  Framework for Gibbs sampling of probabilistic models

• WorkOS

  workos.com

  sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• math-functions

  0 40 6.2 Haskell equational-reasoning VS math-functions

  Special mathematical functions

  

• calculator

  0 5 0.0 Haskell equational-reasoning VS calculator

• ms

  0 6 0.0 Haskell equational-reasoning VS ms

  metric spaces (by relrod)