Explore projects

Webhook to connect Phabricator to Mattermost

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.

Un exemple de document latex avec le package polytechnique

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

This is a small boilerplate to quickly start a django+react project.

Playing arround with python to study Orbits. Most can olready be done with CelestLab, but I'd like to try with Python ! :)

API de Chocapix, le site des bars d'étage

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.

Guilhem Stricker's and Mateo Rivera Numerical Physics class project