Cours de logique 2017

Système de notification automatique pour événements associatifs.

These are my notes from the Cryptography and Security course given by Omar Fawzi.

Cours de Machine Learning du second semestre de M1 informatique. Cours donné par Marc Sebban.

Cours de Sémantique et Vérification donné à l'ENS de Lyon.

the avatar software

Le travail de la Team Animation du Projet Integré

Mes cours et autres trucs de L3 Informatique Fondamentale.

Course notes of the first CS research school 2018-2019 on data analysis and machine learning.

Initiation à la rédaction de documents structurés avec LaTeX.

Initiation au langage Python.

Initiation aux systèmes d’exploitation basés sur Linux.

Initiation au langage C.

Utilisation avancée du langage OCaml.