Keigo Imai

icon indicating a website link http://twitter.com/keigoi

icon company DeNA Co., Ltd. icon location Nagoya, Japan

Results 4 repositories owned by Keigo Imai

coq4ios

25
Stars
0
Forks
Watchers

moved to https://github.com/keigoi/Coq4iOS2

verified publisher icon keigoi

linocaml

32
Stars
4
Forks
Watchers

Monad-based linear types in OCaml, with a few syntax extensions

verified publisher icon keigoi

ocaml-mpst

53
Stars
7
Forks
Watchers

Multiparty Session Types in OCaml

verified publisher icon keigoi

session-ocaml

35
Stars
4
Forks
Watchers

An implementation of binary session types in OCaml

verified publisher icon keigoi