All Git Users → keigoi

3 open source projects by keigoi

[ Open user page on Github ]

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

✭ 29

ocaml emacs lisp

2. session-ocaml

An implementation of binary session types in OCaml

✭ 34

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

✭ 25

objective c ocaml shell Coq

1-3 of 3 user projects