Leaderboard · Org · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jonathan Melly 7 hrs 42 mins 1 hr 6 mins Org, JSON, C#, Emacs Lisp, Markdown, Text, YAML, Batchfile, PowerShell, … 🇨🇭
2 Yichen Xu 2 hrs 36 mins 26 mins Lean, Scala, Git, Org, Coq, TeX, Markdown, Python, TOML, … 🇨🇭