Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 4 hrs 45 mins 47 mins TeX, Lean, SMT, Python, sh, JSON, Bash 🇩🇪