Top 21 Haskell Logic Projects
-
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
-
-
-
InfluxDB
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.
-
-
-
-
-
-
-
-
structural-induction
SII: Structural Induction Instantiator over any strictly-positive algebraic data type.
-
-
-
-
haskhol-core
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Index
What are some of the best open-source Logic projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | tamarin-prover | 382 |
2 | smcdel | 39 |
3 | hout | 34 |
4 | hatt | 27 |
5 | tip-haskell-frontend | 19 |
6 | atp-haskell | 15 |
7 | Heyting Algebras | 14 |
8 | picologic | 14 |
9 | jukebox | 13 |
10 | obdd | 11 |
11 | Folly | 9 |
12 | g4ip-prover | 8 |
13 | logic-classes | 7 |
14 | tptp | 6 |
15 | structural-induction | 4 |
16 | satchmo | 4 |
17 | qed | 3 |
18 | tpdb | 1 |
19 | haskhol-core | 1 |
20 | judge | 1 |
21 | g4ip | 1 |