===GitLab===

Il Dipartimento dispone di un server Gitlab destinato allo sviluppo di codice di programmazione.
L'accesso è consentito esclusivamente ai docenti e studenti accreditati presso il Dipartimento di Informatica,
utilizzando le proprie credenziali di ateneo.

L'indirizzo del server è https://gitlab.di.unimi.it