Leaderboard · Agda · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Francisco Santos 5 hrs 1 min 43 mins OCaml, Agda, Dart, TeX, Markdown, Kotlin, lisp, C++, TypeScript, … hireable 🇵🇹