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