Obelisk is a simple tool which produces pretty-printed output from a Menhir parser file (.mly). Homepage: https://github.com/Lelio-Brun/Obelisk