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 13,355 GPT (9,046) Markdown, Rocq, LaTeX, C, Makefile, Bash, Git Config, Python, JavaScript, … 🇨🇳
Last modified 1 day ago at 2026-09-11T00:00:02Z