Compare logic-TPTP and binary-serialise-cbor's popularity and activity
Popularity
5.0
Stable
Activity
0.9
Stable
Popularity
9.6
Stable
Activity
7.6
Stable
| logic-TPTP | binary-serialise-cbor | |
| 2 | 117 | |
| 3 | 26 | |
| 3 | 44 | |
| - | over 1 year ago | |
| 728 | 95 | |
| Haskell | Haskell | |
| LicenseRef-GPL | BSD 3-clause "New" or "Revised" License | |
| Math, Theorem Provers, Codec | Codec |
Interest over time of logic-TPTP and binary-serialise-cbor
Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.