Leaderboard · Agda · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Sergio Bonatto 19 mins 9 mins Vim Script, phi, Solidity, Agda, Bash, Haskell, TypeScript, Text, YAML, … hireable 🇧🇷