eudoxia0 / parsing-menhir
Code for a tutorial on parsing with Menhir
☆14Updated 3 years ago
Alternatives and similar repositories for parsing-menhir:
Users that are interested in parsing-menhir are comparing it to the libraries listed below
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Compiler for a very restricted subset of OCaml☆27Updated 9 years ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last month
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆78Updated last week
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- A deterministic parser with fused lexing☆72Updated last year
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- Lox language implemented in OCaml☆14Updated 4 years ago
- EGraphs in OCaml☆65Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- A toy language based on LLVM that implements the System Fω type-system☆107Updated last year
- SML reference interpreter☆112Updated last year
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- A collection of programming languages and type systems.☆33Updated 6 months ago
- A benchmark suite for the OCaml compiler☆83Updated 6 months ago
- Minimum docker images for OCaml+OPAM☆16Updated 5 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- A tiny lazy objective functional language☆16Updated 6 months ago
- The LLVM tutorial using OCaml☆29Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- The Twelf Programming Language☆119Updated last month
- Coq plugin for monomorphization and C code generation☆34Updated last week
- A MinCaml compiler implemented in Rust☆45Updated last year
- A stepping debugger for Standard ML (SML)☆24Updated last year