Explore projects
-
Former repository for the DBL LaTeX thesis template. Moved to https://gitlab.com/ed-matisse/latex-template.
Archived 1Updated -
Project moved to https://gitlab.com/ed-matisse/latex-template.
Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.
Archived 3Updated -
CHARGUERAUD Arthur / cfml2
Creative Commons Attribution 4.0 InternationalSeparation Logic with Characteristic Formulae Entirely within Coq
Archived 1Updated -
-
Julien Wintz / elpi
OtherArchived 0Updated -
OBSOLETE: The Grew-match tool is now based on a new backend called grew_match_back (https://gitlab.inria.fr/grew/grew_match_back)
Archived 0Updated -
This repositiry have moved to https://github.com/grew-nlp/grew_doc
Archived 0Updated -
-
-
Archived 0Updated
-
-
-
grid5000 / megaraid_sas
GNU General Public License v3.0 onlymegaraid_sas linux driver, out-of-tree module source
Archived 0Updated -
Archived 0Updated
-
This repository moved to https://framagit.org/simgrid/platform-calibration/
Archived 0Updated -
-
DE-MOURA-DONASSOLO Bruno / rsd-hackathon
MIT LicenseArchived 0Updated -
WARNING: this repository is not maintained. The project has moved to https://github.com/surfacesyntacticud/tools/tree/master/converter
Archived 0Updated