Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Francisco Santos 1 hr 22 mins 11 mins Markdown, HTML, C, OCaml, Agda, CSS, TypeScript, JSON, Lua, … 🇵🇹
2 Jason Gross 48 mins 9 mins Coq, YAML, Agda, Makefile, BibTeX, Bash 🇺🇸