Logging Helpers vs Coq Serapi
| Coq Serapi | Logging Helpers | |
|---|---|---|
| Stars | 119 | 6 |
| Downloads |  | |
| Dependent Packages | 14 | |
| Dependent Repos | 480 | |
| Most Recent Commit | 3 months ago | 6 years ago |
| Total Releases | 7 | |
| Latest Release | June 21, 2017 | |
| Open Issues | 17 | 2 |
| License | other | mit |
| Programming Language | OCaml | JavaScript |