Leaderboard · Agda · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anillc 5 hrs 59 mins 59 mins Agda, Markdown, Haskell, Nix, C++, Meson, C, YAML, JSON, … 🇨🇳