Leaderboard · Isabelle · United States · Hireable

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Ritsuka 1 hr 38 mins 14 mins Markdown, Python, Isabelle, C++, MLIR, Bash, TeX, CMake, Text, … hireable 🇺🇸
Last modified 2026-05-22T16:57:54Z