There are 1 repository under menhir topic.
Faster, simpler and more portable implementation of `jq` in Reason
Nice parsers in OCaml without the boilerplate
An opinionated attempt at finally solving typescript interop for ReasonML / OCaml.
A simple multi-format pretty-printer for Menhir.
A programming language made up of Rajinikanth punch dialogues
An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university
A compiler to x86 assembly written in OCaml.
OCaml library for manipulating OpenQASM Abstract Syntax Tree
A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.
Transpiler from MiniJava to C written in OCaml
parsing cg stream format, just to learn sedlex+menhir
A compiler for the Natrix language, the final project of the Language Processing course at the University of Beira Interior (UBI).
A Simple Lexer and Parser written in Ocamllex and Menhir
Implementation of a CEK machine
Transpile from a simple language to whitespace
Parser of an approximation of a subset of Ada 2005. Written in Ocaml + Menhir + Lwt + ocamllex
Implementation of a CK machine
Implementation of the lambda calculus
Implementation of Algorithm W
Jsonnet Lexer, Parser, Formatter and Linter written in the OCaml Programming Language.
μcomp-lang is a didactic language implemented for Language, Compilers and Interpreters course at UniPi.
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
⚙ Compilation project - Polytech ET4 IT - Noted for S7 (2020)
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