Qed Alternatives

Similar projects and alternatives to qed

• tamarin-prover

  0 382 7.8 Haskell qed VS tamarin-prover

  Main source code repository of the Tamarin prover for security protocol verification.

  

• picosat

  0 16 0.0 C qed VS picosat

  Haskell bindings for PicoSAT solver

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

  

• haskhol-core

  0 1 0.0 Haskell qed VS haskhol-core

  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.

• Folly

  0 9 0.0 Haskell qed VS Folly

  First order logic in Haskell (by dillonhuff)

• jukebox

  0 13 0.0 Haskell qed VS jukebox

  A theorem prover (by nick8325)

• tpdb

  0 1 5.3 Haskell qed VS tpdb

  parser and prettyprinter for TPDB syntax (termination problem data base)

• tip-haskell-frontend

  0 19 7.5 Haskell qed VS tip-haskell-frontend
  

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

  

• minisat

  0 1 0.0 qed VS minisat

  Minisat Haskell bundle

• atp-haskell

  0 15 0.0 Haskell qed VS atp-haskell

  Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

  

• structural-induction

  0 4 0.0 Haskell qed VS structural-induction

  SII: Structural Induction Instantiator over any strictly-positive algebraic data type.