INRIA - Logiciels : Langages de programmation

Logiciel	Plates-formes	Distribution	Licence	Equipe-Projet
BIOCHAM : environnement de programmation pour la modélisation des systèmes biochimiques	Unix	téléchargeable	GPL	CONTRAINTES
CDuce : un langage fonctionnel fortement typé pour la manipulation sûre et efficace de documents XML	Unix, Mac OS X, Windows	téléchargeable	MIT	CRISTAL
Caml : langage de programmation fonctionnel	Unix, Windows et MacOS	téléchargeable et cédérom	QPL	CRISTAL
EASEA : un langage de programmation (avec compilateur) d'algorithmes évolutionnaires	Linux, Windows	téléchargeable	LGPL	COMPLEX
FairThreads : threads coopératifs exécutés par un scheduler qui leur donne un accès équitable au processeur	Java	téléchargeable	licence gratuite	MIMOSA
GNU-Prolog : compilateur natif pour Prolog intégrant un résolveur de contraintes sur les domaines finis	Unix	téléchargeable et cédérom	GPL	CONTRAINTES
GNU-Prolog RH : GNU Prolog étendu avec des attributs et des coroutines étenduavec des contraintes CLP(R)	Unix et MacOS	téléchargeable	GPL	CONTRAINTES
JoCaml : Objective Caml plus (&) le join calcul (OCaml étendu pour la programmation concurrente et distribuée)	Linux	téléchargeable	Q + LGPL	MOSCOVA
Junior : définit une API pour la programmation réactive en Java	Java	téléchargeable et cédérom	licence gratuite	MIMOSA
Kermeta : Langage et atelier d'Ingénierie Dirigée par les Modèles pour fabriquer des DSL (Domain Specific Language) à partir de métamodèles exécutables	Java	téléchargeable	EPL	TRISKELL
Lisaac : un langage objet à base de prototypes	ISAAC OS, Unix, Linux, Windows	téléchargeable	licence gratuite cdri.lor@inria.fr	INRIA Lorraine/Loria
Objective Caml : langage fonctionnel fortement typé de la famille ML	Linux, Windows et MacOS	téléchargeable	QPL et LGPL	CRISTAL
Polychrony-compilateur : compilateur batch pour le langage Signal	Unix	téléchargeable	licence gratuite	ESPRESSO
Polychrony-GUI : environnement graphique pour le langage Signal	Unix	téléchargeable	licence gratuite	ESPRESSO
Reactive-C : un préprocesseur pour la programmation réactive en C	Unix	téléchargeable	licence gratuite	MIMOSA
Rejo : permet l'introduction d'objets réactifs au dessus de Java	Java	téléchargeable	licence gratuite	MIMOSA
Skribe : un langage de programmation fonctionnelle pour l'édition de documents techniques (au format PostScript, PDF, HTML, Texinfo, man Unix)	Unix	téléchargeable	GPL	MIMOSA
SmartEiffel : compilateur Eiffel	Unix Windows et MacOS	téléchargeable	GPL	ECOO
SmartTools : Atelier de développement logiciel dirigé par les modèles (type MDA), avec approches de programmation par composants et séparation de préoccupations, et basé sur les technologies XML	Linux et Windows	téléchargeable	LGPL	SmartTools
SugarCubes : ensemble de classes Java pour la programmation réactive en Java	Java	téléchargeable	licence gratuite	MIMOSA
TCLP contrôle de type pour la programmation logique avec contraintes	Unix et MacOS	téléchargeable	LGPL	CONTRAINTES
TOM : un compilateur de filtrage	Unix et Windows	téléchargeable	GPL	PROTHEO

Pour chaque logiciel figurant dans ce tableau, on trouve :

une brève description du logiciel qui renvoie sur la page des auteurs ;
les plates-formes sur lesquelles il peut être installé, en considérant les deux grandes familles de systèmes Unix et Windows. Les précisions d'architectures utiles à une installation effective se trouvent sur la page des auteurs ;
le mode de distribution : téléchargeable, cédérom ;
les conditions d'utilisation : libre ou licence (le chargé des relations industrielles pourra vous préciser les conditions d'acquisition) ;
le projet INRIA dans lequel a été conçu et développé ce logiciel.

Logiciel développé en collaboration avec des partenaires