Isabelle Eclipse vs Apidoc
| Apidoc | Isabelle Eclipse | |
|---|---|---|
| Stars | 9,691 | 12 |
| Downloads |  | |
| Dependent Packages | 345 | |
| Dependent Repos | 1,441 | |
| Most Recent Commit | 5 months ago | 10 years ago |
| Total Releases | 96 | |
| Latest Release | August 23, 2023 | |
| Open Issues | 79 | 37 |
| License | other | epl-1.0 |
| Programming Language | JavaScript | Python |