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.

Faster, simpler and more portable implementation of `jq` in OCaml

A simple multi-format pretty-printer for Menhir.

Error recovery library for Menhir parser generator for OCaml

Implement the new LATSI language with Ocaml and menhir.

A programming language made up of Rajinikanth punch dialogues

Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.

An academic project where we developed an Expr compiler (a simple arithmetic language with support for lambda calculus, altough this last part is not yet fully implemented) and a Pfx virtual machine (a simple stack low level language).

JSON parsers, implementations in Python and OCaml

Nice parsers in OCaml without the boilerplate

A Simple Lexer and Parser written in Ocamllex and Menhir

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

The OCaml-lite interpreter is a streamlined tool for parsing and executing OCaml-lite programs, offering insights into programming language interpretation with a focus on simplicity and educational value.

A subset of Scheme

C to MIPS compiler - Mirror

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 interpreter (Sedlex tokenizer + Menhir parser) of modularized classes with two means of inheritance.

A mini object-oriented language. Project for CSCI-GA.3110: Honors Programming Languages (Fall 2018) at New York University.

OCaml library for manipulating OpenQASM Abstract Syntax Tree