Leaderboard · dosini · Switzerland

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