Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 1 hr 12 mins 24 mins Agda, TeX, Text, Standard ML, Makefile hireable 🇮🇹
2 Anillc 14 mins 2 mins Scala, CMake, SystemVerilog, Nix, Agda, Go, C++, Rust, Git Config, … 🇨🇳
3 @0x4248 0 secs 0 secs HTML, Java, C++, JSON, Markdown, Haskell, Python, Fortran, CSS, … 🇬🇧