| Full name | Description | Actions |
|---|---|---|
| The software is used to predict deep brain stimulation targets from segmented MRI of the brain | ||
| G+Smo (pronounced gismo or gizmo) is a C++ library for isogeometric analysis (IGA). Geometry plus simulation modules aims at th [...] | ||
| Software and resources concerning various implementations of the Parallel Replica algorithm, developed at the ENPC, CERMICS, an [...] | ||
| 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. | ||
| 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 [...] |
