AI Rank
← Developers
#6191 3

Qian-Cheng-nju

@Qian-Cheng-nju
Open on GitHub
4.22k
Weighted score
672
Contributions
1
Repos
Top repos
Ranked AI repos1
2371432
specula-org/Specula
+5

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

534· Python