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.
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 [...]