Why3 Alternatives

Similar projects and alternatives to why3

• z3-encoding

  0 5 0.0 Haskell why3 VS z3-encoding

• peggy

  0 94 0.0 Haskell why3 VS peggy

  The Parser Generator for Haskell (by tanakh)

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

  

• language-javascript

  0 157 0.0 Haskell why3 VS language-javascript

  Parser for JavaScript, in Haskell

• liquidhaskell

  4 1,148 9.3 Haskell why3 VS liquidhaskell

  Liquid Types For Haskell

  

• smt-lib

  0 8 0.0 Haskell why3 VS smt-lib

  Parsing and printing SMT-LIB from Haskell.

• purescript

  52 8,458 6.6 Haskell why3 VS purescript

  A strongly-typed language that compiles to JavaScript

  

• LibClang

  0 58 0.0 Haskell why3 VS LibClang

  Haskell FFI to libclang

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

  

• Nomyx

  0 79 4.3 Dockerfile why3 VS Nomyx

  The Nomyx game

  

• liquid-fixpoint

  0 128 8.9 Haskell why3 VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  

• hfmt

  0 125 0.0 Haskell why3 VS hfmt

  Format Haskell programs. Inspired by the gofmt utility.