menhir
Here are 57 public repositories matching this topic...
Yet Another Imperative Programming Language - a fun project based on LLVM's Kaleidoscope
-
Updated
Jan 24, 2018 - OCaml
Program do sprawdzenia poprawności dowodów formuł logicznych w systemie dedukcji naturalnej
-
Updated
Mar 21, 2018 - OCaml
An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university
-
Updated
Oct 9, 2018 - OCaml
Implementation of Algorithm W
-
Updated
Mar 6, 2019 - OCaml
Implementation of a CK machine
-
Updated
Mar 10, 2019 - OCaml
Implementation of a CEK machine
-
Updated
Mar 10, 2019 - OCaml
The culmination of the most french java interpreter
-
Updated
Apr 29, 2019 - OCaml
Transpile from a simple language to whitespace
-
Updated
Jul 27, 2019 - OCaml
Implementation of a byte-code compiler and lazy virtual machine
-
Updated
Jul 27, 2019 - C++
Implementation of the lambda calculus
-
Updated
Oct 8, 2019 - 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."