Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Leo Durrant 55 mins 11 mins TeX, Go, Agda, Protocol Buffer, YAML, Docker, Makefile, TypeScript, Markdown, … hireable 🇬🇧
2 Anillc 1 min 0 secs Ruby, Nix, AsciiDoc, YAML, Python, Makefile, Perl, JSON, Rust, … 🇨🇳