Fastest python pgen with rich features. Runtime support for generated parsers of RBNF.hs and a bootstrap with menhir-like syntax sugars.
-
Updated
Aug 2, 2020 - Python
Fastest python pgen with rich features. Runtime support for generated parsers of RBNF.hs and a bootstrap with menhir-like syntax sugars.
IMP is a small imperative programming language.
Project and assignments for the "Languages, Interpreters and Compilers" 2020/2021 course @ Department of Computer Science, University of Pisa https://github.com/lillo/compiler-course-unipi
OCaml parsers (not compilers!) for (limited) regular expressions
Implementation of a CEK machine
Yet Another Imperative Programming Language - a fun project based on LLVM's Kaleidoscope
Implementation of a CK machine
Implementation of a byte-code compiler and lazy virtual machine
Program do sprawdzenia poprawności dowodów formuł logicznych w systemie dedukcji naturalnej
Add a description, image, and links to the menhir topic page so that developers can more easily learn about it.
To associate your repository with the menhir topic, visit your repo's landing page and select "manage topics."