Andrew Ray's repositories
DefinitelyMaybeTyped
TypeScript to js_of_ocaml
iocamlserver
Web server for IOCaml
ocaml-cookie-js
Simple library for setting/getting cookies in js_of_ocaml
hardcaml_picorv32
Hardcaml PicoRV32 port
opam-mirage-kfreebsd
modified opam packages for mirage-kfreebsd
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
camlp4
Camlp4 tool
fpga_snark_prover
An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs
hardcaml_arty
A hardcaml library to interface with arty boards
lambda-term
Terminal manipulation library for OCaml
ocaml
Read-only mirror of INRIA SVN
ocaml-cohttp
Very lightweight HTTP server using Lwt or Async
ocaml-github
Github APIv3 OCaml bindings
ocaml-websocket
Websocket library for Lwt
openonload
git import of openonload.org https://gist.github.com/majek/ae188ae72e63470652c9
ppx_bitstring
PPX plugin for the OCAML OPAM bitstring package
ppx_deriving
Type-driven code generation for OCaml >=4.02