INRIA - Software : Programming Languages

Software	Platforms	Distribution	License	Project
BIOCHAM : a programming environment for modeling biochemical systems	Unix	downloadable	GP	CONTRAINTES
CDuce : a strongly-typed functional language for safe and efficient manipulation of XML documents	Unix, Mac OS X, Windows	downloadable	MIT	CRISTAL
Caml : functional programming language	Unix, Windows and MacOS	downloadable	QPL	CRISTAL
EASEA : a high-level language dedicated to the specification of evolutionary algorithms	Linux, Windows	downloadable	LGPL	COMPLEX
FairThreads : cooperative threads run by a fair scheduler that gives them equal access to the processor	Java	downloadable	free license	MIMOSA
GNU-Prolog : a native Prolog compiler, integrating a constraints resolver on finite domains	Unix	downloadable	GPL	CONTRAINTES
GNU-Prolog RH : a version of GNU Prolog extended with attributed variables, coroutines and CLP(R) constraints	Unix, and MacOS	downloadable	GPL	CONTRAINTES
JoCaml : Objective Caml plus (&) the join calculus (OCaml extended for concurrent and distributed programming)	Linux	downloadable	Q + LGPL	MOSCOVA
Junior : defines an API for reactive programming in Java	Java	downloadable	free license	MIMOSA
Kermeta : Language and Model Driven Engineering workbench allowing to build DSL (Domain Specific Language) from executable metamodels	Java	downloadable	EPL	TRISKELL
Lisaac : an Object Oriented protopype based language	ISAAC OS, Unix, Linux, Windows	downloadable	free license	INRIA Lorraine/Loria
Objective Caml : a strongly-typed functional programming language from the ML family	Linux, Windows and MacOS	downloadable	QPL and LGPL licenses	CRISTAL
Polychrony-compilateur : a compiler for the Signal language	Unix	downloadable	free license	ESPRESSO
Polychrony-GUI : editor and interactive access to compiling functionalities	Unix	downloadable	free license	ESPRESSO
Reactive-C : a preprocessor for reactive programming in C	Unix	downloadable	free license	MIMOSA
Rejo : introduces Reactive Objects on top of Java	Java	downloadable	free license	MIMOSA
Skribe : a functional programming language to writing text documents (PostScript, PDF, HTML, Texinfo, man Unix formats)	Unix	downloadable	GPL	MIMOSA
SmartEiffel : Eiffel compiler	Unix Windows and MacOS	downloadable	GPL	ECOO
SmartTools : MDA software development factory, using components-based programming and aspect-oriented programming approaches, and based on the XML technologies	Linux and Windows	downloadable	LGPL	SmartTools
SugarCubes : a set of 100% Java classes for reactive programming in Java	Java	downloadable	free license	MIMOSA
TCLP a type checker for constraint logic programming	Unix et MacOS	downloadable	LGPL	CONTRAINTES
TOM : A pattern matching compiler	Unix and Windows	downloadable	GPL	PROTHEO

For each software application in this table, the following can be found:

a brief description of the software which goes back to the authors' page ;
and the platforms it can be installed on, taking into account the two main system families Unix and Windows; details of seful architecture for effective installation can be found on the authors' page ;
the distribution mode: downloadable or CD ROM ;
the conditions of use: free or license (the industrial relations manager can give you details of acquisition conditions) ;
the INRIA project under which the software was conceived and developed.

Software developed with external partners

| back to top |next Languages Tools |return all the software