Explore projects

A formalization of the Polonius borrow checker model RustLog

Code for University of Geneva, Sept 2018 - present

Contains codes to facilitate and automatize the management of the cours "applications informatiques"

To finish first, first finish.

My project with modified codes or not from the useful-files project