Full name Description Actions
Geometry plus Simulation Modules G+Smo (pronounced gismo or gizmo) is a C++ library for isogeometric analysis (IGA). Geometry plus simulation modules aims at th [...]
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.