Transfer of technology

Inria’s software assets

© INRIA / Photo Kaksonen - Extraction des données cryptographiques d'une carte bancaire

Inria is the source of many software. Below our Key software by sector.

Discover the software assets on iCOMMUNITY.

Aeronautics, defence, space, security

ALT-ERGO

Alt-Ergo combines logical reasoning with specialised quantifiers and decision-making procedures for certain theories such as arithmetics and equations. This prover was specially developed for program verification and can be used on Frama-C, Why and CAVEAT platforms.

BLOBSEER

BlobSeer is a large-scale distributed storage service for advanced management of massive data. Validated on Nimbus, OpenNebula and Microsoft Azure cloud platforms.

BOCOP

Toolbox for optimization of controlled dynamical systems. Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use.

CALU

CALU solves linear systems of equations Ax=b using Communication Avoiding LU.

CMA-ES

For solving numerical optimization problems for non-differentiable, non convex functions. Implements the Covariance Matrix Adaptation Evolution Strategy algorithm

COCO

COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem.

CORESE

Corese is a semantic Web search engine implementing basic languages such as RDF, RDFS and SPARQL.

DIASUITE BOX

DiaSuiteBOX proposes an application store that gathers the devices deployed at home. This store is open and available online such as an application store for Smartphone.

DIET

Diet is a toolbox for the use and porting of intensive computing applications on heterogeneous architectures.

DPREPACK

This library solves linear systems on parallel computers from PCs based on multicore processors to large scale computers. It implements recent parallel algorithms issued from domain decomposition methods and parallel approximate factorizations.

FRAMA-C

FRAMA-C is an analytical platform of C programs. Frama-C assists in development and verification activities as well as in reverse source code engineering.

FRASCATI

FraSCAti is a middleware platform for service-oriented architectures (SOA) compliant with the OASIS/OpenSOA Service Component Architecture (SCA) standard.

GASPARD2

Gaspard 2 is an integrated development environment to co-model, simulate, test and generate hardware and software code for intensive SoC (System-on-Chip) applications.

GRAPHITE

Graphite is a dedicated software platform in numerical geometry that enables, among other things, 3D modelling and texture baking.

H20LAB

H20Lab is dedicated for modeling and numerical simulation of aquifers, porous and fractured heterogeneous media, flow with mixed finite elements, solute transport with a Lagrangian method and stochastic modeling for data uncertainty.

HIPS

Hips is a hybrid “à la carte” software enabling resolution of sparse linear equation systems with the degree of precision and the required time/memory commitment desired by the user.

HWLOC

hwloc discovers your computers’ topology and exposes it as an abstracted and portable hierarchical tree.

JADE

Jade is a distributed system capable of self-observation and self-reconfiguration.

JITS

JITS –Java In The Small– is a software platform which allows Java applications to be migrated automatically to various embedded systems such as smart cards, networked sensors or minimalist games consoles.

KADEPLOY

Kadeploy 3 is a full rewrite of the Kadeploy 2 tool initially developed at IMAG. In order to achieve a larger scale, the design was completely reviewed and Kadeploy 3 is based on dedicated large-scale tools. Since the deployment process operates at a low level, special care was devoted to the detection of critical incidents in the deployment of large numbers of nodes.

KERMETA

The Kermeta workbench is a powerful meta-programming environment based on an object-oriented DSL (Domain Specific Language) optimized for metamodel engineering.

KERRIGHED

Kerrighed is a Single System Image operating system offering Linux interface and functionalities to clusters.

MAPHYS

MaPHyS is a parallel hierachical solution of large sparse linear systems.

MILLEFEUILLE

Millefeuillle is a platform used for publication of a historical document within the scope of a project in collaboration with the National Archives. Documents are presented on the left, and the indices on the right.

MIXMOD

Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.

MMG3D

MMG3D is a tetrahedral fully automatic remesher. The generated meshes can be isotropic or anisotropic. Moreover, it allows one to deal with rigid body motion and moving meshes. The software is based on local mesh modifications.

MOBLOT

MobloT is a middleware for the Large-scale Internet of Mobile Things that handles the large number of active mobile devices by preventing redundant ones from registering their services

MPFR

Library for arbitrary precision arithmetic on floating-point numbers, with correct rounding, based on the GMP library.

MUMPS

Multifrontal Massively Parallel Solver solves sparse linear systems of the form A x = b.

ND SAFIR

ND-SAFIR software is dedicated to the restoration (or denoising) of 2D-3D images and 2D or 3D+Time image sequences.

NUM3SIS

Num3sis is a plateform for the aggregation of software components (plugins) dedicated to multi-disciplinary numerical simulation in HPC environment.

OAR

Oar is a task and resource management tool for computing infrastructures.

OPENMASK

OpenMASK (Modular Animation and Simulation Kit) is a platform for modular heterogeneous and distributed applications supporting development and execution in animation, simulation and virtual reality fields.

OPEN-MX

Open-MX is an implementation of a protocol stack targeting high performance computing (HPC) Ethernet network architectures and enabling optimisation of MPI communications.

OPENVIBE

OpenViBE is a software platform designed to create, test and use Brain-Computer Interfaces, enabling users to send commands to computers only by means of brain activity. OpenViBE can be used in many real-time neurosciences application.

PAMPA

PaMPA, arallel middleware library for remeshing and redistributing unstructured, heterogeneous meshes, dramatically eases and speeds-up the development of parallel numerical solvers for compact schemes.

PARADISEO

Paradiseo is a software framework for metaheuristics (optimisation algorithms aimed at solving difficult optimisation problems). It facilitates the use, development and comparison of classic, multi-objective, parallel or hybrid metaheuristics.

POLYCHRONY

Polychrony is a toolset for the integrated development of embedded applications designed around the polychronous Signal Language.

PROLAND

Realistic rendering, animation and real-time publishing of very large nature scenes (landscapes, clouds, atmospheres, oceans...) ranging in size up to the entire planet.

SAMSON

A software platform for real-time modelling and simulation of natural or artificial nanosystems.

SCALFMM

Compute N-body interactions using the Fast Multipole Method for large number of objects.

SCOTCH

Scotch is a graph partitioner. It helps optimise the division of a problem, by means of a graph, into a set of independent sub-problems of equivalent sizes. These sub-problems can also be solved at the same time.

SELALIB

Selalib (SemiLagrangian Library) is a collection of modules conceived to aid in the development of plasma physics simulations, particularly in the study of turbulence in fusion plasmas. Selalib offers basic capabilities from general and mathematical utilities and modules to aid in parallelization, up to pre-packaged simulations.

SHOOT

Solving optimal control problems for dynamical systems.- Indirect approach, shooting method. This software programme is dedicated to numerical solving of optimal control problems for dynamical systems (vehicles, automatons, chemical reactors...)

SICONOS

Dedicated platform for modelling, simulating and analysing non smooth dynamical systems (NSDS).

SNOOZE

Snooze : a Self-Organizing and Energy Aware Cloud Management Framework.

SOFA

SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.

SOLLYA

Sollya is a tool environment for safe floating-point code development.

STARPU

StarPu is a runtime system for heterogeneous parallel machines.

SUP

SUP is a software platform for perceiving, analyzing and interpreting a 3D dynamic scene observed through a network of sensors.

SYNDEX

Software for optimising the implementation of embedded distributed real-time applications and generating efficient and correct by construction code

TOM

Tom is a pattern-matching oriented programming language, based on the use of rules and strategies, that is particularly suited to manipulating tree structures.

ViSP

ViSP, standing for Visual Servoing Platform, is unique. This software is a complete cross-platform solution that allows prototyping and developing applications in visual tracking and visual servoing.

XTREEMOS

XtreemOS is an open-source distributed operating system for large scale dynamic Grids. XtreemOS can be seen as an alternative to traditional Grid middleware, facilitating the use of federated resources for scientific and business communities. XtreemOS aims at making grids easier and it also paves the way to cloud computing as it provides a good base platform for developing advanced Cloud computing functionality.

Software publishing, embedded system

ALT-ERGO

Alt-Ergo combines logical reasoning with specialised quantifiers and decision-making procedures for certain theories such as arithmetics and equations. This prover was specially developed for program verification and can be used on Frama-C, Why and CAVEAT platforms.

AM3

AM3 (AtlanMod MegaModel Management) is ageneric and extensible tool/framework dedicated to global model management, i.e., the management of different modeling artifacts as well as their interrelationships.

AMW

AMW (AtlanMod Model Weaver) is a generic and extensible tool dedicated to the creation and handling of weavings between models, these weavings representing sets of links existing between elements potentially coming from different models.

ATL

ATL (AtlanMod Transformation Language) is a tool dedicated to model transformation, complete, integrated into Eclipse and including its own development & execution environment, concrete examples as well as the corresponding associated documentation.

CORESE

Corese is a semantic Web search engine implementing basic languages such as RDF, RDFS and SPARQL.

EMF FACET

EMF Facet is a tool/framework dedicated to the non-intrusive and dynamic extension of metamodels (adding of new types, attributes, references, etc), based on a model query generic mechanism.

FlOPOCO

FloPoCo is a non-standard arithmetic core generator for reconfigurable computing.

FRAMA-C

FRAMA-C is an analytical platform of C programs. Frama-C assists in development and verification activities as well as in reverse source code engineering.

GASPARD2

Gaspard 2 is an integrated development environment to co-model, simulate, test and generate hardware and software code for intensive SoC (System-on-Chip) applications.

KERMETA

The Kermeta workbench is a powerful meta-programming environment based on an object-oriented DSL (Domain Specific Language) optimized for metamodel engineering.

MIXMOD

Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.

MODISCO

MoDisco is an Eclipse generic and extensible tool/framework providing to developers a set of reusable base components and dedicated to the elaboration of model driven reverse engineering (MDRE) solutions.

MOOSE

Moose is an extensive platform for software and data analysis. It offers multiple services ranging from importing and parsing data, to modeling, to measuring, querying, mining, and to building interactive and visual analysis tools.

MPFR

Library for arbitrary precision arithmetic on floating-point numbers, with correct rounding, based on the GMP library.

PARADISEO

Paradiseo is a software framework for metaheuristics (optimisation algorithms aimed at solving difficult optimisation problems). It facilitates the use, development and comparison of classic, multi-objective, parallel or hybrid metaheuristics.

PHARO

By providing a stable and small core system, excellent dev tools, and maintained releases, Pharo is an attractive platform to build and deploy mission critical Smalltalk applications.

POLYCHRONY

Polychrony is a toolset for the integrated development of embedded applications designed around the polychronous Signal Language.

PREMIA

Pricing and hedging financial derivatives.

QUIXPROC

QuiXProc reads and processes large XML files without loading the entire file in main memory. Instead of building a tree representation of the XML document, QuiXProc manages data as streams (sequence of opening and closing tags).

SCOTCH

Scotch is a graph partitioner. It helps optimise the division of a problem, by means of a graph, into a set of independent sub-problems of equivalent sizes. These sub-problems can also be solved at the same time.

SELALIB

Selalib (SemiLagrangian Library) is a collection of modules conceived to aid in the development of plasma physics simulations, particularly in the study of turbulence in fusion plasmas. Selalib offers basic capabilities from general and mathematical utilities and modules to aid in parallelization, up to pre-packaged simulations.

SIMSOC

A full system (hardware and software) simulation software for embedded systems: Development and Validation.

SOLLYA

Sollya is a tool environment for safe floating-point code development.

STARPU

StarPu is a runtime system for heterogeneous parallel machines.

SYNDEX

Software for optimising the implementation of embedded distributed real-time applications and generating efficient and correct by construction code

TOM

Tom is a pattern-matching oriented programming language, based on the use of rules and strategies, that is particularly suited to manipulating tree structures.

Energy, transport, sustainable development

BLOBSEER

BlobSeer is a large-scale distributed storage service for advanced management of massive data. Validated on Nimbus, OpenNebula and Microsoft Azure cloud platforms.

BOCOP

Toolbox for optimization of controlled dynamical systems. Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use.

BOF

The BOF toolbox is a C++ library that implements the Bayesian Occupation Filter. It is often used for modelling dynamic environments.

CMA-ES

For solving numerical optimization problems for non-differentiable, non convex functions. Implements the Covariance Matrix Adaptation Evolution Strategy algorithm

COCO

COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem.

ENTIMID

EnTiMid eases the development and deployment of home automation applications. Based on model driven engineering techniques, it offers a framework for the integration of the Internet of Things and Internet of Services.

H20LAB

H20Lab is dedicated for modeling and numerical simulation of aquifers, porous and fractured heterogeneous media, flow with mixed finite elements, solute transport with a Lagrangian method and stochastic modeling for data uncertainty.

GRAPHITE

Graphite is a dedicated software platform in numerical geometry that enables, among other things, 3D modelling and texture baking.

HIPS

Hips is a hybrid “à la carte” software enabling resolution of sparse linear equation systems with the degree of precision and the required time/memory commitment desired by the user.

MIXMOD

Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.

MOBLOT

MobloT is a middleware for the Large-scale Internet of Mobile Things that handles the large number of active mobile devices by preventing redundant ones from registering their services

MUMPS

Multifrontal Massively Parallel Solver solves sparse linear systems of the form A x = b.

OPENMASK

OpenMASK (Modular Animation and Simulation Kit) is a platform for modular heterogeneous and distributed applications supporting development and execution in animation, simulation and virtual reality fields.

SUP

SUP is a software platform for perceiving, analyzing and interpreting a 3D dynamic scene observed through a network of sensors.

YARTA

Yarta is a middleware for managing social ecosystems which offers rich social interactions for mobile environments.

Health, life sciences, biotechnology

BIORICA

BioRica is used to mathematically describe thebehavior of complex biological systems.It is a software platform that permits simulation ofbiological systems on the basis of their description.It allows one to reuse existing biological models andto combine them into more complex models.

BLOBSEER

BlobSeer is a large-scale distributed storage service for advanced management of massive data. Validated on Nimbus, OpenNebula and Microsoft Azure cloud platforms.

BOCOP

Toolbox for optimization of controlled dynamical systems. Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use.

CMA-ES

For solving numerical optimization problems for non-differentiable, non convex functions. Implements the Covariance Matrix Adaptation Evolution Strategy algorithm

COCO

COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem.

DIASUITE BOX

DiaSuiteBOX proposes an application store that gathers the devices deployed at home. This store is open and available online such as an application store for Smartphone.

DROP

Drop is a software programme that registersimages originating from one or more modes byquickly and efficiently calculating a non-rigid /deformable field of deformation.Drop is a new, quick and effective registrationtool based on new algorithms that do notrequire a cost function derivative.

ENTIMID

EnTiMid eases the development and deployment of home automation applications. Based on model driven engineering techniques, it offers a framework for the integration of the Internet of Things and Internet of Services.

GAZELLE

Web application for the management of interoperability testing session.

HANDNAVIGATOR

Immersive hands-on peripheral device for the control of a virtual hand in virtual worlds.

LIBQGLViEWER

LibQGLViewer is a QT based C++ library that facilitates creation of 3D Open GL viewers.

LOCUS

LOCUS software analyses, in just a few minutes, a 3D MR brain scan and automatically identifies brain tissues and a large number of brain structures.

MIXMOD

Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.

MOBLOT

MobloT is a middleware for the Large-scale Internet of Mobile Things that handles the large number of active mobile devices by preventing redundant ones from registering their services

ND SAFIR

ND-SAFIR software is dedicated to the restoration (or denoising) of 2D-3D images and 2D or 3D+Time image sequences.

OPENVIBE

OpenViBE is a software platform designed to create, test and use Brain-Computer Interfaces, enabling users to send commands to computers only by means of brain activity. OpenViBE can be used in many real-time neurosciences application.

SAMSON

A software platform for real-time modelling and simulation of natural or artificial nanosystems.

SOFA

SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.

SUP

SUP is a software platform for perceiving, analyzing and interpreting a 3D dynamic scene observed through a network of sensors.

Telecoms, networks, multimedia

AMAYA

Amaya is a Web page editor that takes advantage of the latest Web technologies and enables creation and updating of documents directly on the Web.

BLOBSEER

BlobSeer is a large-scale distributed storage service for advanced management of massive data. Validated on Nimbus, OpenNebula and Microsoft Azure cloud platforms.

BOCOP

Toolbox for optimization of controlled dynamical systems. Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use.

CMA-ES

For solving numerical optimization problems for non-differentiable, non convex functions. Implements the Covariance Matrix Adaptation Evolution Strategy algorithm

COCO

COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem.

DIASUITE BOX

DiaSuiteBOX proposes an application store that gathers the devices deployed at home. This store is open and available online such as an application store for Smartphone.

DYNAMIC SOLID TEXTURES

Shaders for animation stylisation.

ENTIMID

EnTiMid eases the development and deployment of home automation applications. Based on model driven engineering techniques, it offers a framework for the integration of the Internet of Things and Internet of Services.

FRASCATI

FraSCAti is a middleware platform for service-oriented architectures (SOA) compliant with the OASIS/OpenSOA Service Component Architecture (SCA) standard.

FREESTYLE

Freestyle is a software for the creative rendering of 3D scenes with an artistic drawing style.

JITS

JITS –Java In The Small– is a software platform which allows Java applications to be migrated automatically to various embedded systems such as smart cards, networked sensors or minimalist games consoles.

LIMSEE3

LimSee3 is a template guided authoring tool for the creation of multimedia documents. It is particularly suited for Web applications.

MILLEFEUILLE

Millefeuillle is a platform used for publication of a historical document within the scope of a project in collaboration with the National Archives. Documents are presented on the left, and the indices on the right.

MIXMOD

Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.

MOBLOT

MobloT is a middleware for the Large-scale Internet of Mobile Things that handles the large number of active mobile devices by preventing redundant ones from registering their services

OPEN-MX

Open-MX is an implementation of a protocol stack targeting high performance computing (HPC) Ethernet network architectures and enabling optimisation of MPI communications.

SUP

SUP is a software platform for perceiving, analyzing and interpreting a 3D dynamic scene observed through a network of sensors.

YARTA

Yarta is a middleware for managing social ecosystems which offers rich social interactions for mobile environments.

Top