Leaderboards · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 xiongxin 26 mins 3 mins Rust, Bash, Java, Agda, Vala, Markdown, JSON, TOML, XML, … hireable