Explore projects

PoC at creating a VSCode extension providing an Elpi Inspector

The FloPoCo arithmetic core generator

Modified version of franka_control

Description of the Franka Emika Panda robot with identified inertial parameters

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

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

Gtk interface for grew

Grid vue of stats on corpora

Extensions of GNU Guix for high-performance computing.

Read-only fork of libigl used in the Grid vectorization project https://gitlab.inria.fr/D3/grid-vectorization