git repository for arthur gontier's thesis

The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

The OpenViBE extras: Acquisition Server, demos, plugin contributions

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

PM2: Parallel Multithread Machine (source code)

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

The meta repository for building OpenViBE

version 3 implementation of the Fed-BioMed project

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms

Algorithms and data structures for hyperedge queries

🐸

"Static Analysis for Optimizing Compilers" master course supports

ANR submission polyhedral compilation / runtime