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, JavaScript, C++, Batchfile, Limbo, JSON, HTML, … 🇵🇱
Last modified 2026-03-11T08:11:05Z