Leaderboard · Agda · Brazil

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Sergio Bonatto 20 hrs 31 mins 2 hrs 55 mins Agda, Vim Script, Markdown, Text, JavaScript, Bash, bend, Python hireable 🇧🇷