Leaderboard · Rocq

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 21,234 GPT (18,305) Markdown, Rocq, LaTeX, C, Makefile, Bash, Python, Git Config, JSON, … 🇨🇳
Last modified 1 day ago at 2026-09-09T08:00:38Z