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.
GeoGebra permet d'explorer la géométrie affine
Un mailleur et solveur par éléments finis libre et simple d'utilisation.
Logiciel de calcul numérique très fortement compatible avec les scripts de Matlab
Une librairie de calcul complète écrite en C
Pour des communs en santé !
Visionner les satellites sur votre ordinateur
Logiciel de simulation numérique de propagation d'onde généré par un radar de sol
gtk-fortran permet de créer des interfaces graphiques GTK multi-plateformes en Fortran, et d'utiliser la GLib.
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.
Une nouvelle façon de faire des statistiques.
Réaliser simplement des cartes statistiques en ligne.