OCamlPro is the leading company in OCaml development


OCaml Memory Profiler

Profile your application !

OCPWin Distribution

OCaml Binary Distribution for Windows


SMT-Solver for Software Verification


Highly-Scalable Package Manager

Free Software

TypeRex Toolbox

Open-Source Tools and Libraries for OCaml

Try OCaml

Online OCaml Toplevel for Beginners


Scilab Style Checking Tools


Language for Linear Optimization


Application Development

High-quality Software Development

TypeRex-Pro Support

Technical Support for OCaml Developers

Developer Training

Training and Courses for Software Developers

Research & Development

Collaborative Research and Development Projects

About Us

OCaml Experts in the Industry

OCaml Experts
to implement
your Dreams

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 and Scilab.

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 in Paris and OCamlLabs in Cambridge.

Our Team

Fabrice Le Fessant
Founder and Scientific Advisor
Fabrice is an INRIA researcher, and the founder of OCamlPro. He has built a strategic partnership between OCamlPro and his INRIA team, that allows OCamlPro to interact closely with the core OCaml developers at INRIA. He has a long experience of both contributing to OCaml (he wrote the first JoCaml implementation, an extension of OCaml for transparent distributed communications and code mobility) and building applications in OCaml (he was the creator and maintainer of MLdonkey, MNPlight and contributed to OCamlviz).
Pierre Chambart
Senior R&D Engineer
Pierre has a Ph.D. in Computer Science, obtained in the Specification and Verification Laboratory at ENS Cachan. After his PhD, he spent 12 months as an Engineer working on the Ocsigen Web Framework at IRILL, Paris. Finally, he joined OCamlPro in August 2012.
Louis Gesbert
Senior R&D Engineer
Louis holds a PhD from University Paris Est, and has studied at EnsIIE, University of Manchester and University of Tokyo. He has a strong background on programming languages and distribution, and was one of the architects behind the Opa language developed at MLstate. Finally, he joined OCamlPro in November 2012.
Mohamed Iguernlala
Senior R&D Engineer
Mohamed Iguernlala is a senior R&D engineer at OCamlPro and a research associate in the VALS team of LRI. His research activities focus on automated reasoning, decision procedures and their combination in the SMT framework. He received a PhD in Computer Science from Paris-Sud University. During his thesis, he worked on the enhancement of the Alt-Ergo SMT solver: an automatic theorem prover for first-order formulas. Before that, he was involved in the development of OCamlwizard. He joined OCamlPro in September 2013.
Benjamin Canou
Senior R&D Engineer
Benjamin has a PhD from University Pierre et Marie Curie / LIP6, working in the Ocsigen project. Previously, he obtained a MSc at ENS Bretagne / IRISA working on certified static analysis. He mostly likes to tame wild computer systems and put them into a type-safe cage, leading him to a varied background in hardware and software platforms, program analysis and transformation, and interoperability layers.
Grégoire Henry
Senior R&D Engineer
Grégoire holds a PhD from Paris Diderot University. He previously worked as engineer for the Ocsigen project and as a postdoc at Inria where he designed an experimental extension to OCaml, adding runtime-type to the language. He joined OCamlPro in November 2013.
Çagdas Bozman
Senior R&D Engineer
Çagdas has a PhD from Ecole Polytechnique, obtained by working between OCamlPro and ENSTA, focusing on building tools to profile OCaml memory usage and to detect memory leaks. Previously, he has been working at Dassault Systèmes on the extension of a real-time modeling language for discrete-event systems.
Thomas Blanc
Junior R&D Engineer
Thomas is working as a PhD student between OCamlPRO and ENSTA, with a focus on whole-program static analysis. One of his first objectives is to try to use the whole-program analysis approach to detect uncaught exceptions in OCaml programs. Previously, he obtained a MSc in computer science at the ENS Cachan.
Pierrick Couderc
Junior R&D Engineer
Pierrick is working as a PhD student between OCamlPRO and ENSTA, focusing on typing the OCaml intermediate language, in order to propagate the typing information into the whole compilation toolchain. Previously, he worked on the design of a namespace mechanism for the OCaml language.
Michael Laporte
Junior R&D Engineer
Michael holds a MSc from Paris Diderot University focused on Programming Languages. Previously, he has been working as an intern for the Ocsigen project and as an engineer for the Richelieu project working on static analysis. He joined OCamlPro in December 2014.
Vincent Laviron
Junior R&D Engineer
Vincent holds a MSc from ENS Ulm, focused on static analysis by abstract interpretation. He then spent several years working on static analysis of functional languages, before joining OCamlPro in June 2015 to work on SecurOCaml.

Software Development

OCamlPro can develop software for you !

Demanding Software

OCamlPro developers have a strong experience of software development. They can develop demanding software in a short time, involving state of the art algorithms.

For speed of development and reliability, developments are done in OCaml, and then integrated with other software in any language (C, C++, Python, Java, etc.).

OCaml Software Integration

OCamlPro has a long experience in writing bridges between OCaml and other languages and systems. OCamlPro can help you integrate your OCaml software with any external library, framework or database.

OCaml Tools

OCamlPro is involved in the development of the OCaml compiler and its distribution, with several members of the core team in the staff. OCamlPro has also developed many tools for OCaml developers (ocp-indent, opam, etc.).

OCamlPro can improve the OCaml compiler and other tools to better fit your development needs.

Web Applications

OCamlPro has developed several web applications, such as Try-OCaml, using the js_of_ocaml compiler from OCaml to Javascript.

Such applications are easy to extend and maintain, fully independant from web servers, portable to all mainstream browsers, and offer close to desktop user experience.


Training & Courses

OCaml Development

This course has been designed by the OCamlPro team to enable developers to build upon their experience of other programming languages, such as C, C++, Python, C# or Java, to program confidently in OCaml. This covers all the main aspects of the OCaml language and tools and interleaves theory and practice. Depending on the duration and the customer needs, we can focus more on specific topics and design suitable learning projects.

OCaml Expert

OCamlPro offers OCaml courses at all levels world-wide. Courses are adapted to software developers or test and support engineers. We can customize and run any of our regular courses for you at your offices.

OCaml Code Optimization

This training has been designed by the OCaml team to focus specifically on writting the most efficient code for demanding applications. Participants will benefit from the direct involvement of the OCaml team in the developement of OCaml compilers.

Mastering OPAM

The OPAM source package manager has reached an exceptional popularity in the OCaml world. It can now be seen as the easiest way to install OCaml and its development environment on any computer. But did you know that OPAM was also designed to integrate nicely in a professional could boost your development productivity too ?

Need more info?

Contact us at contact@ocamlpro.com.

We'll get back to you and answer all the questions you have about how our Software Development expertise can benefit to your team.

Research And Development

Industrial Research

FUI Richelieu

In this collaborative two-year project funded, OCamlPro is developing static analyses and partial typing for the Scilab language. These analyses will be used to develop style-checking tools, such as Scilint, and a JIT compiler for Scilab. OCamlPro's work is partially funded by the Conseil Général de l'Essonne.


In this collaborative three-year project, OCamlPro is developing a DSL to design responsive websites. It is also contributing to the design of MOOC Platforms, including the OCaml MOOC. OCamlPro's work is partially funded by BPI France

FUI SecurOCaml

In this collaborative three-year project, OCamlPro is building an environment for the development of security applications in OCaml, in particular auditing tools and static analysers, such as an uncaught-exception detector. OCamlPro's work is partially funded by the Conseil Général de l'Essonne.

Fundamental Research

ANR Bware

In this collaborative three-year project funded by the French state, OCamlPro is improving the automatic theorem provers used by Atelier B, especially the Alt-Ergo SMT solver.

ANR Soprano

In this collaborative four-year project funded by the French state, OCamlPro is improving Alt-Ergo in order to address verification of floating point computations.

ANR Vocal

In this collaborative four-year project funded by the French state, OCamlPro is developing an OCaml library of formally proved modules, to be used in static analyzers and theorem provers.

Past Projects


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 language.

Need more info?

Contact us at contact@ocamlpro.com.

We'll get back to you and answer all the questions you have about how our Software Development expertise can benefit to your team.


TypeRex-Pro is a simple annual subscription for OCaml professionnal developers to get direct access to OCamlPro's expertise, support and additional ressources, with no long-term commitment nor lock-in.

Develop in the Best Environment

To develop the best software, it is important to be in the best environment, surrounded by experts of all the technologies you are using. That's what the TypeRex-Pro subscription provides: direct access to the knowledge and ressources of OCamlPro's experts. You won't find them often on OCaml mailing-lists, they are too busy developing new tools and libraries, but for TypeRex-Pro, they committed themselves to reply to your questions within one day!

OCamlPro's experience is broad: they have written in OCaml highly-scalable distributed software, code and data analyzers, web and mobile applications, among other domain specific applications, in many different fields and environments.

You will also join our mailing-list for professional OCaml developers, to share your experience and benefit from other's professional expertise in writing and deploying OCaml software.

Support the OCaml Open-Source Ecosystem

OCamlPro is investing a lot of time in the development of OCaml (we have members of the core team among us, and submit many patches for inclusion every year), open-source tools for OCaml (OPAM, TypeRex, etc.) and online tools to learn OCaml (Try-OCaml, Cheat Sheets, etc.).

The TypeRex-Pro program is one of the best ways to fund all these developments: you benefit from our support, and the community benefits from our developments !

Developer Team Enterprise
TypeRex Tools
(OPAM, ocp-indent, etc.)
TypeRex Libraries
(ocplib-endian, etc.)
Technical Support
(OCamlPro's experts)
4h 20h unlimited
OCamlPro Open-Source Supporter
Dev. Priority
(bug fixes, features)
Software Preview
(alpha releases)
Multiple Registered Accounts
Open-Source Roadmap
(new tools/libs)
Price/year Free 1 000 € 5 000 € starting at 15 000 €

Contact us

To find out more what our services can do for your project, please contact an OCamlPro representative at sales@ocamlpro.com.


TypeRex is a set of open-source software, tools (OPAM, ocp-indent, ocp-build, etc.) and libraries (ocplib-endian, etc.), that are developed and maintained by OCamlPro. With TypeRex Pro, our experts can help you to integrate all this software in your development environment, and to understand their advanced, sometimes not-yet-documented, features.

Technical Support

This is the heart of TypeRex-Pro: get direct access to the programmers who are developing and maintaining the tools and libraries that you are using, OCaml, OPAM, TypeRex, etc. They can help you better than anybody to boost the productivity of your team.

You will also get access to a knowledge base, containing the public questions of other TypeRex-Pro members, and the documented replies of OCamlPro's experts.

OCamlPro Open-Source Supporter

Your name and logo will be listed as part of the OCamlPro Open-Source supporters. It is both a reward for funding OCaml Open-Source Ecosystem, and a way to make your presence in the OCaml community visible. You will also get access to the mailing-list of our supporters, a selective club of experts in OCaml !

Priority in Developments

With TypeRex-Pro, you can warn us that you submitted a bug report or a feature request on either OCaml's bug tracker, or the bug tracker of one of our open-source software, so that we can focus our developments on a problem that is critical for you.

Software Preview

OCamlPro is developing a lot of OCaml software. We have many small tools and libraries, that are already very useful, but that we have not yet released publicly. With Typerex-Pro, you can get access to our software, you can test it, and help us release the ones that you like the most.

Open-Source Roadmap

With TypeRex-Pro, you can also get the opportunity to discuss with us of which tools and libraries should be developed for OCaml.


Type-driven Programming

One of the greatest strengths of OCaml is its powerful static type system. The OCaml compiler is able to automatically detect a large class of bugs, allowing the developer to fix the problems before releasing a usable software. Programs can be trusted, without losing efficiency. Moreover, the compiler performs a lot of analysis at compile-time, sparing costly checks by the language runtime when the program runs. That is why OCaml programs are highly optimized and can even be faster than equivalent C programs, while being much safer!

Industrial Users

OCaml industrial users include major software companies such as Microsoft or Citrix, financial companies such Jane Street Capital or SimCorp and critical software companies such as CEA or Dassault System.

Industrial users of OCaml have documented the reasons they use OCaml and how they use it. These resources can be useful for companies who consider using OCaml in their production environment.

Online resources about OCaml

Try Online

Discover >>

OCaml Tutorials

Learn >>

OCaml Community Website

Share >>