Leaderboard · sshconfig · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 0 secs 0 secs Scala, Lean, Lean4, TeX, Org, Typst, Git, Python, Markdown, … 🇨🇭