Explore projects

Useful latex templates

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

Project for the M1 MPRI networks course by Hugo Jacob and Nicolas Margulies

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

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

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

Présentation et rapport sur les SAT solveur portfolio

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

A full pythonic python procmailrc parser to an abstract syntax tree to procmailrc file syntax

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

A categorical framework for effects in Coq. (L3 internship)