Compare tamarin-prover and tip-haskell-frontend's popularity and activity
Popularity
9.8
Stable
Activity
8.7
Growing
Popularity
7.5
Growing
Activity
7.5
Stable
| tamarin-prover | tip-haskell-frontend | |
| 423 | 21 | |
| 25 | 6 | |
| 137 | 7 | |
| 268 days | 38 days | |
| about 4 years ago | almost 9 years ago | |
| 23 days ago | 11 months ago | |
| 38 | 4 | |
| Haskell | Haskell | |
| LicenseRef-GPL | BSD 3-clause "New" or "Revised" License | |
| Logic, Theorem Provers, Tamarin | Logic, Theorem Provers, Tip |
Interest over time of tamarin-prover and tip-haskell-frontend
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-provervslogic-classes
-
tamarin-provervspicosat
-
tamarin-provervssatchmo
-
tip-haskell-frontendvspicosat
Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «
» Subscribe to our newsletter «