Leaderboard · Coq · Portugal

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Francisco Santos 2 mins 0 secs OCaml, Puppet, TypeScript, Markdown, Makefile, HTML, Coq, Text 🇵🇹
Last modified 2026-04-14T01:03:50Z