Leaderboard · Agda · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 6 hrs 34 mins 56 mins Agda, TeX, BibTeX hireable 🇮🇹
2 mio-dokuhaki 4 mins 0 secs fish, Lua, Brainfuck, OCaml, C++, COBOL, Common Lisp, Makefile, F#, … hireable 🇯🇵