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.
Trisph résout les triangles sphériques (ou plans) et est configurable pour les applications pratiques
Giac/Xcas est un système de calcul formel libre pour Windows, Mac OSX et Linux/Unix (licence GPL3)
XyGrib est un lecteur de fichier GRIB, il permet de télécharger et visualiser des fichiers météo
Logiciel de domotique complet et multi-plateformes
ZeGrapher est un logiciel de tracé de courbes sur le plan, rapide et simple d'utilisation.
Zygrib permet le téléchargement et l'affichage des données méteo.