Explore projects

The Smolphone OS project aims to build a low-tech platform for low-tech phones.

Official repository for the CROCO model

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Facilitate the looping of ecological transition scenarios, i.e. to make them coherent from a biophysical point of view

Automatic speculative POLyhedraL Loop Optimizer

A library to build experimental frameworks on multiple platforms

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

Series of modules useful to integrate any application in Gazelle Test Bed such as model validation tools, model serialization and metadata about services.

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Static Analysis tool for Multi-fault Vulnerability Assessment

Simulation of UPI central services (eHealthSuisse)

A simple test platform for Comet