Leaderboard · Agda · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 0 secs 0 secs RMarkdown, Lean4, Emacs Lisp, D, Python, JSON, TOML, YAML, Bash, … hireable 🇬🇧
Last modified 2026-02-13T16:13:51Z