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 Hours Coded Hours Daily Average Average Languages Used
1 Ritsuka 59 mins 9 mins Markdown, Python, JSON, Isabelle, C++, Text, MLIR, C, LLVM, … hireable 🇺🇸
Last modified 6 hours ago at 2026-10-26T17:23:48Z