Explore projects
-
Un exemple de document latex avec le package polytechnique
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
A branch and bound implementation for the Capacitated Vehicle Routing Problem (CVRP)
Updated -
A pipeline to extract topological features from point cloud given in .off format.
Updated -
Project on filamentary propagation of fs light pulses.
Updated -
Quentin LOUIS / PHY571 Birds flocking
GNU General Public License v2.0 or laterUpdated -
Le magnifique PSC de ma 4A, aussi pipo que le titre le laisse penser
Updated -
Pablo LE HENAFF / nunchaku-lean
Apache License 2.0Integration 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.
Updated -
Histoire des sciences contemporaines: séminaire 3A de Frédéric Brechenmacher
Updated -
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.
Updated -
working on web3.0 projects and developing strategy on working on protocol lab Libp2p project + web-Assembly.
Updated -
Updated
-
Pablo LE HENAFF / Decrypto
Apache License 2.0Project 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.
Updated -
Updated
-
Updated