Chiaki Ishio (@chiaki-i)
github

chiaki-i

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 11
  • Following 43
  • Registered about 9 years ago
  • Most used languages
    OCaml
         50.0 %
    Agda     50.0 %
  • Location ๐Ÿ‡ฏ๐Ÿ‡ต Japan
  • Country Total Rank 22,440
  • Country Ranking
    Agda     10
    OCaml
         174

Top repositories

1

type4d

Type system for four delimited control operators
Agda
2
star
2

cps-calc

representing control (in OCaml)
OCaml
1
star