Explore projects
-
Adrien vigné => Stage 2020 Sujet : Génération de trajectoires robustes aux incertitudes paramétriques tenant compte de la commande pour une formation multi-robots
Updated -
The KaStORS benchmark suite has been designed to evaluate the implementation of the OpenMP dependent task paradigm, introduced as part of the OpenMP 4.0 specification.
Updated -
ESCOUTELOUP Mathieu / embench-iot
GNU General Public License v3.0 onlyUpdated -
Updated
-
-
LASHERMES Ronan / embench_smt
GNU General Public License v3.0 onlyUpdated -
bass-db / fasst
OtherUpdated -
-
Maxime Dénès / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
Jens Gustedt / defer reference implementation
BSD 3-Clause "New" or "Revised" LicenseUpdated -
SOFA plugin to track the surface of non-rigid objects using RGB-D camera.
Updated -
-
-
-
Material to reproduce Batsim's first experiment — https://hal.archives-ouvertes.fr/hal-01333471. Moved from https://gforge.inria.fr/projects/expe-batsim
Updated -
STEFF Laurent / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
erable / totoro
CeCILL-C Free Software License AgreementUpdated -
Updated
-