Folly

First order logic in Haskell (by dillonhuff)
Review Logic Theorem Provers
Source Code
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Folly Alternatives

Similar projects and alternatives to Folly

Folly

  1. smcdel

    0 Folly VS smcdel

    A symbolic model checker for Dynamic Epistemic Logic.

  2. SaaSHub

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

    SaaSHub logo

  3. qed

    0 Folly VS qed

    Experiments writing a prover

  4. structural-induction

    0 Folly VS structural-induction

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

  5. tamarin-prover

    0 Folly VS tamarin-prover

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

  6. picologic

    0 Folly VS picologic

    Symbolic logic expressions

  7. picosat

    0 Folly VS picosat

    Haskell bindings for PicoSAT solver

  8. tpdb

    0 Folly VS tpdb

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

  9. minisat

    0 Folly VS minisat

    Minisat Haskell bundle

  10. judge

    0 Folly VS judge

    Tableau-based theorem prover for justification logic.

  11. satchmo

    0 Folly VS satchmo

    SAT encoder

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better Folly alternative or higher similarity.
Suggest an alternative to Folly

Folly discussion

Log in or Post with

Folly reviews and mentions

Posts with mentions or reviews of Folly. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning Folly yet.
Tracking mentions began in Dec 2020.

Stats

Basic Folly repo stats
0
9
0.0
over 8 years ago

dillonhuff/Folly is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of Folly is Haskell.

Popular Comparisons

  1. Folly VS smcdel
  2. Folly VS qed
  3. Folly VS structural-induction
  4. Folly VS tamarin-prover
  5. Folly VS picologic
  6. Folly VS picosat
  7. Folly VS tpdb
  8. Folly VS minisat
  9. Folly VS judge
  10. Folly VS satchmo

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Loading...