simple-smt

By yav

Simple-smt Alternatives

Similar projects and alternatives to simple-smt

  1. diophantine

    A quadratic diophantine equation solver

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. dimensional

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

  4. hdr-histogram

    Haskell implementation of HdrHistogram

  5. RANSAC

    Haskell implementation of the RANSAC algorithm.

  6. fad

    0 simple-smt VS fad

    Barak's Forward Automatic Differentiation

  7. regress

    Linear and logistic regression through automatic differentiation

  8. simple-src-utils

    source code utilities, for editor integration

  9. SaaSHub

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

    SaaSHub logo
  10. gsl-random

    Haskell bindings to the GSL random number generators and distribution functions

  11. DifferenceLogic

    A theory solver for difference logic

  12. linearEqSolver

    Solve systems of linear equations, using SMT solvers.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better simple-smt alternative or higher similarity.

simple-smt discussion

Log in or Post with

simple-smt reviews and mentions

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

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

Stats

Basic simple-smt repo stats
0
21
0.0
5 months ago

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?