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 Hours Coded Hours Daily Average Average Languages Used
1 Shushu Wu 4 hrs 1 min 48 mins Markdown, LaTeX, Text, Rocq, JavaScript, C, Python, Lean4, TeX, … 🇨🇳
Last modified 3 days ago at 2026-10-23T16:00:01Z