Published inOCamlPro2020 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
2020 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
Published inOCamlProA 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
Published inOCamlPro[Interview] Sylvain Conchon joins OCamlProOn April 2020, Sylvain Conchon joined us as Chief Scientific Officer on Formal Methods.Jun 5, 2020Jun 5, 2020
Published inOCamlProA 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
opam 2.0.7 releaseWe are pleased to announce the minor release of opam 2.0.7.Apr 21, 2020Apr 21, 2020
Published inOCamlProopam 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
Published inOCamlProAn 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
Published inOCamlProNew 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
Published inOCamlProAlt-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