Leaderboard · Isabelle · United States

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 Ritsuka 22,009 GPT (22,009) Markdown, Python, JSON, Isabelle, C++, Text, MLIR, C, LLVM, … hireable 🇺🇸
Last modified 5 hours ago at 2026-10-26T17:24:43Z