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 16 mins 15 mins Markdown, Image (png), Nix, C, TeX, Coq, JSON, Rust, Python, … 🇨🇳
2 @Tomato1337 0 secs 0 secs TypeScript, Markdown, JSON, HTML, Python, Docker, git ignore, C++, Assembly, … hireable 🇷🇺
Last modified 2 hours ago at 2026-09-24T08:30:49Z