AI Rank
← 开发者
#6191 3

Qian-Cheng-nju

@Qian-Cheng-nju
在 GitHub 打开
4.22k
加权贡献
672
贡献次数
1
项目数
主要项目
上榜的 AI 项目1
2371432
specula-org/Specula
+5

Specula: An agentic tool for finding deep bugs in system code using TLA+

534· Python