Leaderboard · Coq · 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 @definfo 18,035 Opus (12,542) Nix, Markdown, Rust, C, Python, Image (png), Slint, TOML, JSON, … 🇨🇳
Last modified 6 hours ago at 2026-10-27T17:28:05Z