Repository containing implementation for my Computational and Formal Modelling course