OCamlPro
We prototype and develop software solutions in cutting-edge technologies: OCaml, Rust & formal methods.
A Solidity parser in OCaml with Menhir
A Solidity parser in OCaml with Menhir
We are happy to announce the first release of our Solidity parser, written in OCaml using Menhir. This is a joint effort with Origin Labs…
opam 2.1.0 alpha is here!
opam 2.1.0 alpha is here!
We are happy to announce the alpha release of Opam 2.1.0, one year and a half after Opam 2.0.0.
An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
The Garbage Collector probably is OCaml’s greatest unsung hero. Its pragmatic approach allows us to allocate without much fear of…
New version of Try OCaml in beta!
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 new, modern version based upon our work…
Alt-Ergo Users’ Club Annual Meeting
Alt-Ergo Users’ Club Annual Meeting
The second annual meeting of the Alt-Ergo Users’ Club was held in mid-February. Our annual meeting is the perfect place to review each…
2019 at 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 sharing…
A look back on OCaml since 2011
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 with the language and stdlib ones…
OCamlPro’s compiler team work update
OCamlPro’s compiler team work update
The OCaml compiler team at OCamlPro is happy to present some of the work recently done jointly with JaneStreet’s team.