OCaml Pro
OCamlPro fue creado en abril de 2011 por antiguos miembros del Instituto FRANCÉS INRIA. El objetivo inicial de OCamlPro era impulsar el desarrollo de OCaml y promoverlo como el lenguaje de elección para el desarrollo de software en la industria. OCamlPro es miembro oficial del Consorcio Caml, e incluye miembros del equipo de desarrollo central de OCaml. OCamlPro también desarrolla herramientas en OCaml para mejorar la calidad del código de programas escritos en otros lenguajes como C.
Los expertos de alto nivel de OCamlPro desarrollan soluciones de software en cualquier dominio que requieren sus conocimientos en algoritmos complejos y métodos formales.
OCamlPro realiza una gran cantidad de investigación y desarrollo (R&D), y mantiene fuertes lazos y colaboraciones con laboratorios de investigación públicos, como IRILL & LRI en París-Saclay (Inria, CNRS, Sorbonne Université) y OCamlLabs en Cambridge.
