Annuaire du Libre
Langage de description de graphismes vectoriels
Logiciel assistant de preuve Utilisant le langage Gallina (par Inria).
OpenCPN est un logiciel cartographique dédié à la navigation maritime.
Magrit est un logiciel de cartographie thématique ou statistique en ligne.
Maxima est un logiciel de calcul formel: à vous les polynômes, matrices et autres équations différentielles !
MuPhyN - Multi Physical Nexus - est un logiciel de simula
OneZoom est une carte interactive qui permet d'explorer toutes les formes de vie sur Terre.
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)
