Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 10 hrs 52 mins 1 hr 33 mins Lean, Coq, Python, Bash, JSON, Markdown, HTML, Jinja, Git Config, … 🇺🇸
2 @definfo 5 hrs 28 mins 46 mins Markdown, Nix, Coq, Lean, Python, MATLAB, YAML, Haskell, Rust, … 🇨🇳
3 Anonymous User 5 hrs 4 mins 43 mins C++, Coq, CSV, Markdown, Python, OCaml, C, JSON, Text, …
4 Jelly Terra 12 mins 4 mins Rust, YAML, Bluespec, Markdown, Coq 🇨🇳