Changed on 18/12/2019
Inria’s software library contains roughly 1,500 programs, all with their roots in research work. The institute makes these laboratory prototypes available to developers and companies open source, the goal being to enable future scientific developments, but also to increase the economic impact of software technology. An overview of 10 of the most recent software programs that have established themselves as benchmarks.
Coq, proof by software
A "Proof Assistant", the Coq software was created at Inria more than 30 years ago to verify computer programs and mathematical theorems. It’s a valuable tool for computer scientists who use it for verification but also as a code-writing aid. It is also popular among mathematicians, seduced by its performance.
MedInria, l'imagerie médicale facilitée
MedInria is free, opensource 2D/3D/4D visualisation and medical image processing software offering a wide range of functionalities for researchers and health practitioners. It has sophisticated algorithms but a very user-friendly interface.
Mmg comes up to the net
Created in 2004, Mmg is an opensource platform offering apps and software libraries for automatically modifying virtual-object meshing created in 3D. Developed jointly by Inria, the University of Bordeaux, Bordeaux INP, the Pierre and Marie Curie University and the CNRS, the Mmg platform is backed by an Inria consortium and a very active community of users.
Modelling the human body with SOFA
Modelling physical object systems and how they evolve is the role of SOFA, a software package that now incorporates a large number of models and algorithms, enabling fast development of new simulations. Its areas of application encompass the life sciences with a large number of medical applications, as well as industrial robotics and videogames.
OpenViBE, to easily create brain-computer interfaces
Processing electrical signals from the brain’s activity and translating them into machine commands: this is the role of brain-computer interfaces. Designed to facilitate the use of such interfaces, OpenViBE now allows you to design, test and easily use brain-computer interfaces. It offers a tool that is simple to access and use, aimed at researchers, clinicians and even videogame developers.
Pharo, la plate-forme universelle
Pl@ntNet, the green app
With the Pl@ntNet app, all you have to do to identify a plant is take a photo of it, thanks to an embedded visual recognition system! This is a participative platform for the production, aggregation and dissemination of botanical observations born from the collaboration of four research bodies – Cirad (Centre for International Cooperation in Agronomic Research for Development), Inra (National Institute for Agronomic Research), IRD (Development Research Institute), and Inria.
Sci-Kit Learn, the toolbox for machine learning
Sci-kit-Learn is a free library developed in Python, a high-level programming language. It is dedicated to machine learning and can be used as middleware, with applications in fraud and spam prevention, targeted marketing, forecasting user behaviour, and optimising industrial and logistics processes.
Shanoir, in the service of neuroimaging
Shanoir (SHAring NeurOImaging Resources) is an opensource solution for sharing, finding and visualising neuroimaging data. It offers secure web access and an intuitive workflow to facilitate the collection and importation of neuroimaging data from multiple sources (CD/DVD Dicom, network, existing files, etc.). This allows researchers to run research projects with quality controls that involve remote collaboration.
VIdjil assiste le séquençage haut débit
Vidjil analyses high-throughput DNA sequencing data from lymphocytes described in the lymphocyte repertoire. The software allows enhanced diagnosis and monitoring of leukaemia and is used more generally in haematology and immunology research.