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 5 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆116Updated 2 weeks ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 5 years ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆42Updated 4 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆123Updated last year
• mukul-rathi / bolt-dissertation
  This repository accompanies Bolt - includes the accompanying dissertation.
  ☆41Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 3 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 7 months ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆111Updated 2 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 7 months ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆68Updated 2 years ago
• ludwigpacifici / saumon
  Lox language implemented in OCaml
  ☆14Updated 4 years ago
• ebresafegaga / tina
  Tina, a programming language with typed algebraic effects and handlers.
  ☆13Updated 4 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆63Updated last month
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆43Updated 2 years ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆73Updated 5 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆54Updated 6 months ago
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 3 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆103Updated 4 years ago
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆18Updated 11 months ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆45Updated 5 years ago