Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @Darkflames 28 hrs 23 mins 4 hrs 43 mins Agda, Makefile, Git Config
2 Eduardo Rafael 26 mins 3 mins Markdown, OCaml, V, Agda, TypeScript 🇧🇷