Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 12 hrs 1 hr 42 mins Coq, Text, TeX, C++, OCaml, CSV, Markdown, Rust, Python, …