Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 4 hrs 13 mins 36 mins Python, Rust, Coq, Markdown, YAML, Nix, Text, Bash, TeX, … 🇺🇸
2 @definfo 2 hrs 20 mins 28 mins Markdown, Coq, Python, Nix, Makefile, OCaml, TOML, JSON, Text, … 🇨🇳
3 Anonymous User 1 hr 6 mins 11 mins Coq, TeX, Markdown, C, Text, Bash, Rust, Makefile, BibTeX