South Korea TeX Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Jay Lee	11 hrs 32 mins	1 hr 38 mins	TeX, Lean4, Text, TypeScript, lisp, BibTeX, Python, OCaml, Nix, …		🇰🇷
2	jung sung yoon	0 secs	0 secs	Python, JSON, CSV, TeX		🇰🇷