DifferenceLogic Alternatives

Similar projects and alternatives to DifferenceLogic

• arrayfire

  0 59 4.6 Haskell DifferenceLogic VS arrayfire

  Haskell bindings to ArrayFire

  

• math-functions

  0 40 6.2 Haskell DifferenceLogic VS math-functions

  Special mathematical functions

  

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

  

• sbvPlugin

  0 44 6.3 Haskell DifferenceLogic VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT.

• poly

  0 65 4.5 Haskell DifferenceLogic VS poly

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

• subhask

  0 417 0.0 Haskell DifferenceLogic VS subhask

  Type safe interface for working in subcategories of Hask

• simple-smt

  0 20 0.0 Haskell DifferenceLogic VS simple-smt

• numhask

  0 67 6.8 Haskell DifferenceLogic VS numhask

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

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

  

• units

  1 94 5.3 Haskell DifferenceLogic VS units

  The home of the units Haskell package (by goldfirere)

• semigroups

  0 62 1.1 Haskell DifferenceLogic VS semigroups

  Haskell 98 semigroups

• computational-algebra

  0 90 0.0 HTML DifferenceLogic VS computational-algebra

  General-Purpose Computer Algebra System as an EDSL in Haskell