OCamlProinOCamlPro2020 at OCamlProOCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While building…11 min read·Feb 9, 2021----
OCamlPro2020 at OCamlProOCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While building…11 min read·Feb 9, 2021----
OCamlProinOCamlProA Dune Love story: From Liquidity to LoveWriting smart contacts may often be a burdensome task, as you need to learn a new language for each blockchain you target. In the Dune…4 min read·Jun 9, 2020----
OCamlProinOCamlPro[Interview] Sylvain Conchon joins OCamlProOn April 2020, Sylvain Conchon joined us as Chief Scientific Officer on Formal Methods.8 min read·Jun 5, 2020----
OCamlProinOCamlProA Solidity parser in OCaml with MenhirWe are happy to announce the first release of our Solidity parser, written in OCaml using Menhir. This is a joint effort with Origin Labs…4 min read·May 19, 2020----
OCamlProopam 2.0.7 releaseWe are pleased to announce the minor release of opam 2.0.7.2 min read·Apr 21, 2020----
OCamlProinOCamlProopam 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.4 min read·Apr 21, 2020----
OCamlProinOCamlProAn in-depth Look at OCaml’s new “Best-fit” Garbage Collector StrategyThe Garbage Collector probably is OCaml’s greatest unsung hero. Its pragmatic approach allows us to allocate without much fear of…8 min read·Mar 23, 2020----
OCamlProinOCamlProNew 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…2 min read·Mar 16, 2020----
OCamlProinOCamlProAlt-Ergo Users’ Club Annual MeetingThe second annual meeting of the Alt-Ergo Users’ Club was held in mid-February. Our annual meeting is the perfect place to review each…2 min read·Mar 3, 2020----