Leaderboard · Rocq · China

Hours Coded Manual Coding AI Coding AI Spend

Get the weekly leaderboard

The front page of this leaderboard, delivered every Monday. No other emails.

Rank# Programmer AI Lines AI Lines Top AI Model Model Languages Used
1 Shushu Wu 11,823 Opus (5,769) Markdown, LaTeX, Rocq, Text, JavaScript, C, Python, Lean4, TeX, … 🇨🇳
Last modified 16 hours ago at 2026-10-26T16:00:10Z