Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 11 hrs 42 mins 2 hrs 20 mins Lean, SMT, TeX, Python, CSV, JSON, sh, Bash 🇩🇪
2 @bronen 8 hrs 10 mins 1 hr 10 mins Clojure, Lean, Markdown, Nix, Emacs Lisp, Org, Prolog, gitignore, YAML, … 🇧🇷
3 Chutian Yang 3 hrs 13 mins 27 mins Markdown, Lean, Lua, Rust, Nix, EditorConfig, Makefile hireable
4 Alok Singh 2 hrs 9 mins 18 mins Lean, TOML, JSON, Markdown hireable 🇺🇸
5 Jason Gross 1 hr 38 mins 14 mins Python, TypeScript, Bash, JavaScript, Markdown, Lean, CSS, HTML, Text, … 🇺🇸
6 kAIto47802 1 hr 32 mins 15 mins Python, TeX, Text, Markdown, Lean, Bash, HTML, BibTeX, JSON, … hireable 🇯🇵
7 @montmorill 1 hr 27 mins 43 mins Lean, Markdown, Lua, TOML, JSON hireable 🇨🇳
8 Yichen Xu 23 mins 3 mins Scala, Rust, Text, Org, Git, Markdown, Lean 🇨🇭
9 @kamome 0 secs 0 secs Scala, Racket, Markdown, Python, Git Config, XML, Typst, Makefile, JSON, … hireable 🇨🇳