Monthly Downloads: 20
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Logic Theorem Provers
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-prover9.8 6.9 Folly VS tamarin-proverMain source code repository of the Tamarin prover for security protocol verification.
tip-haskell-frontend7.6 0.0 Folly VS tip-haskell-frontendConvert from Haskell to Tip
qed3.2 0.0 Folly VS qedExperiments writing a prover
haskhol-core0.8 0.0 Folly VS haskhol-coreThe core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Do you think we are missing an alternative of Folly or a related project?