Smt-lib Alternatives

Similar projects and alternatives to smt-lib

• why3

  0 4 0.0 Haskell smt-lib VS why3

  Haskell support for the Why3 input format

  

• cryptol

  0 1,107 9.2 Haskell smt-lib VS cryptol

  Cryptol: The Language of Cryptography

  

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

  

• homplexity

  0 61 0.0 Haskell smt-lib VS homplexity

  Haskell code complexity and quality measurement

  

• frp-arduino

  0 246 0.0 Haskell smt-lib VS frp-arduino

  Arduino programming without the hassle of C.

  

• liquidhaskell

  4 1,148 9.3 Haskell smt-lib VS liquidhaskell

  Liquid Types For Haskell

  

• purescript

  52 8,458 6.6 Haskell smt-lib VS purescript

  A strongly-typed language that compiles to JavaScript

  

• ivory

  3 381 0.0 Haskell smt-lib VS ivory

  The Ivory EDSL

  

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

  

• Carp

  84 5,393 0.7 Haskell smt-lib VS Carp

  A statically typed lisp, without a GC, for real-time applications.

  

• elm-bridge

  0 101 4.7 Elm smt-lib VS elm-bridge

  Haskell: Derive Elm types from Haskell types

• futhark

  52 2,291 9.8 Haskell smt-lib VS futhark

  :boom::computer::boom: A data-parallel functional programming language