Leaderboard · Git · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 15 mins 7 mins Lean4, Git, Lean, JSON, Rust 🇨🇭
2 Marcus 3 mins 0 secs TeX, Python, Markdown, YAML, Docker, TypeScript, TOML, JSON, BibTeX, … 🇨🇭
3 Grégoire Aubert 0 secs 0 secs TypeScript, Kotlin, TOML, Bash, TSConfig, JSON, Git, Markdown, Java Properties 🇨🇭
Last modified 2025-12-25T16:37:52Z