United States OCaml Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Jason Gross	0 secs	0 secs	Coq, Python, Go, TeX, Lean, HTML, Assembly, Markdown, JavaScript, …		🇺🇸