Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Vampire prover with added superdeduction
-
-
-
-
-
-
implémentation de la KAM dans le cadre du stage de L3 (en Ocaml puis en C)
-
Web interface for youtube-dl
-
-
-
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
-
-
A template-based library to parse arguments in C++
Licensed under the GNU GPLv3 available here : https://www.gnu.org/licenses/gpl-3.0.html
Copyright (C) 2022 Benjamin Graillot
-
-
Réécriture du jeu https://cemantix.herokuapp.com/ dans un terminal
-
Arduino code for the control of tomatex.
-
-
Quelques classes LaTeX pour écrire efficacement des comptes-rendus.
-
utilisation d'ethernet et de LWIP (dont les ingénieurs ont cru bon de se passe de l'étape 'documentation du projet') sur les STM32F746 DISCO.
-
Les différents bilans du Crans peuvent être trouvés ici, avec leurs sources si disponibles.