Explore projects
-
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
-
-
Un exemple de document latex avec le package polytechnique
Updated -
Archived 0Updated
-
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 -
Un exemple de document latex avec le package polytechnique
Updated -
Project on filamentary propagation of fs light pulses.
Updated -
Updated
-
Updated
-
Updated
-
Le magnifique PSC de ma 4A, aussi pipo que le titre le laisse penser
Updated -
Updated
-
Updated
-
Updated
-
Updated