Une HelmChart pour les sites-binets.

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

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.

Pour synchroniser les charts Helm personnalisées avec le cluster Kubernetes.

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

Un maximum de spam (propre)

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

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

Site de Typographix. À disposition pour tout besoin de modification.

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.

Point process simulation in the Rust programming language.

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

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

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)