Alternatives and similar repositories for parsing-menhir:

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

• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 5 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 4 years ago
• akabe / docker-ocaml
  Minimum docker images for OCaml+OPAM
  ☆16Updated 5 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆45Updated last year
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated last year
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆14Updated 4 months ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆25Updated 2 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆106Updated last year
• mattjquinn / jcompiler
  A compiler for the J programming language
  ☆33Updated last month
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆63Updated last year
• andreypopp / type-systems
  Playing with type systems
  ☆48Updated last month
• ludwigpacifici / saumon
  Lox language implemented in OCaml
  ☆14Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆45Updated 3 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 4 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆47Updated 10 years ago