Explore projects

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

Biocham-4 sources and CI

E2Clab enables the Computing Continuum vision by allowing reproducible experimental research on large-scale testbeds. It supports the complete experimental cycle across the Computing Continuum: deployment, analysis, and optimization.

python client for sharelatex and a tool to manage a project between git and the web UI.

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)

Itauto: an Extensible Intuitionistic SAT Solver

User documentation of Inria's Continuous Integration services

SParse Matrix Package

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).

Toolkit to manage sets of closed intervals.

Post-mortem analysis tool for StarPU scheduling studies

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

Generic service to manage geo-distributed resources

Utilities for MLflow