ViSP
- ViSP is a C++ toolkit that allows rapid prototyping of visual servoing applications. The library features a wide class of control skills as well as real-time tracking processes and simulation capabilities.

PaStiX
- PaStiX 6.0.0 and next releases will be hosted on: https://gitlab.inria.fr/solverstack/pastix
PaStiX is a high performance parallel solver for very large sparse linear systems based on direct methods. It provides also an adaptive blockwise iLU(k) factorization that can be used as a parallel preconditioner.

Padico
- Padico is a software environment for computational grids designed for high performance parallel computing, distributed computing, and software components.
Padico is comprised of PadicoTM, PaCO++, GridCCM, and ADAGE.

Alexina
- Atelier pour les LEXiques INformatiques et leur Acquisition - Development of morphological and syntactic NLP lexicons. Includes various tools as well as several lexicons such as the Lefff (French) and others.

CryptoMiniSat
- CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/
The source is available on github: https://github.com/msoos/cryptominisat

TakTuk
- Taktuk is a library for efficient large scale deployment of remote executions. The development is headed by the MOAIS INRIA project. The tool is used as a launcher in the KAAPI library and as an administration tool on Grid5000 INRIA platform.