Leaderboard · Agda · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Commelina 3 mins 0 secs BNFC, TeX, Haskell, SSH Config, Java, Python, C++, Git Config, YAML, … 🇨🇳