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 1 hr 37 mins 13 mins Nix, Markdown, TeX, Coq, C, Python, Diff, Bash, JavaScript, … 🇨🇳
Last modified 5 hours ago at 2026-10-14T17:07:56Z