Explore projects
-
M2 @ ENS Cachan / MPRI — Functional Programming (2-4) — Project: compiling a functional language down to C, through a CPS translation and defunctionalization
Updated -
-
Updated
-
Updated
-
-
-
Parse les logs du firewall pour effectuer un association mac_ip en ipv6
Updated -
Updated
-
-
Updated
-
Updated
-
M1 @ ENS Cachan — Systèmes synchrones (MPRI 2-23-1) — Project: a model checker for MiniLustre (course webpage: http://www.di.ens.fr/~pouzet/cours/mpri/)
Updated -
M1 @ ENS Cachan — Réseau — Project: exploring the BitTorrent’s DHT (course webpage: http://www.pps.univ-paris-diderot.fr/~jch/enseignement/cachan/)
Updated -
L3 @ ENS Cachan — Programmation 1 — Project: a C-- to x86 compiler (project webpage: http://www.lsv.ens-cachan.fr/~goubault/CoursProgrammation/MiniC1/minicindex.html)
Updated -
L3 @ ENS Cachan — Programmation 2 — Project: Enigma machine & Enigma bombe (course webpage: http://www.lsv.ens-cachan.fr/~baelde/prog2/)
Updated -
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)
Updated -
MP★ @ Clemenceau — the source code of my TIPE (scholar work for the French Grandes Écoles’ recruitment exams)
Updated -