OCamlPro was created to help OCaml and formal methods spread into the industry. We grew from 1 to 21 engineers, still strongly sharing this ambitious goal! The year 2019 at OCamlPro was very lively, with fantastic accomplishments all along! Let’s quickly review the past years’ works, first in the world of OCaml (flambda2 & compiler optimisations, […]
Author: Muriel Shan Sei Fan
In our endeavour to encourage professional programmers to understand and use OCaml, OCamlPro will be giving two training sessions, in French, in our Paris offices: OCaml Beginner course for professional programmers (5-6 Nov) OCaml Expertise (7-8 Nov). The “Expert” OCaml course is for already experienced OCaml programmers to better understand advanced type system possibilities (objects, […]
Tezos Foundation and OCamlPro joint press release – October 17, 2018 We are pleased to announce that the Tezos Foundation has issued a grant to OCamlPro to support its work on TzScan, a block explorer for the Tezos blockchain that will be made open-source. OCamlPro is a French company and R&D lab, focused on OCaml […]
Categories
2017 at OCamlPro
Since 2017 is just over, now is probably the best time to review what happened during this hectic year at OCamlPro… Here are our big 2017 achievements, in the world of blockchains (the Liquidity smart contract language, Tezos and the Tezos ICO, etc.), of OCaml (with OPAM 2, flambda 2 etc.), and of formal methods […]
RECENT POSTS
- A Dune Love story: From Liquidity to Love
- [Interview] Sylvain Conchon joins OCamlPro
- A Solidity parser in OCaml with Menhir
- opam 2.0.7 release
- opam 2.1.0 alpha is here!
- An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
- New version of Try OCaml in beta!
- Alt-Ergo Users’ Club Annual Meeting
- 2019 at OCamlPro
- opam 2.0.6 release
RECENT COMMENTS
- Muriel Shan Sei Fan - [Interview] Sylvain Conchon joins OCamlPro
- Yannick Moy - [Interview] Sylvain Conchon joins OCamlPro
- [Interview] Sylvain Conchon joins OCamlPro - OCamlPro - An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
- Blockchains @ OCamlPro: an Overview - OCamlPro - Improving Tezos Storage : Gitlab branch for testers
- The Opam 2.0 cheatsheet, with a new theme! – OCamlPro - Updated Cheat Sheets: OCaml Language and OCaml Standard Library
- Better Inlining: Progress Report – OCamlPro - Optimisations you shouldn’t do
- An Indentation Engine for OCaml – OCamlPro - An Overview of our Current Activities
- An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy | Chris Short - An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
- Thomas Blanc - An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
- nbbb - An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy