Explore projects

Nix expressions for the datamove team

A simple tracing tool for C code using the 'instrument-functions' feature of GCC.

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.