This repo contains my project developed as part of the "Language, Compilers and Interpreters" exam @ University of Pisa.

It includes an interpreter for the MiniFun functional language and its typed version MiniTyFun, along with a compiler for the MiniImp imperative language. The MiniImp compiler also is capable of performing live valriable analysis and an optimized version of register spilling. Some example codes for the languages can be found in the test_programs/ folder.

The project is written in Ocaml and need the dune package manager to be run.