Open Source Radar
Radar · Compare
transformers vs LeanDojo
At a glance
- transformers has 198× the stars of LeanDojo (163k vs 826)
- transformers is older (since 2018 vs 2023)
- Licenses differ: Apache-2.0 vs MIT
Star historydaily snapshots by VibeCrowd
Collecting history — both repos are snapshotted daily; the chart appears after 3 days of data for each.
| transformers | LeanDojo | |
|---|---|---|
| Stars | ★ 163k | ★ 826 |
| Growth · 7d | +266 | — |
| Growth · 24h | — | — |
| Forks | 34k | 117 |
| Open issues | 2.3k | 12 |
| Language | Python | Python |
| License | Apache-2.0 | MIT |
| Created | Oct 2018 | Jun 2023 |
| Last push | 1d ago | 199d ago |
| Behind the repo | — | — |
Shared topics
More comparisons