Explore projects

Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).

SParse Matrix Package

Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).

Verifiable online voting system http://www.belenios.org

A project providing digital recognition of handwritten documents using machine learning techniques.

Generic service to manage geo-distributed resources

Post-mortem analysis tool for StarPU scheduling studies

Toolkit to manage sets of closed intervals.

Itauto: an Extensible Intuitionistic SAT Solver

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

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

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