Explore projects

Projet logique L3

Program logic for developing and verifying distributed systems

Transform multiple machines into a cluster.

Ressources, développements et leçons d'agrégation mathématique option informatique Cachan 2017-2018

L3 @ ENS Cachan — Programmation 1 — TP3: the “Four In a Row” game, including an AI (course webpage: http://www.lsv.ens-cachan.fr/~hirschi/prog1.php)

Repository for my intership during M1

Parse les logs du firewall pour effectuer un association mac_ip en ipv6

L3 @ ENS Cachan — Programmation 1 — Project: a C-- to x86 compiler (project webpage: http://www.lsv.ens-cachan.fr/~goubault/CoursProgrammation/MiniC1/minicindex.html)

M1 @ ENS Cachan — Réseau — Project: exploring the BitTorrent’s DHT (course webpage: http://www.pps.univ-paris-diderot.fr/~jch/enseignement/cachan/)

Proof Assistant for Category Theory

implémentation de la KAM dans le cadre du stage de L3 (en Ocaml puis en C)