Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @Darkflames 7 hrs 7 mins 1 hr 25 mins Agda, Typst, Makefile, Markdown, Git Config, TOML
2 Felipe Augusto Nascimento Lobato 1 hr 10 mins Ruby, Python, Slim, TypeScript, Agda, Haskell, JavaScript, YAML, JSON, … 🇧🇷