Explore projects

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

Program logic for developing and verifying distributed systems

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

Projet prog 1 L3

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

L3 @ ENS Cachan — Programmation 2 — Project: Enigma machine & Enigma bombe (course webpage: http://www.lsv.ens-cachan.fr/~baelde/prog2/)

MOVED TO https://github.com/gmevel/euler-lib ! an arithmetic library for OCaml’s standard integers

Repository for my intership during M1

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

M2 @ ENS Cachan / MPRI — Functional Programming (2-4) — Project: compiling a functional language down to C, through a CPS translation and defunctionalization

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