Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @rzin 11 mins 1 min TypeScript, JavaScript, Java, OCaml, XML, HTML, Lua, Rust, Go, … 🇧🇷
2 @0x4248 0 secs 0 secs HTML, Java, JSON, C++, CSS, JavaScript, Markdown, Text, Python, … 🇬🇧