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 Hours Coded Hours Daily Average Average Languages Used
1 Ritsuka 2 hrs 18 mins 19 mins Markdown, Python, Isabelle, C++, LLVM, MLIR, C, Bash, Text, … hireable 🇺🇸
Last modified 3 hours ago at 2026-10-23T17:06:51Z