Explore projects

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

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

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

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

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

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

Computer Vision algorithm backend for Hololens

Main tool with dep2pict executable

Gtk interface for grew

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

New GUI based on PyQt

Separation Logic with Characteristic Formulae Entirely within Coq

Guix Jupyter kernel

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

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