Jeremy Yallop

effects-bibliography. A collaborative bibliography of work related to the theory and practice of computational effects

ocaml-ctypes. Library for binding to C libraries using pure OCaml

higher. Higher-kinded programming in OCaml

icfp2014-papers. Accepted papers for ICFP 2014

ocaml-asp. Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

ocaml-flap. A deterministic parser with fused lexing

fomega. System Fω interpreter for use in Advanced Functional Programming course

ocaml-integers. Various signed and unsigned integer types for OCaml

popl2015-papers. Accepted papers for POPL 2015

ocaml-re-nfa. OCaml code to construct an NFA from a regular expression

haskell2014-papers. Accepted papers for Haskell 2014

ocaml-ctypes-inverted-stubs-example. Example showing how to turn OCaml code (here Xmlm) into a C library.

ocaml-pb. An OCaml library for describing Protobuf messages

staged-generic-programming. Code for "Staged Generic Programming" (ICFP 2017)

metaocaml-letrec. flexible 'let rec' generation for MetaOCaml

ocaml-charset. Fast char sets

ocaml-memcpy. OCaml

ocaml-syb. Scrap Your Boilerplate for OCaml with modular implicits

metaocaml-syb. Scrap Your Boilerplate for MetaOCaml with modular implicits

ocaml-pb-plugin. A protoc plugin for generating OCaml code from protobuf (.proto) files.

pldi2014-papers. Accepted papers for PLDI 2014

ocaml-safe-string-buffer. A buffer implementation optimized for immutable strings.

ocaml-reex. Staged regular expression library for MetaOCaml

semantics-agda. Agda mechanisation of the University of Cambridge Semantics of Programming Languages course

cc_cl_cam_ac_uk. OCaml code for Compiler Construction course at University of Cambridge

causal-commutative-arrows-revisited. Causal commutative arrows revisited: an optimizing arrow library

ocaml-bindings-generator. OCaml

ocaml-posix-types. ctypes-compatible type representations for the types exposed in <sys/types.h>

metaocaml-charmatch. OCaml

ocaml-unix-type-representations. Functions that expose the underlying types of some abstract types in the Unix module.

ocaml-ctypes-build. OCaml

subtypes. First-class subtypes for OCaml

ocaml-patterns. Automatically exported from code.google.com/p/ocaml-patterns

ocaml-windows-segfault. OCaml