Smcdel Alternatives

Similar projects and alternatives to smcdel

• jukebox

  0 13 0.0 Haskell smcdel VS jukebox

  A theorem prover (by nick8325)

• Folly

  0 9 0.0 Haskell smcdel VS Folly

  First order logic in Haskell (by dillonhuff)

• InfluxDB

  www.influxdata.com featured

  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.

  

• picologic

  0 14 0.0 Haskell smcdel VS picologic

  Symbolic logic expressions

• structural-induction

  0 4 0.0 Haskell smcdel VS structural-induction

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

• satchmo

  0 4 0.0 Haskell smcdel VS satchmo

  SAT encoder

• tip-haskell-frontend

  0 19 7.5 Haskell smcdel VS tip-haskell-frontend
  

• obdd

  0 11 2.8 Haskell smcdel VS obdd

  pure Haskell implementation of reduced ordered binary decision diagrams

• SaaSHub

  www.saashub.com featured

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

  

• hout

  0 34 0.0 Haskell smcdel VS hout

  A non-interactive proof assistant using the Haskell type system

• tamarin-prover

  0 387 7.5 Haskell smcdel VS tamarin-prover

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

  

• atp-haskell

  0 15 0.0 Haskell smcdel VS atp-haskell

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