Homepage
Open in app
Sign in
Get started
General
Formal Methods
OCaml
Releases
About
Website
OCaml
2020 at 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 building…
OCamlPro
Feb 9, 2021
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…
OCamlPro
May 19, 2020
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…
OCamlPro
Mar 16, 2020
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
Sep 20, 2019
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.
OCamlPro
Aug 29, 2019
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.
OCamlPro
Apr 21, 2020
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…
OCamlPro
Feb 4, 2020
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…
OCamlPro
Mar 23, 2020
2017 at OCamlPro
2017 at OCamlPro
Since 2017 is just over, now is probably the best time to review what happened during this hectic year at OCaml Pro… Here are our big 2017…
OCamlPro
Jan 15, 2018
ASM.OCaml
ASM.OCaml
As you may know, there is a subset of Javascript that compiles efficiently to assembly used as backend of various compilers including a C…
OCamlPro
Apr 1, 2016
About OCamlPro
Latest Stories
Archive
About Medium
Terms
Privacy
Teams