Leaderboard · Agda · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anillc 1 hr 25 mins 14 mins Scala, Rust, Agda, JavaScript, C, Nix, Assembly, SystemVerilog, JSON, … 🇨🇳
2 Anonymous User 23 mins 3 mins Lean, typst, Bash, V, Agda, JSON, Rust, Lua, TOML, … hireable 🇨🇳