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.

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

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.

Siconos
- This software is dedicated to the modeling, the simulation and the control of NonSmooth Dynamical Systems with main applications to the nonsmooth Mechanics (impact, contact and friction) and the nonsmooth Electricity (diodes and MOS transistors).

A Virtual Topology for Ad Hoc Networks
- This project implements OPNET models: a virtual topology for ad hoc networks is built and maintained. Other models allow routing in ad hoc (with a tradeoff between reactive and proactive) or hybrid networks (with the adaptation of Cellular IP).

Capture Reconstruct Play
- In CR-PLAY we propose a new set of Image – and Video-Based technologies, which will provide ways to reduce the time and expense involved in creating such assets, but also make high quality realistic content accessible even to small game developers.

KASTORS
- The recent introduction of task dependencies in the OpenMP specification provides new ways of synchronizing tasks. Application programmers can now describe the data a task will read as input and write as output, letting the runtime system resolve fine-grain dependencies between tasks to decide which task should execute next. Such an approach should scale better than the overkill global synchronization found in most OpenMP 3.0 applications. As promising as it looks however, any new feature needs proper evaluation to encourage application programmers to embrace it.
The KASTORS benchmarks suite is designed to evaluate OpenMP tasks dependencies. We modified state-of-the-art OpenMP 3.0 benchmarks and data-flow parallel linear algebra kernels to make use of tasks dependencies. Learning from this experience, we propose extensions to the actual OpenMP specification to improve the expressiveness of dependencies. KASTORS could be used to evaluate performances of OpenMP implementations of task dependencies compared to taskwait-based approaches.