Dalton | version 0.02 |
Dalton est une bibliothèque générique et efficace pour l'inférence de types en présence de sous-typage structurel. Elle est écrite en Objective Caml. | Page du logiciel |
Flow Caml | version 1.06 |
Analyse de flots d'information pour Objective Caml. | Page du logiciel |
Averell | version 0.03 |
Averell est une librarie Objective Caml pour les graphes. Elle implémente plusieurs algorithmes usuels et offre une interface avec les outils GraphViz pour le tracé de graphes. | Distribution Documentation |
APM | version 1.00 |
Cette librairie offre une interface simple au driver APM Linux pour les programmes Objective Caml. | Distribution Documentation |
Headache | version 1.03 |
Headache est un outil simple et léger pour manipuler les en-têtes dans les fichiers sources. | Distribution Documentation Debian package (contributed) |
MozCaml | version 1.00 |
J'ai également développé, avec Maxence Guesdon, une "SideBar" pour les navigateurs Mozilla et Netscape, dédiée au langage Caml. | Page MozCaml |