Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 13 hrs 14 mins 2 hrs 12 mins Agda, TeX, Org, Text, Git, BibTeX, Ruby hireable 🇮🇹
2 Sergio Bonatto 2 hrs 42 mins 27 mins GDScript3, Agda, Vim Script, Bash, CSS, Text, JavaScript, bend, Git Config, … hireable 🇧🇷
3 Alok Singh 10 mins 2 mins Lean, Text, Python, TypeScript, JSON, Agda, Lua, gitignore, Markdown, … hireable 🇺🇸
4 Francisco Santos 2 mins 0 secs TypeScript, OCaml, JavaScript, Lua, JSON, Text, Agda, Markdown 🇵🇹