Atsushi Igarashi (@aigarashi)
  • Stars
    star
    85
  • Global Rank 233,631 (Top 9 %)
  • Followers 38
  • Registered about 11 years ago
  • Most used languages
    OCaml
    60.0 %
    Coq
    20.0 %
    Java
    20.0 %
  • Location ๐Ÿ‡ฏ๐Ÿ‡ต Japan
  • Country Total Rank 4,911
  • Country Ranking
    OCaml
    31
    Coq
    46
    Java
    308