Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 18 hrs 43 mins 2 hrs 40 mins Coq, Python, Text, Bash, Makefile, Diff, YAML, Markdown, JSON, … 🇺🇸
2 Anonymous User 16 hrs 9 mins 2 hrs 18 mins Coq, Markdown, Rust, Text, C, TOML
3 Yichen Xu 27 mins 3 mins TeX, Lean, Git, Scala, Org, BibTeX, Markdown, Coq, Makefile, … 🇨🇭