Harnessing Cutting-Edge Technologies

State-of-the-art languages for modern solutions

We have years of experience on the research and development of programming languages, formal methods techniques and tools as well as their application in industrial settings. Let’s achieve bold projects together!

For industrial partners who face challenges

For R&D labs who need collaboration

For developers to reach mastery

Let's discuss your projects

Prototyping software solutions for you

We design and implement reliable high-value solutions for our clients. As a challenge-driven team, we can find with you the most elegant and efficient solutions to optimize your products or create new ones. OCamlPro has a record of outstanding technological achievements and success stories, in areas from web tools to distributed frameworks, DSLs and formal methods. We also built a strong blockchain expertise since 2014 on the Tezos and Dune Network blockchains. Developments are done in OCaml or Rust, and then integrated with other software in any language (C, C++, Python, Java, etc.). Our applications are extensible and maintainable, fully independent from web servers, portable to all mainstream browsers. We cater to very specific needs. For example, we can translate a “black box” application from a programming language (Go, Coq, Cobol…) to a comprehensive language for your current team. Whether an ex-employee or a contractor coded everything in a language your current team hasn’t mastered, or it’s running on a legacy language, we can provide assistance.


A highly scalable package manager

Learn OCaml

Exercise platform for teachers and learners around the world aiming to discover OCaml


An SMT solver for software verification


The Dune network explorer


A smart-contract language for the Dune Network blockchain


A blockchain with integrated governance

Solidity parser

A Solidity Parser in OCaml with Menhir


The Tezos network explorer

Other achievements in Formal Methods and DSLs/Programming Language Expertise

- [tzscan](https://tzscan.io/), the Tezos network explorer - [Liquidity](https://www.liquidity-lang.org/), a smart-contract language for the Tezos blockchain - [OPTAL](https://github.com/OcamlPro/optal), Language for Linear Optimization - [memprof](http://memprof.typerex.org/), non-intrusive memory profiler for OCaml applications - [Techelson](https://ocamlpro.github.io/techelson/), a test execution engine for Michelson - [TryOCaml](https://try.ocamlpro.com/), Online top-level for beginners

Project with Mitsubishi Electric R&D Centre Europe

Starting from a specification provided by MERCE, we designed and implemented a formal verification analysis tool to check a particular class of safety properties over C programs. The tool was implemented as a Frama-C plug-in and came with fully fledged user and formal documentation.

“MERCE was very satisfied of OCamlPro. The project was technically challenging and time constrained, nonetheless OCamlPro met the requirements in time while producing a code of excellent quality.”

You're in good company

Sharing our expertise with you: Consulting & Training

Our developments are harnessing our expertise on formal methods and the most advanced features of OCaml & Rust. We will help you design robust architectures, choose open-source components, optimize your code and solve performance, memory or compiler issues. We also support companies that need to get up to speed, with on-demand and customized training designed by our experts.

Open Source tooling to armour industrial developers

OCamlPro promotes the use of the OCaml functional programming language in the industry, as a token of development productivity and software quality. We develop and maintain open source tooling for OCaml, such as Opam, [TryOCaml](https://try.ocamlpro.com/), [ocp-indent](https://github.com/OCamlPro/ocp-indent/), [ocp-index](https://github.com/OCamlPro/ocp-index), and ocp-browser. We contribute to the core-development of OCaml, notably with our work on the Flambda optimizer branch. We provided a set of tools to foster OCaml adoption, under the legacy TypeRex codename. From the very beginning, we aimed both simplicity of access and perenity.


Online top-level for beginners


OCaml Programming Studio

Discover our timeline

Months and months of lockdown have allowed us to take the time to look back on events of the past years and to advertise our strong ties with academic and industrial partners, and our achievements through an exhaustive Timeline of OCamlPro’s story of which you can find a small excerpt below.

You can also create your own timeline here.