This OCaml-library consists of a set of modules which implement functions for
analyzing and manipulating context-free grammars (CFGs) in a purely functional
way.

WWW: http://mmottl.github.io/cfg/