Les logiciels diffusés

Derniers logiciels affichés

29-04-2008 : Nouvel outil et langage pour les sciences de la vie
Docking@grid : Programme d'échantillonnage conformationel pour l'identification des molécules imbriquées

24-04-2008 : Nouvel outil et langage pour les systèmes en temps réel
GASPAR: Environnement de développement intégré (IDE) pour le SOC co-visuel de modélisation

23-04-2008 : Nouvel outil pour les Sciences de la vie
Monolix : Estimation dans les modèles non linéaires à effets mixtes

11-04-2008 : Nouvel outil pour la programmation distribuée
Deployware : canevas logiciel libre et extensible à base de composants dédié au déploiement de systèmes distribués et hétérogènes

10-04-2008 : Nouvel outil pour le langage de programmation
Compcert : Compilateur formellement vérifié pour un sous-ensemble du langage C

Licence de logiciel libre de droit français

26-06-2006 : CeCILL : une famille cohérente de licences de logiciels libres de droit européen.

Consultation de l'ensemble des logiciels diffusés

Accès par liste alphabétique

Accès par thème :

Calcul scientifique Coopération, collaboration, communication sur Internet Edition de documents pour le Web Géométrie, algèbre, arithmétique et combinatoire Interfaces homme-machine Langages de programmation Outils et langages pour les systèmes temps réel Outils pour les langages Outils pour les réseaux et le sans fil

Outils pour les systèmes communicants Outils pour l'animation, la simulation et la réalité virtuelle Preuves Parallèlisme et distribution STIC et Sciences de la vie Systèmes et simulation de systèmes Traitement des connaissances Traitement des langues naturelles Traitement des images

Avertissement : si vous souhaitez ajouter des logiciels ou faire modifier les informations actuelles, adressez-vous au responsable de ces pages