Explore projects

User documentation of Inria's Continuous Integration services

Unofficial Inria beamer template

Code source de l'application mobile iOS

Treerecs is an open-source (species- and gene-) tree reconciliation software.

It can correct, rearrange and (re-)root gene trees with regard to a given species tree.

Please visit https://project.inria.fr/treerecs/ for more about Treerecs

Demo : https://learninglab.gitlabpages.inria.fr/mooc-styleguide/

Itauto: an Extensible Intuitionistic SAT Solver

Biocham-4 sources and CI

Post-mortem analysis tool for StarPU scheduling studies

dtk is a meta-platform for modular scientific platform development.

Core part of the ADT project ICOV (Interactive Coder for Omnidirectional Videos) All the source code in this project are meant to be shared publicly

https://parcoach.github.io/

XLiFE++ is an extended finite element library developed in C++