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!

2011

  • April 1, 2011
  • 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.
  • May 1, 2011
  • Long-term collaboration with Jane Street on OCaml tooling
  • Jane Street supports the diffusion of OCaml, and becomes OCamlPro's most important client.
  • user-image
  • February 28, 2012
  • OCamlPro contributes Open Source developer tools under the codename TypeRex!
  • The TypeRex programming studio is a set of open source tools for developing applications in OCaml.
  • user-image
  • March 1, 2013
  • First official release of OPAM 1.0
  • The OCaml Package Manager is officially released as OPAM 1.0.
  • December 1, 2014
  • 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.
  • user-image
  • July 1, 2015
  • Paris 7 appoints OCamlPro to implement the exercise platform of the OCaml MOOC on France Université Numérique
  • OCamlPro implements the first version of the exercise autocorrecting platform of the OCaml MOOC on FUN for Paris 7, based on TryOCaml, integrates to the OpenEDX/FUN and designs some of the exercices of the course, in collaboration with Roberto Di Cosmo and Yann-Régis Gianas (Irill).
  • user-image
  • November 1, 2016
  • Alt-Ergo 1.30 release with experimental support for model generation
  • Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and Caveat.
  • user-image
  • 2017
  • OCamlPro successfully implements the Tezos crowdfunding platform
  • OCamlPro delivers Tezos and its crowdfunding platform, complete with the TZscan and Liquidity tools.
  • user-image
  • April 1, 2018
  • OCamlPro supports Inria's Ocaml Software Foundation creation
  • The OCaml Software Foundation is born at Inria!
  • user-image
  • May 27, 2019
  • New Company Origin Labs is created to launch and maintain the Dune Network
  • The Blockchain team at OCamlPro look for new opportunities for their expertise and create a new company.
  • user-image
  • February 14, 2020
  • Alt-Ergo Users' Club: MERCE (Mitsubishi Electric Research Centre in Europe) and Why3 join the Club
  • The second annual meeting of the Alt-Ergo Users' Club was held in mid-February. These meetings are the perfect place to review each partner's needs regarding Alt-Ergo, discuss the roadmap for future Alt-Ergo developments and enhancements.


You can create your own timeline here.

Services we have been delivering since 2012: