← 开发者
在 GitHub 打开
#27243 40
Alok Singh
@alok
453
加权贡献
69
贡献次数
7
项目数
主要项目
- oOo0oOo/lean-lsp-mcp
- williamFalcon/test-tube
- openai/gym
- openai/spinningup
- ikostrikov/pytorch-a2c-ppo-acktr-gail
- facebookresearch/TensorComprehensions
- lean-dojo/LeanCopilot
上榜的 AI 项目2