Leaderboard · Common Lisp · China

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 10,428 GPT (9,195) Rust, Nix, Markdown, Python, Image (png), C, C#, Coq, Typst, … 🇨🇳
Last modified 2 hours ago at 2026-11-07T09:14:43Z