Leaderboard · sshconfig · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 2 mins 0 secs Lean4, Org, TeX, Markdown, Typst, Scala, Emacs Lisp, Makefile, Bash, … 🇨🇭