Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 11 hrs 25 mins 5 hrs 42 mins Coq
2 Yichen Xu 5 hrs 47 mins 49 mins TeX, Coq, Python, BibTeX, HTML, Scala, Org, TOML, GitIgnore file, …
3 Jason Gross 1 hr 54 mins 19 mins Agda, Coq, YAML, TeX, Bash 🇺🇸