Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 15 hrs 18 mins 2 hrs 11 mins Coq, Lean, Python, Org, Go, JavaScript, Shell, TeX, JSON, … 🇺🇸
2 @definfo 3 hrs 25 mins Nix, Markdown, Rust, Coq, Python, Gradle Kotlin DSL, Groovy, Makefile, Text, … 🇨🇳
3 Anonymous User 2 hrs 39 mins 26 mins TeX, Coq, Markdown, Text, C++, C, Python
4 Jelly Terra 4 mins 0 secs Scala, Bluespec, Rust, Coq, Markdown, GitIgnore file, C++ 🇨🇳