Explore projects

Programming project for the course MPRI 2.4 "Functional programming and type systems"

Une implémentation la plus simple possible illustrant la gestion des droits de Sigma.

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

Project for the web data management course (2.26.2) at MPRI. Objective : find out and illustrate relations between Bitcoin's market price moves on various exchanges and social media activity. Apply these findings to price prediction.

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.

Project on filamentary propagation of fs light pulses.

A repository for my cvs.

Learn & setup git. "Take the first step in git. You don't have to see the whole staircase, just take the first step."

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

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

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

A backend I made to learn Adonis JS, with the idea of creating the backend of Binet Photo.

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.

working on web3.0 projects and developing strategy on working on protocol lab Libp2p project + web-Assembly.