Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Francisco Santos 1 hr 2 mins 10 mins OCaml, TypeScript, HTML, Agda, SQL, Reason, sshconfig, Nix, sh, … 🇵🇹
2 @AdamV 2 mins 0 secs Scala, Rust, C, TOML, sbt, Agda, C++, Java Properties, Text, …