OCaml Pro

OCamlPro was created in April 2011 by former members of the French INRIA Institute. OCamlPro initial goal was to boost the development of OCaml and to promote it as the language of choice for software development in the Industry. OCamlPro is an official member of the Caml Consortium, and includes members of the OCaml core development team. OCamlPro also develops tools in OCaml to improve the code quality of programs written in other languages such as C.

OCamlPro's high-level experts develop software solutions in any domain requiring their knowledge in complex algorithms and formal methods.

OCamlPro does a lot of research and development (R&D), and maintains strong ties and collaborations with public research labs, such as IRILL & LRI in Paris-Saclay (Inria, CNRS, Sorbonne Université) and OCamlLabs in Cambridge.