Annuaire du Libre
QGIS, ou le SIG libre pour tous !
Langage de description de graphismes vectoriels
Logiciel assistant de preuve Utilisant le langage Gallina (par Inria).
OneZoom est une carte interactive qui permet d'explorer toutes les formes de vie sur Terre.
OpenCPN est un logiciel cartographique dédié à la navigation maritime.
Bibliothèque Python pour la gestion des probabilités avec interface graphique Persalys
Un logiciel de modélisation en optique géométrique (et physique).
ParaView est un logiciel scientifique de visualisation de données.
Atelier Salome permettant la gestion des probabilités
Un logiciel d'acquisition vidéo planétaire pour l'astronomie
Logiciel d'aide à la conception d'enceintes acoustiques avec haut-parleurs.
Logiciel de Computer-assisted qualitative data analysis software (CAQDAS)
R est un logiciel de traitement de données et d'analyse statistique
Rstudio est un environnement de développement pour R.