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

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

 

An opensource software development platform that is simple and stable, adaptable to any development mission, even the most critical: that's the role of Pharo. The Pharo consortium brings together a highly diverse community of users along with firms such as Synectic, Thales and Lifeware, as well as academic stakeholders such as the Faculty of Information Technology of Prague (Czech Republic) and Fundación Argentina de Smalltalk.

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 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 (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 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.