Framalibre

7-zip est un logiciel de compression et de décompression

Langage de description de graphismes vectoriels

Logiciel de vidéo-conférence spécialisé pour l'apprentissage en ligne

Un éditeur HTML Wysiwyg avec un éditeur de code.

BOINC permet de soutenir divers projets scientifiques grâce à sa plate-forme de calcul partagé.

CANOPROF est un service offert aux enseignants pour produire leurs supports de cours (primaire et secondaire).

Chromium est un navigateur libre à l'origine du logiciel propriétaire Google Chrome
Ne pas les confondre !

Projet de langages utilisés en automatisme: langage à contact et grafcet.
Interface graphique de base.

Une extension supprimant automatiquement les codes de surveillance des URL, afin de protéger votre vie privée.

Logiciel assistant de preuve Utilisant le langage Gallina (par Inria).

Un langage de programmation pour la création sonore, accompagné de nombreuses interfaces.

Cytoscape est un logiciel d'analyse et de visualisation de données de réseaux