Coq Performance Tests vs Ava
| Ava | Coq Performance Tests | |
|---|---|---|
| Stars | 20,617 | 6 |
| Downloads |  | |
| Dependent Packages | 33,632 | |
| Dependent Repos | 44,279 | |
| Most Recent Commit | a month ago | 5 months ago |
| Total Releases | 112 | |
| Latest Release | December 06, 2023 | |
| Open Issues | 57 | 3 |
| License | mit | mit |
| Programming Language | JavaScript | Coq |