menhir
Here are 58 public repositories matching this topic...
A minimal compiler for the SPICY imperative language, implemented in OCaml. It walks a SPICY source through lexing, parsing, semantic analysis, and code generation to produce executable output.
-
Updated
Jun 14, 2025 - OCaml
Implement the new LATSI language with Ocaml and menhir.
-
Updated
Feb 27, 2025 - OCaml
OCaml parsers (not compilers!) for (limited) regular expressions
-
Updated
Jan 28, 2022 - OCaml
The culmination of the most french java interpreter
-
Updated
Apr 29, 2019 - OCaml
OCaml code for Compiler Construction course at University of Cambridge
-
Updated
Feb 23, 2022 - OCaml
Program do sprawdzenia poprawności dowodów formuł logicznych w systemie dedukcji naturalnej
-
Updated
Mar 21, 2018 - OCaml
Lox interpreter written in OCaml by Hugo O. Rivera Calzadillas.
-
Updated
Sep 8, 2021 - OCaml
Ocaml interpreter (Sedlex tokenizer + Menhir parser) of modularized classes with two means of inheritance.
-
Updated
Aug 7, 2022 - OCaml
Improve this page
Add a description, image, and links to the menhir topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the menhir topic, visit your repo's landing page and select "manage topics."