AlphaUncommon
deepseek-ai/DeepSeek-Prover-V1.5
No description.
- Owner
- deepseek-ai (organization)
- Stars
- Stars: 592
- Forks
- Forks: 249
- Language
- Python
- License
- MIT
- Created
- 2024
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by deepseek-ai
All 44 repos by deepseek-ai- deepseek-ai/deepseek-harnessStars: 271,654TypeScriptLTS
- deepseek-ai/DeepSeek-V3Stars: 104,728PythonLTS
- deepseek-ai/DeepSeek-R1Stars: 91,999LTS
- deepseek-ai/awesome-deepseek-integrationStars: 39,703LTS
- deepseek-ai/DeepInferStars: 25,291PythonLTS
- deepseek-ai/DeepSeek-CoderStars: 24,346PythonLTS
Nearby in Python
All Python repos- WenyuChiou/ai-research-skillsStars: 592PythonAlpha
- blogminhquy/javis-osStars: 592PythonAlpha
- FuRongJun-1999/dsh-memoryStars: 592PythonAlpha
- marcelm/cutadaptStars: 592PythonAlpha
- aio-libs/aiodnsStars: 592PythonAlpha
- ikostrikov/TensorFlow-VAE-GAN-DRAWStars: 592PythonAlpha