Switzerland WebAssembly Interface Type Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Yichen Xu	1 min	0 secs	Scala, Markdown, Lean4, Python, Text, Org, Bash, TeX, JSON, …		🇨🇭

Last modified 2026-04-08T16:57:07Z