Andrew Ray

iocaml. An OCaml kernel for the IPython notebook

iocamljs. An OCaml javascript kernel for the IPython notebook

DefinitelyMaybeTyped. TypeScript to js_of_ocaml

iocamlserver. Web server for IOCaml

mirage-fpga. Mirage running on ARM based SoC FPGAs

ocaml-cookie-js. Simple library for setting/getting cookies in js_of_ocaml

mirage-kfreebsd. C

hardcaml_picorv32. Hardcaml PicoRV32 port

opam-mirage-kfreebsd. modified opam packages for mirage-kfreebsd

jbuilder. A composable build system for OCaml

iocamllib. Useful code for the IOCaml notebook

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.