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, C++, MLIR, Isabelle, Git, Bash, TeX, CMake, … hireable 🇺🇸
Last modified 2026-05-22T08:51:33Z