Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 3 hrs 11 mins 27 mins Python, YAML, Coq, Bash, Makefile, D, HTML, Git Config, Org 🇺🇸
2 Anonymous User 1 hr 6 mins 9 mins TeX, Coq, Text, BibTeX, Python, Markdown, CSV, C++, Assembly, …
3 @definfo 43 mins 7 mins Nix, Coq, Java, Markdown, Haskell, Rust, JSON, YAML, TOML, … 🇨🇳