Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 1 hr 21 mins 11 mins TeX, Text, Coq, BibTeX, Markdown, C++, CSV, Bash, CMake, …
2 Yishuai Li 9 mins 9 mins OCaml, YAML, Makefile, Coq, gitrebase, Git, gitignore, conf hireable 🇺🇸
3 Jason Gross 0 secs 0 secs Python, HTML, CSV, JSON, YAML, Bash, Lean, TOML, Coq, … 🇺🇸