Langage de description de graphismes vectoriels

Éditeur et visualiseur de molécules chimiques en 3D.

BOINC permet de soutenir divers projets scientifiques grâce à sa plate-forme de calcul partagé.

Un simulateur d'espace pour découvrir notre univers en 3D

Logiciel assistant de preuve Utilisant le langage Gallina (par Inria).

Cytoscape est un logiciel d'analyse et de visualisation de données de réseaux

GeoGebra permet d'explorer la géométrie affine

Logiciel de calcul numérique très fortement compatible avec les scripts de Matlab

Visionner les satellites sur votre ordinateur

Logiciel de traitement et d'analyse d'images

Interface logicielle permettant de modéliser la propagation d'ondes acoustiques dans des géométries complexes.

Réaliser simplement des cartes statistiques en ligne.