Explore projects
-
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 -
-
Former repository for the DBL LaTeX thesis template. Moved to https://gitlab.com/ed-matisse/latex-template.
Archived 2Updated -
Separation Logic with Characteristic Formulae Entirely within Coq
Archived 1Updated -
-
-
WARNING: this repository is not maintained. The project has moved to https://github.com/surfacesyntacticud/tools/tree/master/converter
Archived 0Updated -
-
Computer Vision algorithm backend for Hololens
Archived 0Updated -
Archived 0Updated
-
OBSOLETE: replaced by https://github.com/grew-nlp/grew_web_dream
Archived 0Updated -
This repository moved to https://framagit.org/simgrid/platform-calibration/
Archived 0Updated -
-
Archived 0Updated
-
-
Archived 0Updated
-
Archived 0Updated
-
-
-
OBSOLETE: replaced by https://github.com/grew-nlp/arboratorgrew_server/
Archived 0Updated