Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 3 hrs 56 mins 39 mins Literate Agda, Agda, TeX, Markdown, Git Config, Makefile, TOML hireable 🇮🇹