Open Source Radar
Radar · Compare
ECC vs LeanDojo
At a glance
- ECC has 288× the stars of LeanDojo (238k vs 826)
- LeanDojo is older (since 2023 vs 2026)
Star historydaily snapshots by VibeCrowd
Collecting history — both repos are snapshotted daily; the chart appears after 3 days of data for each.
| ECC | LeanDojo | |
|---|---|---|
| Stars | ★ 238k | ★ 826 |
| Growth · 7d | +2.9k | — |
| Growth · 24h | — | — |
| Forks | 36k | 117 |
| Open issues | 127 | 12 |
| Language | JavaScript | Python |
| License | MIT | MIT |
| Created | Jan 2026 | Jun 2023 |
| Last push | 2d ago | 199d ago |
| Behind the repo | — | — |
Shared topics