Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 5 hrs 48 mins 49 mins RMarkdown, Agda, Lean4, Markdown, YAML, TOML, EJS, Emacs Lisp, Bash, … hireable 🇬🇧
2 Commelina 1 hr 28 mins 12 mins Haskell, Agda, Markdown, Python, JSON, Makefile, YAML, Bash, Text, … 🇨🇳
Last modified 2026-03-01T16:11:40Z