Explore projects
-
-
-
Un exemple de document latex avec le package polytechnique
Updated -
Wilson JALLET / point-process-rust
MIT LicensePoint process simulation in the Rust programming language.
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 -
A branch and bound implementation for the Capacitated Vehicle Routing Problem (CVRP)
Updated -
Updated
-
Wilson JALLET / map511-p3a
MIT LicenseProjet 3A « Simulation et Modélisation de trading haute fréquence à l’aide de processus de Hawkes »
Updated -
Updated
-
typographix / beamerx
OtherUpdated -
-
Histoire des sciences contemporaines: séminaire 3A de Frédéric Brechenmacher
Updated -
Updated
-
Victor Ruelle / Crowd movement modelling
MIT LicenseUpdated -
Updated
-
UpdatedUpdated
-
Quentin LOUIS / PHY571 Birds flocking
GNU General Public License v2.0 or laterUpdated -
Project on filamentary propagation of fs light pulses.
Updated -
Site de gestion des voies d'escalade de l'Ecole Polytechnique
Updated -
Le magnifique PSC de ma 4A, aussi pipo que le titre le laisse penser
Updated