Leaderboards · Idris

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Elis Vathi 1 hr 54 mins 16 mins TypeScript, Idris, JSON, HTML, JavaScript, C, Common Lisp, Haskell, Clojure, …