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.

LimSee3
- LimSee3 is an open source authoring tool for multimedia documents. It features a powerful user interface and authoring model designed to ease the creation of complex time-based multimedia presentations. More on http://limsee3.gforge.inria.fr

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.

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

EZTrace
- EZTrace is a tool that aims at generating automatically execution trace
from HPC (High Performance Computing) programs. It generates execution
trace files that can be interpreted by visualization tools such as
ViTE.

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.

SECURED OS/ Over the air updates
- The main objective of the experiment is to test, prototype and provide secured OTA (Over the air) updates for RIOT O.S. RIOT powers the Internet of Things like Linux powers the Internet.

Roots
- Roots is a annotated sequential data management toolkit.
It contains a C++ library, its Perl binding, and scripts for quick basic operations.
See http://roots-toolkit.gforge.inria.fr for a quick presentation, tutorials and the API documentation.
See http://bitbucket.org/lolived/roots for the code repository.

Verveine J
- VerveineJ allows to extract information from the source code of Java systems and export it for the Moose platform. From this, Moose allows performing different analysis on how the system is structured, interactions between its components, quality, etc.

PaStiX-devel
- 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.