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…Feb 9, 2021Feb 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…Feb 9, 2021Feb 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…Jun 9, 2020Jun 9, 2020
OCamlProinOCamlPro[Interview] Sylvain Conchon joins OCamlProOn April 2020, Sylvain Conchon joined us as Chief Scientific Officer on Formal Methods.Jun 5, 2020Jun 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…May 19, 2020May 19, 2020
OCamlProopam 2.0.7 releaseWe are pleased to announce the minor release of opam 2.0.7.Apr 21, 2020Apr 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.Apr 21, 2020Apr 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…Mar 23, 2020Mar 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…Mar 16, 2020Mar 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…Mar 3, 2020Mar 3, 2020