Leaderboard · fish · Switzerland

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