Open Source Radar
Radar · Compare
prompts.chat vs LeanCopilot
At a glance
- prompts.chat has 127× the stars of LeanCopilot (165k vs 1.3k)
- 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 | LeanCopilot | |
|---|---|---|
| Stars | ★ 165k | ★ 1.3k |
| Growth · 7d | — | — |
| Growth · 24h | — | — |
| Forks | 21k | 126 |
| Open issues | 61 | 4 |
| Language | HTML | C++ |
| License | — | MIT |
| Created | Dec 2022 | Sep 2023 |
| Last push | 6d ago | 26d ago |
| Behind the repo | — | — |
Shared topics
More comparisons