Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @Phoen1xCode 1 min 0 secs Markdown, TeX, Python, Bash, Text, TOML, Docker, JSON, BibTeX, … 🇨🇳
2 vikraman 0 secs 0 secs Emacs Lisp, Lean4, Python, C, D, RMarkdown, Haskell, YAML, JSON, … hireable 🇬🇧
Last modified 2026-02-09T00:47:41Z