Full name Description Actions
Parallel-Replica Software and resources concerning various implementations of the Parallel Replica algorithm, developed at the ENPC, CERMICS, an [...]
kinematic-chain-appropriate-design-library A library for modeling kinematic chains that may have variabilities and uncertainties.
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 [...]