Explore projects

Ce dépot contient le programme codé en Ocaml du projet programmation de Jolyne Gatt et Arthur Vinciguerra

Voici le code que j'ai produit lors de mon stage à l'INRIA durant l'été 2019.

M1 internship, continuation of https://gitlab.inria.fr/oruas/SamplingKNN

L3 Info ENS Lyon, PROJET 2 (second semestre)

Notes de cours du cours Preuves et Programmes donné par Philippe Audebaud.

J'essaie de prendre en note le cours de CA de cet année

Code de stage de M2 d'Antoine Domenech.

Le dépot de LE BERRE Ambre 2025. Désavantage : peu sourcé, il manque certaines leçons. Avantage : Tout est tapé : développements et leçons. Les développements sont très bons, comme celui sur l'additionneur à saut de retenu.

Le polycopié de 2022 des leçons et développements de MARIN Malory, SORCI Émile, ROUSSEAU Guillaume, BERTRAND Jules. ATTENTION : les leçons ont été tapé pour la première session de l'agrégation Informatique et donc avant de comprendre que ce qui était attendu est uniquement le contenu des programmes de NSI et MP2I-MPI. Donc il faut enlever tout le hors-programme.

Les programmes scolaires de NSI et post-bac sur lesquels doivent s'appuyer les leçons.