Menhir is an LR(1) parser generator for OCaml.
Menhir has a home page.
The latest released version of Menhir can be easily installed via
opam, OCaml's package manager. Just type opam install menhir.
For manual installation, see INSTALLATION.md.
Some instructions for developers can be found in HOWTO.md.
- Frédéric Bour (incremental engine, inspection API, attributes, SDK)
- Jacques-Henri Jourdan (Coq back-end)