Explore projects

Guix Jupyter kernel

Separation Logic with Characteristic Formulae Entirely within Coq

This repositiry have moved to https://github.com/grew-nlp/grew_doc

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

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.

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

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

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

OBSOLETE: The Grew-match tool is now based on a new backend called grew_match_back (https://gitlab.inria.fr/grew/grew_match_back)

Gtk interface for grew

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

Grid vue of stats on corpora

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