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.

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.

Kameleon
- Kameleon is a simple but powerful tool to generate customized appliances.
With Kameleon, you make your recipe that describes how to create step by step your own distribution and generate custom kvm, VirtualBox, iso images ...
This project is only used for diffusion (mailing list and web site). For source code and bug tracking see:
https://github.com/oar-team/kameleon