Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 6 hrs 34 mins 56 mins Agda, TeX, BibTeX hireable 🇮🇹
2 Anillc 5 hrs 59 mins 59 mins Agda, Markdown, Haskell, Nix, C++, Meson, C, YAML, JSON, … 🇨🇳
3 mio-dokuhaki 4 mins 0 secs fish, Lua, Brainfuck, OCaml, C++, COBOL, Common Lisp, Makefile, F#, … hireable 🇯🇵
4 Jason Gross 1 min 0 secs TeX, Image (svg), Markdown, Literate Agda, Agda, HTML 🇺🇸
5 kis9a 0 secs 0 secs Go, Markdown, Vim Script, SQL, GraphQL, Bash, Makefile, Text, tmux, … 🇯🇵