Explore projects

this is the project for implementing the neural map paper (Salakhudintov et al) for making memory based Deep reinforcement learning agents to monitor the network and also make an intelligent IDS.

https://www.kaggle.com/c/traveling-santa-2018-prime-paths

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

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.

Le magnifique PSC de ma 4A, aussi pipo que le titre le laisse penser

Project on filamentary propagation of fs light pulses.

A pipeline to extract topological features from point cloud given in .off format.

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

Travail pour le cours MAP552: Calcul stochastique en finance

Un exemple de document latex avec le package polytechnique

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

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

test

formation github