Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 10 hrs 7 mins 1 hr 26 mins Python, Coq, Markdown, Bash, Image (svg), YAML, JavaScript, Lean, Git Config, … 🇺🇸
2 Anonymous User 7 hrs 4 mins 1 hr Text, Coq, C, Markdown, Makefile, C++, Rust, INI, OCaml, …