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 AI Lines AI Lines Top AI Model Model Languages Used
1 @definfo 18,963 Opus (13,910) Nix, Rust, Markdown, Python, Image (png), C, Coq, Slint, TOML, … 🇨🇳
Last modified 30 minutes ago at 2026-10-28T17:16:14Z