Inria's open-source software
With almost 1,500 references, the software developed by Inria's research teams represents a significant technological asset that is available to developers and companies. To accelerate the appropriation of this software, Inria Academy offers software training in a wide variety of fields such as Coq, Pharo, RIOT, Scikit-learn, or SOFA.
Scikit-learn is an open-source machine learning library for Python that supports supervised and unsupervised learning. It also provides various tools for model fitting, data pre-processing, model selection and evaluation, and many other utilities.
RIOT is a free, open-source operating system developed by a grassroots community of businesses, academics, and enthusiasts, distributed worldwide. RIOT aims to implement all relevant open standards that support an Internet of Things that is connected, secure, enduring, and privacy-friendly.
Pharo is an immersive programming experience. Pharo is a pure object-oriented programming language and, power environment focused on simplicity and immediate feedback.
SOFA is an open-source framework oriented to real-time simulation, with emphasis on medical simulation. SOFA helps to promote new algorithms and can also be used as an efficient prototyping tool.
CCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.