Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Potato Hatsue 2 hrs 27 mins 24 mins Kotlin, Agda, CMake, Nix, textmate, Haskell, C++, Text, XML, …
2 @Darkflames 19 mins 4 mins Markdown, Agda, HTML, YAML
3 Jason Gross 1 min 0 secs Coq, Makefile, Bash, YAML, Markdown, Agda 🇺🇸
4 Matheus 0 secs 0 secs TypeScript, Go, JSON, YAML, Markdown, Bash, C#, JavaScript, CSS, … hireable 🇧🇷