Open Source Radar
Radar · Compare
prompts.chat vs LeanDojo
At a glance
- prompts.chat has 202× the stars of LeanDojo (167k vs 826)
- prompts.chat is older (since 2022 vs 2023)
Star historydaily snapshots by VibeCrowd
Collecting history — both repos are snapshotted daily; the chart appears after 3 days of data for each.
| prompts.chat | LeanDojo | |
|---|---|---|
| Stars | ★ 167k | ★ 826 |
| Growth · 7d | +250 | — |
| Growth · 24h | — | — |
| Forks | 22k | 117 |
| Open issues | 62 | 12 |
| Language | HTML | Python |
| License | — | MIT |
| Created | Dec 2022 | Jun 2023 |
| Last push | 2d ago | 199d ago |
| Behind the repo | prompts.chat | — |
Shared topics
More comparisons