INRIA's Research Teams Software

04/29/2008 : What's new for Life Sciences
Docking@grid : a conformational sampling program for the identification of docking molecules

04/24/2008 : What's new for Tools and languages for real-time systems
GASPAR : An Integrated Development Environment (IDE) for SoC visual co-modeling

04/23/2008 : What's new for Life sciences
Monolix : Nonlinear mixed effects models

04/11/2008 : What's new for parallelism and Distribution
Deployware : an open source extensible component-based framework to deploy distributed and heterogeneous software systems.

04/10/2008 : What's new for languages Tools
Compcert : Formally verified C compiler for critical software

10/19/2007 : What's new for scientific computing
LibMultiScale : a C++ parallel framework for the multiscale coupling methods dedicated to material simulations.

09/10/2007 : What's new for Real-time System
NETCARBENCH : Generator of parameterized automotive message sets.

Free Software licensing agreement

06/26/2005 : CeCILL a coherent family of free and open source software licenses under European law.

Research Software

Alphabetical List

Consultation by research theme

Scientific Computing Cooperation, collaboration, communication on Internet Document Editions for the Web Geometry, algebra, arithmetic and combinational Man-machine Interfaces Programming Languages Tools and Languages for Real-time Systems Languages Tools Network tools

Tools for communicating systems Tools for animation, simulation and virtual reality Proof Tools Parallelism and Distribution Life sciences Systems and Systems simulation Knowledge Processing Tools for natural language Image Processing