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.
This project is the implementation of the Mastermind board game on the Ethereum Blockchain, exploiting the hardhat framework. The project also include a simple front-end developed using React.js.
Trustee is the extension of a simple, statically typed, functional language for supporting security primitives, information-flow and taint 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.
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.