Open in app

Sign In

Write

Sign In

OCamlPro
OCamlPro

9 Followers

Home

About

Published in OCamlPro

·Feb 9, 2021

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 a team of highly-skilled engineers, we navigated through our expertise domains, delivering works on the OCaml language and tooling, training companies to the use of strongly-typed languages…

Ocaml

11 min read

2020 at OCamlPro
2020 at OCamlPro
Ocaml

11 min read


Feb 9, 2021

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 a team of highly-skilled engineers, we navigated through our expertise domains, delivering works on the OCaml language and tooling, training companies to the use of strongly-typed languages…

Ocaml

11 min read

2020 at OCamlPro
2020 at OCamlPro
Ocaml

11 min read


Published in OCamlPro

·Jun 9, 2020

A Dune Love story: From Liquidity to Love

Writing smart contacts may often be a burdensome task, as you need to learn a new language for each blockchain you target. In the Dune Network team, we are willing to provide as many possibilities as possible for developers to thrive in an accessible and secure framework. There are two…

Blockchain

4 min read

A Dune Love story: From Liquidity to Love
A Dune Love story: From Liquidity to Love
Blockchain

4 min read


Published in OCamlPro

·Jun 5, 2020

[Interview] Sylvain Conchon joins OCamlPro

On April 2020, Sylvain Conchon joined the OCamlPro team as our Chief Scientific Officer on Formal Methods. Sylvain is a professor at University Paris-Saclay, he has also been teaching OCaml in universities for about 20 years. He is the co-author of Apprendre à programmer avec OCaml with Jean-Christophe Filliatre, a…

8 min read

[Interview] Sylvain Conchon joins OCamlPro
[Interview] Sylvain Conchon joins OCamlPro

8 min read


Published in OCamlPro

·May 19, 2020

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, the company dedicated to blockchain challenges, to implement a full interpreter for the Solidity language directly in a blockchain. Solidity is probably the most popular…

Blockchain

4 min read

A Solidity parser in OCaml with Menhir
A Solidity parser in OCaml with Menhir
Blockchain

4 min read


Apr 21, 2020

opam 2.0.7 release

We are pleased to announce the minor release of opam 2.0.7. This new version contains backported small fixes: Note: To homogenise macOS name on system detection, we decided to keep macos, and convert darwin to macos in opam. For the moment, in order to avoid breaking jobs & CIs, we…

Opam

2 min read

opam 2.0.7 release
opam 2.0.7 release
Opam

2 min read


Published in OCamlPro

·Apr 21, 2020

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. — Many new features made it in (see the complete changelog or release note for the details), but here are a few highlights of this release. The two following features have been around for a while as plugins and are now completely integrated in the core of opam. …

Opam

4 min read

opam 2.1.0 alpha is here!
opam 2.1.0 alpha is here!
Opam

4 min read


Published in OCamlPro

·Mar 23, 2020

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 efficiency loss. …

Ocaml

8 min read

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
Ocaml

8 min read


Published in OCamlPro

·Mar 16, 2020

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 on Learn-OCaml. → Try it here ← The new interface provides an editor panel besides the familiar top-level, error and warning positions highlighting, the latest…

Ocaml

2 min read

New version of Try OCaml in beta!
New version of Try OCaml in beta!
Ocaml

2 min read


Published in OCamlPro

·Mar 3, 2020

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 partner’s needs regarding Alt-Ergo. This year, we had the pleasure of receiving our partners to discuss the roadmap for future Alt-Ergo developments and enhancements. Alt-Ergo is an…

Formal Methods

2 min read

Alt-Ergo Users’ Club Annual Meeting
Alt-Ergo Users’ Club Annual Meeting
Formal Methods

2 min read

OCamlPro

OCamlPro

9 Followers

Read our articles at medium.com/ocamlpro

Following
  • Maxime Nialiv

    Maxime Nialiv

  • Fabrice Le Fessant

    Fabrice Le Fessant

  • Muriel SHAN SEI FAN

    Muriel SHAN SEI FAN

Help

Status

Writers

Blog

Careers

Privacy

Terms

About

Text to speech