Contributions des utilisateurs de Caml Light

Extensions du language

CamlDim: inférence of physical dimensions

CamlDim est une extension de Caml Light 0.7 qui gère des dimensions physiques sur les entiers et les flottants, par exemple si v est une vitesse et t un temps, v *. t est une distance. Voir la présentation succincte.

Écrit par Bruno Blanchet, École Normale Supérieure, Paris. Disponible ici.

Variables de type existentiels à la Laufer-Odersky

Cette modification de Caml Light 0.6 ajoute au langage une forme simple de types existentiels (à la manière de Laufer et Odesky's). Écrit par François Pottier et Michel Mauny à l'INRIA. Détails dans l'annonce.

Disponible ici.

Interfaces utilisateur

Caml Light pour MS-Windows

Une interface graphique pour Caml Light 0.74, pour Microsoft Windows 3.1, 95, et NT. Écrit par Jean-Marie Geffroy à l'INRIA. Détails dans l'annonce.

Disponible ici.

CamlWin

CamlWin est une interface utilisateur graphique multi-platforme pour Caml Light. Elle marche sous MSDOS, MS Windows, et Unix/X11. Écrit par Pierre Saunier à l'ENST Bretagne. Voir la documentation pour plus d'information. Disponible ici.

Partie avant pour MS Windows

Cette partie avant vous offre une interface utilisateur graphique pour le toplevel Caml Light sous Microsoft Windows. Écrit par Martial Tarizzo. Voir l'annonce. Disponible ici.

Bibliothèques

MLgraph

MLgraph est une bibliothèque pour la production d'images en Caml. Le modèle graphique est à peu de choses près celui de PostScript. Divers objets peuvent être définis sur le plan cartésien et arbitrairement changés de taille, déplacés, tournés, par l'application de transformations linéaires. On imprime par une traduction vers Postscript.

Écrit par Guy Cousineau (Guy.Cousineau@ens.fr) et Emmanuel Chailloux (Emmanuel.Chailloux@ens.fr) à l'École Normale Supérieure, Paris.

Disponible ici, avec son manuel.

BindLib

Cette bibliothèque vous offre des outils pour écrire des programmes qui manipulent des données structurées avec lieurs (comme les lambda termes ou les formules quantifiées).

Écrit par Christophe Raffalli.

Disponible ici avec sa documentation.

Caml - Cristal - Publications - Pages personnelles - Contacter l'administrateur
Dernière modification: 2003/05/09