deepseek-ai/DeepSeek-Prover-V1.5

by DeepSeek Python MIT licence 250 forks Created Aug 2024 View on GitHub

Stars
593
<1% of deepseek-ai's stars
Rank
#107,378
of 847,070 repos, top 13%
In Python
#19,818
of 172,206 repos, top 12%

Among 847,070 repos

Compare with

400–630 stars: 51,350 repos, including DeepSeek-Prover-V1.5

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

Quick stats

Next rank
+1 star to reach #107,234
Next milestone
+176 stars to reach the top 10%
Popular
One of 488,390 repos with 100+ stars
Yearly average
265 stars a year since Aug 2024

Stars counted Recounted daily Next count around