ByteDance-Seed/ BFS-Prover-V2
by ByteDance-Seed Python Apache-2.0 licence 5 forks Created Oct 2025 View on GitHub
- Stars
- 55
- <1% of ByteDance-Seed's stars
- Rank
- #778,497
- of 852,045 repos, top 92%
- In Python
- #158,109
- of 173,300 repos, top 92%
Among 852,045 repos
40–63 stars: 143,701 repos, including BFS-Prover-V2
top 50%top 10%top 1%top 0.1%
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #767,354
- Next milestone
- +2 stars to reach the top 90%
- Yearly average
- 50 stars a year since Oct 2025