| Full name | Description | Actions |
|---|---|---|
| A library for modeling kinematic chains that may have variabilities and uncertainties. | ||
| Ros package to extract skeleton from kinect v2 with nuitrack tools. | ||
| Deploy GitLab Pages for SED Paris RPT training. | ||
| Batsim is a scientific simulator to analyze batch schedulers: Systems that manage resources in large-scale computing centers, n [...] | ||
| Js_of_ocaml bis ("The Generator") Translate OCaml syntax to 'simple' ECMAScript syntax, the purpose [...] |
||
| Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on [...] | ||
| CheXplore is a chrome extension that gives user the possibilty to annotate and save website screenshots. | ||
| CI to test RIOT on HW |
