Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Motion retargeting using the Pinocchio library.
-
Heart dynamics conditioned on brain
-
Comet is a pipelined RISC-V processor generated with HLS.
-
A models repository for the OpenEmbeDD project, where you can find (or deposit) sample models of the metamodels used by and develop for the OpenEmbeDD platform. Many of samples are large models for large scale testing purposes.
-
migration of https://gforge.inria.fr/projects/openembedd
-
-
-
-
Ce projet a pour vocation de tester différentes méthodes pour l'utilisation de différents runtime dans Chameleon.
-
Binaries for riscv32-inria-elf with a toolchain patched for hardware security contexts (hsc) support.
-
Contains code for Batsim's first prototype. Unmaintained.
-
Slides and Labs for the course Machine Learning and Computer Vision in MIAGE Master 2
-
-
Material to reproduce Batsim's first experiment — https://hal.archives-ouvertes.fr/hal-01333471. Moved from https://gforge.inria.fr/projects/expe-batsim
-
Attempt to gather different parts of a cylindrical decomposition algorithm as Coq-verified algorithms
-
Demos and experiments related to C, C++, and CMake
-
Code related to the robust fusion of probabilistic maps as published in https://hal.inria.fr/hal-02934590v1
-