Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jay Lee 29 mins 4 mins Lean4, TeX, lisp, BibTeX, Bash, Python, OCaml, Nix, Lua, … 🇰🇷
2 @phatcvo 0 secs 0 secs C++, YAML, RMarkdown, Markdown, XML, CMake, Git Config, JSON, HTML, … 🇰🇷