Repo for EPFL lecture notes