Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @themathqueen 72 hrs 51 mins 10 hrs 24 mins Lean, YAML, Git Config, JSON, Bash, Python, Batchfile, Ruby, Markdown 🇬🇧
2 Yichen Xu 6 hrs 59 mins 59 mins Lean, Org, Scala, Assembly, Python, Text, ActionScript, Git Config 🇨🇭
3 Anonymous User 5 hrs 54 mins 59 mins Lean, typst, Lua, conf, Text, YAML, Bash, Rust, Markdown, … hireable 🇨🇳
4 Chin Zhe Ning 5 hrs 26 mins 1 hr 5 mins Lean, PlantUML file, Python, Text, Java, C++, Markdown hireable 🇸🇬
5 VTrelat 2 hrs 29 mins 37 mins C++, Lean, Isabelle, TeX, Makefile, CSS, C 🇩🇪
6 gygggggggh 1 hr 45 mins 26 mins C, Lean, Haskell 🇫🇷
7 Anonymous User 47 mins 23 mins Lean, JSON, Markdown
8 Alok Singh 33 mins 4 mins Lean, Markdown, Metal, Swift, Bash, Haskell hireable 🇺🇸
9 Vishal Lama 24 mins 4 mins Scala, Lean, sbt, Haskell, GitIgnore file, textmate, Java Properties, JSON, Properties 🇺🇸