Folly alternatives and similar packages

Based on the "Theorem Provers" category.
Alternatively, view Folly alternatives based on common mentions on social networks and blogs.

• tamarin-prover

  9.8 8.0 Folly VS tamarin-prover

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

• tip-haskell-frontend

  7.6 0.0 Folly VS tip-haskell-frontend

  Convert from Haskell to Tip
  

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org



• qed

  2.6 0.0 Folly VS qed

  Experiments writing a prover

• haskhol-core

  1.1 0.0 Folly VS haskhol-core

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

Do you think we are missing an alternative of Folly or a related project?

OPS - Build and Run Open Source Unikernels sponsored github.com/nanovms

Popular Comparisons

• Folly
  vs
  picosat
• tamarin-prover
  vs
  qed
• tamarin-prover
  vs
  tip-haskell-frontend
• Folly
  vs
  picosat
• qed
  vs
  picosat

Less time debugging, more time building sponsored scoutapm.com