Alternatives and similar repositories for menhir

Users that are interested in menhir are comparing it to the libraries listed below

• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• tizoc / ocaml-interop
  OCaml<->Rust FFI with an emphasis on safety.
  ☆145Updated 6 months ago
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆93Updated 3 weeks ago
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆133Updated 11 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated 3 weeks ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 5 months ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆42Updated 2 months ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆69Updated 3 years ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆134Updated 6 months ago
• sabine / ocaml-to-wasm-overview
  ☆102Updated 3 years ago
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆44Updated 3 weeks ago
• grievejia / pyre-ast
  pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…
  ☆43Updated last year
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆42Updated last week
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆56Updated 2 years ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆154Updated last week
• c-cube / iter
  Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
  ☆124Updated 10 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 3 weeks ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆55Updated 6 months ago
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆98Updated this week
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆182Updated 8 months ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆52Updated this week
• tarides / ocaml-platform-installer
  The best way for developers to write software in OCaml
  ☆61Updated 2 years ago
• ocamllibs / pyml
  OCaml bindings for Python
  ☆201Updated 4 months ago
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆123Updated 5 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 4 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆125Updated last month
• ocaml-ppx / ppx_import
  Less redundancy in type declarations and signatures
  ☆92Updated 2 months ago