ByteDance-Seed/Seed-Prover

by ByteDance-Seed Lean Apache-2.0 licence 29 forks Created Jul 2025 View on GitHub

Stars
441
1% of ByteDance-Seed's stars
Rank
#140,571
of 852,119 repos, top 17%

Among 852,119 repos

400–630 stars: 51,561 repos, including Seed-Prover

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #140,323
Next milestone
+326 stars to reach the top 10%
Popular
One of 490,778 repos with 100+ stars
Yearly average
332 stars a year since Jul 2025

Stars counted Recounted daily Next count around