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 1 hr 27 mins 12 mins Python, Markdown, C++, Isabelle, Bash, Text, MLIR, CMake, Scala, … hireable 🇺🇸
Last modified 6 hours ago at 2026-11-06T17:22:41Z