Keigo Imai

Results 4 repositories owned by Keigo Imai

coq4ios

25
Stars
0
Forks
Watchers

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

linocaml

32
Stars
4
Forks
Watchers

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

ocaml-mpst

53
Stars
7
Forks
Watchers

Multiparty Session Types in OCaml

session-ocaml

35
Stars
4
Forks
Watchers

An implementation of binary session types in OCaml