Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 12 hrs 50 mins 1 hr 50 mins Agda, Org, Scala, TeX, Emacs Lisp 🇨🇭
2 @Darkflames 1 hr 32 mins 13 mins TeX, Agda, Markdown, Git Config
3 dustbin 15 mins 3 mins C++, C, Python, CMake, Bash, Zig, JSON, Markdown, Agda, … hireable 🇨🇳