Leaderboard · Scala · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 2 hrs 17 mins Lean4, TeX, Scala, Lean, Git, Python, Org, Markdown, sshconfig, … 🇨🇭
Last modified 2026-02-08T01:06:50Z