WakaTime Developer Leaderboards

Oh Snap! WakaTime needs JavaScript for all the pretty graphs and charts.

Please enable JavaScript in your browser to view the site.

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	VTrelat	6 mins	0 secs	Lean4, SMT, C		🇩🇪
2	Seddon Shen	0 secs	0 secs	sh, Markdown, JSON, Slurm, Scala, Text, C++, Git Config, SMT, …		🇨🇳