Compare tip-haskell-frontend and tamarin-prover's popularity and activity
Popularity
7.5
Stable
Activity
7.5
Stable
Popularity
9.8
Stable
Activity
8.5
Growing
| tip-haskell-frontend | tamarin-prover | |
| 21 | 451 | |
| 6 | 23 | |
| 7 | 137 | |
| 38 days | 268 days | |
| over 9 years ago | over 4 years ago | |
| about 1 year ago | 3 days ago | |
| 6 | 6 | |
| Haskell | Haskell | |
| BSD 3-clause "New" or "Revised" License | LicenseRef-GPL | |
| Logic, Theorem Provers, Tip | Logic, Theorem Provers, Tamarin |
Interest over time of tip-haskell-frontend and tamarin-prover
Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.
More comparisons
-
tamarin-provervsqed
-
tamarin-provervsminisat
-
tamarin-provervssatchmo
-
tip-haskell-frontendvsobdd
-
tip-haskell-frontendvspicosat
-
tamarin-provervslogic-classes
Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «
» Subscribe to our newsletter «