Options
This module uses the X-macro technique to keep a variant type in ML synchronized with an enum in C.
Regex
These are OCaml bindings for Google's re2 library.