Full name Description Actions
Python version of Skelton Python3 module for scaffolding and anisotropic convolution surfaces.
skeleton_tracker Ros package to extract skeleton from kinect v2 with nuitrack tools.
sed-paris-RPT-training Deploy GitLab Pages for SED Paris RPT training.
Batsim Batsim is a scientific simulator to analyze batch schedulers: Systems that manage resources in large-scale computing centers, n [...]
fjs_of_fml Js_of_ocaml bis ("The Generator")
Translate OCaml syntax to 'simple' ECMAScript syntax, the purpose [...]
ci-vmware-module Description of your software. Tools used to build and test your software.
test-project-2 Description of your software. Tools used to build and test your software.
Flocq Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on [...]
CheXplore Plugin CheXplore is a chrome extension that gives user the possibilty to annotate and save website screenshots.
ci-riot-tribe CI to test RIOT on HW
Data eXchange Mediator Synthesizer Description of your software. Tools used to build and test your software.
Logipedia Logipedia
Dependencies for Thierry Martinez's projects This project aims to check automatically that all my OCaml projects still compile when I update one of them (which the other pr [...]
org-publish org-publish
LECTure Automatique de REPertoires Le projet LECTAUREP vise à révolutionner l'usage qui est actuellement fait des répertoires d'actes de notaires par [...]
precis AMDT precis COFFEE + SED Inria Sophia Antipolis
demo-ci Project to demonstrate Inria CI tools
Coccinelle CI for Coccinelle
WeGarden This software is developed at https://gitlab.inria.fr/omaillar/wegarden
Hotel Description of your software. Tools used to build and test your software.