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.

Why3
- Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/

CGAL
- We have moved to GitHub: https://github.com/CGAL/cgal
Recent releases can be found at https://github.com/CGAL/cgal/releases
CGAL, the Computational Geometry Algorithms Library, is an
Open Source C++ library of geometric algorithms and data structures.

SPAMS - devel
- SPArse Modelling Software (SPAMS) is an optimization toolbox for solving various sparse estimation problems.
A new git repository is available at https://gitlab.inria.fr/thoth/spams-devel

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.

Gappa
- Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.

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.

BiiPS
- Biips is a general software for Bayesian inference using interacting particle systems, aka sequential Monte Carlo methods.
It aims at popularizing the use of these methods to researchers and students, thanks to its automated black box inference engine.