Explore projects
-
Updated
-
Code to create a docker for multi-person tracking
Updated -
Updated
-
-
Updated
-
Updated
-
Simple example of pipelines with two stages. Keywords: gitlabci, c++, cmake, static analysis, cppcheck, googletest
Updated -
Gappa / gappa
CeCILL Free Software License Agreement v2.1Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Updated -
ScimBa / ScimBa
MIT LicenseUpdated -
Philippe Virouleau / bidouille-instrumentation
GNU General Public License v3.0 or laterUpdated -
icov / Src / ICOV-core
GNU Affero General Public License v3.0Core part of the ADT project ICOV (Interactive Coder for Omnidirectional Videos) All the source code in this project are meant to be shared publicly
Updated -
MOSAIC / timagetk
GNU General Public License v3.0 or laterTissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.
Updated -
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Updated -
GESTIN Mathieu / HIAC_docker_implementation
Apache License 2.0Updated -