Sign in Get started

Tagged in

Ocaml

OCamlPro

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

More information

Followers

27

Elsewhere

More, on Medium

Ocaml

OCamlPro in OCamlPro

2020 at OCamlPro

OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While…

OCamlPro in OCamlPro

A Solidity parser in OCaml with Menhir

We are happy to announce the first release of our Solidity parser, written in OCaml using…

OCamlPro in OCamlPro

New version of Try OCaml in beta!

We are happy to announce that our venerable “Try Ocaml” service is being retired and replaced by a…

OCamlPro in OCamlPro

A look back on OCaml since 2011

As you already know if you’ve read our last blogpost, we have updated our OCaml cheat sheets starting…

OCamlPro in OCamlPro

OCamlPro’s compiler team work update

The OCaml compiler team at OCamlPro is happy to present some of the work recently done jointly…

OCamlPro in OCamlPro

opam 2.1.0 alpha is here!

We are happy to announce the alpha release of Opam 2.1.0, one year and a…

OCamlPro in OCamlPro

2019 at OCamlPro

OCamlPro was created to help OCaml and formal methods spread into the industry. We grew from 1 to 21 engineers, still strongly…

OCamlPro in OCamlPro

An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy