Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 1 hr 27 mins 12 mins TeX, LaTeX source file, Makefile, Text, Dafny, BibTeX bibliography file, BibTeX, YAML, Markdown, …
2 FormulaRossa 0 secs 0 secs TeX, LaTeX source file, Text, YAML, textmate, XML, BibTeX, PDF, BibTeX bibliography file 🇨🇭