Tamarin-prover Alternatives

Similar projects and alternatives to tamarin-prover

• qed

  0 3 0.0 Haskell tamarin-prover VS qed

  Experiments writing a prover

• tip-haskell-frontend

  0 19 7.5 Haskell tamarin-prover VS tip-haskell-frontend
  

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

  

• logic-classes

  0 7 0.0 Haskell tamarin-prover VS logic-classes

  Framework for propositional and first order logic, theorem proving

  

• minisat

  0 1 0.0 tamarin-prover VS minisat

  Minisat Haskell bundle

• picosat

  0 16 0.0 C tamarin-prover VS picosat

  Haskell bindings for PicoSAT solver

• satchmo

  0 4 0.0 Haskell tamarin-prover VS satchmo

  SAT encoder

• hatt

  0 27 0.0 Haskell tamarin-prover VS hatt

  Truth-table generator for classical propositional logic (by beastaugh)

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

  

• smcdel

  0 39 3.1 Haskell tamarin-prover VS smcdel

  A symbolic model checker for Dynamic Epistemic Logic.

  

• Folly

  0 9 0.0 Haskell tamarin-prover VS Folly

  First order logic in Haskell (by dillonhuff)

• hout

  0 34 0.0 Haskell tamarin-prover VS hout

  A non-interactive proof assistant using the Haskell type system