Hireable China Isabelle Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Xiaokun Luan	12 mins	2 mins	Python, TeX, Markdown, OCaml, Scala, JSON, textmate, Isabelle, C, …	hireable	🇨🇳