Simple-smt Alternatives

Similar projects and alternatives to simple-smt

• dimensional

  0 101 0.0 Haskell simple-smt VS dimensional

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

• diophantine

  0 4 0.0 Haskell simple-smt VS diophantine

  A quadratic diophantine equation solver

• InfluxDB

  www.influxdata.com featured

  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.

  

• regress

  0 8 0.0 Haskell simple-smt VS regress

  Linear and logistic regression through automatic differentiation

• fad

  0 6 0.0 Haskell simple-smt VS fad

  Barak's Forward Automatic Differentiation

• mixed-strategies

  0 2 0.0 Haskell simple-smt VS mixed-strategies

  Mixed-strategy game solver in Haskell

• gsl-random

  0 11 0.0 Haskell simple-smt VS gsl-random

  Haskell bindings to the GSL random number generators and distribution functions

• linearEqSolver

  0 8 0.0 Haskell simple-smt VS linearEqSolver

  Solve systems of linear equations, using SMT solvers.

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• RANSAC

  0 3 0.0 Haskell simple-smt VS RANSAC

  Haskell implementation of the RANSAC algorithm.

• simple-src-utils

  0 1 0.0 Haskell simple-smt VS simple-src-utils

  source code utilities, for editor integration

• hdr-histogram

  0 4 0.0 Haskell simple-smt VS hdr-histogram

  Haskell implementation of HdrHistogram