Leaderboard · Awk · Turkey

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 @rkv 261,460 GPT (226,470) Lean4, Markdown, Python, C++, Bash, Text, C, CSV, Rust, … hireable 🇹🇷
Last modified 1 hour ago at 2026-08-28T09:07:32Z