Leaderboard · BibTeX · Germany

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Joshua-Volkan Gramatzki 7 mins 1 min TeX, LaTeX source file, Python, Kotlin, BibTeX, XML, Text, BibTeX bibliography file, textmate, … 🇩🇪
2 VTrelat 3 mins 0 secs Isabelle, Python, sh, Lean, BibTeX, JSON, TeX, HTML, OCaml 🇩🇪