• MicroC

    MicroC is a subset of the language C, developed for the course of Languages, Compilers and Interpreters. The front-end has been developed using tools provided by the OCaml ecosystem, while the back-end makes use of LLVM.

  • Fhree

    Fhree is a small, interpreted, functional language. It is inspired by OCaml and has been developed to put into practice the concepts of the Compilers course.

  • Value-Set Analysis

    Value-Set Analysis is a binary analysis based on abstract interpretation, that provides an overapproximation of the values of each variable, for each program point. That was my Bsc thesis' work: I studied and implemented a simple framework to write and analyze snippet of low-level code.

  • RisoBot

    Once upon a time I was on a diet and I wanted to query it quickly...
    RisoBot is a simple telegram bot that parses a PDF file and extracts information from it.

  • EsoCaml

    EsoCaml is a simple esoteric language, quickly developed for funny. To be honest, it is an esoteric front-end for Fhree.
    Thus, this is a functional EsoLang inspired by reMorse with an OCaml-like back-end.

You can find all my projects on my