Open in app
Sign inGet started
Go to OCamlPro
About
OCamlPro
We prototype and develop software solutions in cutting-edge technologies: OCaml, Rust & formal methods.
Note from the editor

We prototype and develop software solutions in cutting-edge technologies: OCaml, Rust & formal methods.

Editors
Go to the profile of OCamlPro
OCamlPro
Read our articles at medium.com/ocamlpro
Go to the profile of Fabrice Le Fessant
Fabrice Le Fessant
Former researcher at INRIA, Fabrice founded OCamlPro, now CEO at Origin Labs and active dev of the Dune Network blockchain platform.
Go to the profile of Muriel SHAN SEI FAN
Muriel SHAN SEI FAN
OCamlPro
Writers
Go to the profile of Fabrice Le Fessant
Fabrice Le Fessant
Go to the profile of Steven de Oliveira
Steven de Oliveira
Go to the profile of David Declerck
David Declerck