Compare logic-TPTP and base91's popularity and activity
Popularity
4.5
Growing
Activity
6.7
-
Popularity
4.9
Declining
Activity
0.0
Stable
| logic-TPTP | base91 | |
| 4 | 10 | |
| 4 | 4 | |
| 2 | 0 | |
| - | 1 days | |
| - | v2.1.1 | |
| about 1 month ago | about 6 years ago | |
| 46 | 15 | |
| Haskell | Haskell | |
| LicenseRef-GPL | MIT License | |
| Math, Theorem Provers, Codec | Codec |
Interest over time of logic-TPTP and base91
Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.
More comparisons
-
base91vsraaz
-
base91vsmime
-
base91vspostgresql-binary
-
logic-TPTPvssimple-tar
-
logic-TPTPvsxor
-
base91vsbinary-serialise-cbor
Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «
» Subscribe to our newsletter «