keigoi/async_session
Session-type implementation in OCaml
Developer Profile
keigoi
Discovered public repositories for keigoi in the GitHub catalog.
keigoi/orm
The ORM package for FuelPHP
keigoi/ocaml
OCaml on iOS http://psellos.com/ocaml/ upgraded to OCaml 4.00.1 and fixed to work with the latest iOS SDK 6.1
keigoi/lzmaSDK
lzmaSDK is an iOS port of the decoding logic from the LZMA SDK provided with 7zip
keigoi/coq4ios
moved to https://github.com/keigoi/Coq4iOS2
keigoi/olt_ocaml
An encoding of Ordered Linear Types in OCaml
keigoi/async-android
Asynchronous, composable, 'monadic' style task engine for Android-Java
keigoi/material
PPLSS2012 temporary
keigoi/OcaIDE
An O'Caml plug-in for Eclipse
keigoi/2deffects
old megademo effects \(^o^)/