Open Source Radar
Radar · Compare
LeanDojo vs ollama
At a glance
- ollama has 215× the stars of LeanDojo (178k vs 826)
Star historydaily snapshots by VibeCrowd
Collecting history — both repos are snapshotted daily; the chart appears after 3 days of data for each.
| LeanDojo | ollama | |
|---|---|---|
| Stars | ★ 826 | ★ 178k |
| Growth · 7d | — | +640 |
| Growth · 24h | — | — |
| Forks | 117 | 17k |
| Open issues | 12 | 3.6k |
| Language | Python | Go |
| License | MIT | MIT |
| Created | Jun 2023 | Jun 2023 |
| Last push | 199d ago | 2d ago |
| Behind the repo | — | Ollama |
Shared topics