Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anillc 4 mins 0 secs Scala, TypeScript, JSON, Text, Nix, Agda, TSConfig, YAML, C, … 🇨🇳
2 mio-dokuhaki 2 mins 0 secs Common Lisp, Lua, Rust, Dart, fish, JavaScript, Python, V, Brainfuck, … hireable 🇯🇵