Leaderboard · Isabelle

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 Ritsuka $243 GPT ($233) Markdown, Python, Isabelle, JSON, C++, MLIR, LLVM, Text, C, … hireable 🇺🇸
Last modified 6 hours ago at 2026-10-25T17:10:15Z