Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Le client de Chocapix, le site des bars d'étage
-
API de Chocapix, le site des bars d'étage
-
-
[Deprecated] Pour synchroniser les charts Helm personnalisées avec le cluster Kubernetes.
-
-
-
-
Une image qui à latex installé avec le skin polytechnique
-
-
-
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.
-
-
-
-
Le magnifique PSC de ma 4A, aussi pipo que le titre le laisse penser
-
-
-
formation github
