Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 8 hrs 53 mins 1 hr 46 mins Lean, TeX, SMT, sh, JSON 🇩🇪