deepseek-ai/DeepSeek-Prover-V2

by DeepSeek Other licence 116 forks Created Apr 2025 View on GitHub

Stars
1,329
<1% of deepseek-ai's stars
Rank
#51,492
of 851,984 repos, top 7%

Among 851,984 repos

1k–1.6k stars: 23,676 repos, including DeepSeek-Prover-V2

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

Quick stats

Next rank
+1 star to reach #51,446
Next milestone
+5,891 stars to reach the top 1%
Popular
One of 66,569 repos with 1k+ stars
Yearly average
862 stars a year since Apr 2025

Stars counted Recounted daily Next count around