Leaderboard · Agda · Japan

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 mio-dokuhaki 4 mins 0 secs fish, Lua, Brainfuck, OCaml, C++, COBOL, Common Lisp, Makefile, F#, … hireable 🇯🇵
2 kis9a 0 secs 0 secs Go, Markdown, Vim Script, SQL, GraphQL, Bash, Makefile, Text, tmux, … 🇯🇵