The goal of this project was to design the next generation of package managers for Java and similar languages. For OCamlPro, the main outcome was the OPAM package manager, who has become the official package manager for the OCaml.
In this collaborative two-year project, OCamlPro has been developing static analyses and partial typing for the Scilab language. These analyses were used to develop style-checking tools, such as Scilint. OCamlPro’s work is partially funded by the Conseil Général de l’Essonne.