Vincent Simonet
Logiciels

Logiciel scientifique

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.
Flow Caml version 1.06
Analyse de flots d'information pour Objective Caml.

Logiciels en Objective Caml

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.
APM version 1.00
Cette librairie offre une interface simple au driver APM Linux pour les programmes Objective Caml.
Headache version 1.03
Headache est un outil simple et léger pour manipuler les en-têtes dans les fichiers sources.
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.

Styles TeX/LaTeX

icon
Informatique théorique
Bric-à-brac
enfr
english[french]