Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Alok Singh 16 hrs 22 mins 2 hrs 20 mins Lean, Python, Text, Markdown, Makefile, TeX, TOML, Bash, YAML, … hireable 🇺🇸
2 VTrelat 8 hrs 53 mins 1 hr 46 mins Lean, TeX, SMT, sh, JSON 🇩🇪
3 Jason Gross 7 hrs 44 mins 1 hr 6 mins Coq, Lean, Python, Org, TeX, JSON, TOML, CSV, HTML, … 🇺🇸
4 Yichen Xu 6 hrs 30 mins 55 mins Scala, Lean, Git, Org, Markdown, Emacs Lisp, TeX, Rust, Lua 🇨🇭
5 Chutian Yang 3 hrs 26 mins 29 mins Lean, Markdown, Lua, Makefile, Rust, Nix, Nushell, TOML hireable
6 KokomiCat 2 hrs 55 mins 43 mins Lean, Python, TeX, C, BibTeX, BST, Markdown, Text, Graphviz (DOT), … 🇦🇺
7 Lslightly 2 hrs 19 mins 20 mins Markdown, Lean, Python, Rust, Git, YAML 🇨🇳
8 @montmorill 33 mins 8 mins TypeScript, Lean, JavaScript, HTML, TSConfig, JSON, Rust, Markdown hireable 🇨🇳
9 kAIto47802 9 mins 1 min Python, C++, Bash, Markdown, TypeScript, TeX, Text, YAML, CSV, … hireable 🇯🇵
10 Zend Wang 4 mins 0 secs Python, Go, Svelte, Solidity, Text, Bash, JSON, SQL, TypeScript, … 🇨🇳
11 @akelio 1 min 0 secs Markdown, Bash, Python, Lean 🇨🇳