Icobjs programming is a simple and fully graphical programming method, using powerful means to combine behaviours. This style of programming is based on the notion of an icobj which has a behavioural aspect (object part), and a graphical aspect (icon part), and which can be animated on the screen. Icobjs programming evolves from the reactive approach and provides parallelism, broadcast event communication and migration through the network. The Java version of Icobjs unifies icobjs and workspaces in which icobjs are created, and uses a specialized reactive engine. Simulations in physics and the mobile Ambient calculus have been ported to this new system.
TypI is a type inference interpreter for the intersection types discipline. It implements, in Caml , the algorithm designed and proved correct by Boudol and Zimmer. A reference manual (in french) can be found on the web page of the project, and is a chapter of Zimmer's thesis .
MlObj is an interpreter for a prototype language composed of a functional core, objects, mixins and degree types, written in Caml . It implements Boudol's theory of objects as recursive records. A reference manual (in french) can be found on the web page of the project, and is a chapter of Zimmer's thesis.
The Trust tool, designed for the verification of cryptographic protocols, is an optimized Ocaml implementation of the algorithm designed and proved by Amadio, Lugiez and Vanackère. It is available via the url http://www.cmi.univ-mrs.fr/~vvanacke/trust.html .