Leaderboard · Coq

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 @definfo 59 mins 9 mins C, Image (png), Markdown, Rust, Nix, Coq, TeX, Python, Bash, … 🇨🇳
Last modified 5 hours ago at 2026-11-03T17:22:46Z