Leaderboard · Coq · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yishuai Li 3 mins 0 secs TeX, sshconfig, OCaml, YAML, JSON, Mustache, gitrebase, Coq, Git, … hireable 🇺🇸