Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
A simple proof assistant written in Rust
-
-
-
Personal repository of scripts and tools. Public access for consideration.
-
Projet de compilation de Petit Go en OCaml de programmation 1
-
NoteKfet pour le déménagement et la Saper[list]popette !
-
My nixos configuration
-
Ensemble des recettes de déploiement Ansible pour les serveurs du Crans.
-
-
-
Application pour soumettre un PDF et l'imprimer, en s'authentifiant par la Note Kfet
-
-
-
-
-
Petite classe LaTeX permettant de créer simplement une feuille de note
-
Script pour verifier certains aspects d'un document latex.
-
My fork of Proost.