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 Spend Spend Top AI Model Model Languages Used
1 @definfo $323 GPT ($250) Nix, Rust, Markdown, Python, Image (png), C, Coq, Slint, TOML, … 🇨🇳
Last modified 7 hours ago at 2026-10-28T09:27:57Z