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.

Guix Jupyter kernel

Former repository for the DBL LaTeX thesis template. Moved to https://gitlab.com/ed-matisse/latex-template.

Separation Logic with Characteristic Formulae Entirely within Coq

Grid vue of stats on corpora

OBSOLETE: moved to https://github.com/grew-nlp/amr

WARNING: this repository is not maintained. The project has moved to https://github.com/surfacesyntacticud/tools/tree/master/converter

OBSOLETE: See https://github.com/grew-nlp/grewpy

Computer Vision algorithm backend for Hololens

OBSOLETE: replaced by https://github.com/grew-nlp/grew_web_dream

This repository moved to https://framagit.org/simgrid/platform-calibration/

Gtk interface for grew

Pour les sessions du coding-dojo d’Inria de Paris

OBSOLETE: replaced by https://github.com/grew-nlp/grew_match

OBSOLETE: replaced by https://github.com/grew-nlp/grew

OBSOLETE: replaced by https://github.com/grew-nlp/arboratorgrew_server/