Explore projects

Aide à la tenue de comptes sur le wiki

Tower Defense

MP★ @ Clemenceau — the source code of my TIPE (scholar work for the French Grandes Écoles’ recruitment exams)

~/bin/

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)

Projet logique L3

Projet de compilation de Petit Go en OCaml de programmation 1

Proof Assistant for Category Theory