Our Story
Take a moment to go over our past contributions and achievements over the years. This timeline gives an overview of the key events that made OCamlPro, in a format that is amazing to reconnect with our history and to take stock in our accomplishments. Let’s celebrate this exciting journey!
OCamlPro is founded
OCamlPro is founded to help spread the OCaml language in the industry. Fabrice le Fessant, a researcher and member of the French Inria Institute, founds OCamlPro to boost the development of OCaml and promote it in the industry.
Long-term collaboration with Jane Street
Jane Street supports the diffusion of OCaml, and becomes OCamlPro’s most important client for OCaml tooling.
TypeRex! Open Source Developer Tools
The TypeRex programming studio is a set of open source tools for developing applications in OCaml.
First official release of OPAM 1.0
The OCaml Package Manager is officially released as OPAM 1.0.
Release of the Flambda optimizing compiler
The first Flambda is proposed into OCaml by Pierre Chambart and Mark Shinwell in PR #132 – work funded by Jane Street.
OCaml MOOC Exercise Platform
Paris 7 appoints OCamlPro to implement the exercise autocorrecting platform of the OCaml MOOC on France Université Numérique.
Alt-Ergo 1.30 Release
Alt-Ergo, an automatic prover of mathematical formulas, is released with experimental support for model generation.
Tezos Crowdfunding Platform
OCamlPro successfully implements and delivers Tezos and its crowdfunding platform, complete with the TZscan and Liquidity tools.
OCaml Software Foundation
OCamlPro supports the creation of the OCaml Software Foundation at Inria.
Origin Labs and the Dune Network
The Blockchain team at OCamlPro creates a new company, Origin Labs, to launch and maintain the Dune Network.
Alt-Ergo Users’ Club Growth
MERCE (Mitsubishi Electric) and Why3 join the second annual meeting of the Alt-Ergo Users’ Club to discuss the roadmap for future developments.
A New Era: From OCamlPro to Titagone
Marking a new chapter of innovation, OCamlPro evolves into Titagone, expanding its mission to tackle the next generation of software challenges with a broader technological vision.