Fouine

A faithful interpreter for a substantial subset of OCaml, written in OCaml.

First project of the PROFON (functional project) course at ENS, a fully faithful implementation of a part of the OCaml language including full lexer, parser, type inference (both monomorphic and polymorphic), and evaluator.

Includes optional translation to continuation-passing style (CPS).

🔗 Source repository