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 6.9 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

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.

Promo www.influxdata.com

qed

3.2 0.0 Folly VS qed

Experiments writing a prover
haskhol-core

0.8 0.0 Folly VS haskhol-core

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