Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 15 hrs 11 mins 2 hrs 10 mins Agda, M4, Markdown, Text, Emacs Lisp, Graphviz (DOT), BibTeX, YAML, Makefile, … hireable 🇬🇧
2 @ggod 12 mins 1 min Markdown, Brainfuck, TypeScript, C++, JavaScript, Batchfile, Limbo, JSON, HTML, … 🇵🇱
Last modified 2026-03-12T00:09:58Z