View on GitHub


Documenting everything about OCaml


Compilers, Typecheckers, and Parsers

Because OCaml is one of the best tools for creating compilers, typecheckers, etc, you’ll find a wide variety of projects made in OCaml.

Languages and Compilers:

Parser and Lexer Generators:

  • Opal – Self-contained monadic parser combinators for OCaml.
  • Sedlex is a modern, encoding-agnostic (read: Unicode-supporting) lexer generator (the ppx-based successor to [ ulex].)
  • Menhir – Menhir is a LR(1) parser generator for OCaml.
    • See ocaml-parsing for a clearer example of using Menhir and Sedlex to produce a useful parser,
    • Obelisk , a neat project to produce readable LaTeX, HTML, or plain-text EBNF-style documentation for your grammar.
  • ocamllex/ocamlyacc – lex and yacc implementation for OCaml.
  • Angstrom - Parser combinators built for speed and memory efficiency


  • Flow: A typechecker for Javascript written by Facebook.
  • Pyre: A typechecker for Python written by Facebook.