Leaderboard · Isabelle · Australia

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @daqoblade 0 secs 0 secs TeX, BibTeX, Nix, Text, JSON, Bash, Git Config, Isabelle 🇦🇺
Last modified 2026-03-01T08:56:35Z