This repository contains the source code of my project for the module Programming languages and compilers (Langages de programmation et compilation) given by Jean-Christophe Filliâtre in Autumn 2019. The goal was to develop a compiler for a fragment of the Go programming language. The grammar and typing rules are here (in French).