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.
Éditeur et visualiseur de molécules chimiques en 3D.
BOINC permet de soutenir divers projets scientifiques grâce à sa plate-forme de calcul partagé.
Logiciel de gnomonique Tracés de cadrans et visualisation en 3D Impression en 2D (svg) ou 3D (stl ou obj)
Un simulateur d'espace pour découvrir notre univers en 3D
Un outil de nouvelle génération pour la programmation parallèle, sur super calculateur ou machine seule.
Projet de langages utilisés en automatisme: langage à contact et grafcet. Interface graphique de base.
Un logiciel de calcul aux éléments finis pour l'analyse des structures.
Un logiciel de modélisation pour la mécanique des fluides.
Cytoscape est un logiciel d'analyse et de visualisation de données de réseaux
Construisez et diffusez votre projet Fortran avec fpm