WakaTime Developer Leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	@definfo	3 hrs 12 mins	38 mins	C, Coq, Markdown, Nix, YAML, Bash, CMake, Nginx configuration file, Git Config, …			🇨🇳

Last modified 4 hours ago at 2026-08-03T01:00:24Z