Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 0 secs 0 secs Markdown, Python, Coq, Nix, TypeScript, JSON, Lean4, YAML, OpenEdge ABL, … 🇨🇳