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 5,999 Fable (5,385) Nix, YAML, Markdown, Go, Rust, Python, C, Makefile, TOML, … 🇨🇳
Last modified 7 hours ago at 2026-09-12T09:06:03Z