Explore projects

Le client de Chocapix, le site des bars d'étage

Le client de Chocapix, le site des bars d'étage

Un exemple de document latex avec le package polytechnique

Point process simulation in the Rust programming language.

Integration of the Nunchaku model finder in the Lean theorem prover.

Internship project at the VU Amsterdam. With the help and precious guidance of Jasmin Blanchette and Johannes Hölzl.

A branch and bound implementation for the Capacitated Vehicle Routing Problem (CVRP)

Projet 3A « Simulation et Modélisation de trading haute fréquence à l’aide de processus de Hawkes »

Travail pour le cours MAP552: Calcul stochastique en finance

Histoire des sciences contemporaines: séminaire 3A de Frédéric Brechenmacher

Project on filamentary propagation of fs light pulses.

Site de gestion des voies d'escalade de l'Ecole Polytechnique