GitLab

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.