Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
0updated
-
Nounous / scripts
Crans scripts
3updated -
0updated
-
leger / gpg_sync
Script to sync ownertrust, keyring, local-sigs, and config between machines. Allow to download keys which may appear in keyring.
0updated -
SAPHIRE / SAPHsync
A synchronization tool to filter and create an agenda from SAPHIRE agenda.
0updated -
0updated
-
0updated
-
Maxime Bombar / Config_Files
My personal config files.
0updated -
Nounous / re2o
Mirror of re2o upstream project
0updated -
0updated
-
Nounous / re2o-printer
Re2o service to print
0updated -
0updated
-
BDE / Note Kfet 2015 serveur
Code du serveur de la Note Kfet 2015
2updated -
BDE / Note Kfet 2015 django
Code de l'interface Django de la Note Kfet 2015
3updated -
0updated
-
8updated
-
Glen Mével / iris-time-proofs
M2 internship @ Inria Paris — an implementation of time credits and time receipts within the Iris separation logic — Coq proofs (mirror of https://gitlab.inria.fr/gmevel/iris-time-proofs)
0updated -
edpibu / SAPHsync
A synchronization tool to filter and create an agenda from SAPHIRE agenda.
0updated -
0updated
-
groupe-bonvivens / BonVivens
Site de gestion du club BonViv[ENS]
0updated
