Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
An application that show you in real time the polytope using visual perception and IMUs.
-
-
Coq Implementation of Intrinsically Typed Definitional Interpreter in the style of Poulsen et al.
-
Slides for a general formation about CI/CD in Inria context
-
MRI segmentation using deep learning
-
to handle universal dependencies with the Categorial Dependency Grammar linguistic framework
-
A library to build experimental frameworks on multiple platforms
-
A collection of LaTeX styles and themes
-
Guix and Org mode, on the road to a reproducible research study
-
-
Localization library
-
-
-
Updated
-
-
Slides for presenting CI at ICM
-
