Leaderboard · Coq · China

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 11 hrs 40 mins 1 hr 40 mins Coq, Nix, Markdown, C, Rust, JavaScript, TypeScript, JSON, TOML, … 🇨🇳
Last modified 2026-06-05T08:48:50Z