Leaderboard · sshconfig · Switzerland

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