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, […]
Tag: Compiler
Categories
OCamlPro Highlights: May-June 2014
Here is a short report on some of our public activities in May and June 2014. Towards OPAM 1.2 After a lot of discussions and work on OPAM itself, we are now getting to a clear workflow for OCaml developpers and packagers: the preliminary document for OPAM 1.2 is available here. The idea is that […]
Categories
News from May and June
It is time to give a brief summary of our recent activities. As usual, our contributions were focused on three main objectives: (i) make the OCaml compiler faster and easier to use; (ii) make the OCaml developers more efficient by releasing new development tools and improving editor supports; and (iii) organize and participate to community […]
Categories
OCamlPro’s Contributions to OCaml 4.00.0
OCaml 4.00.0 has been released on July 27, 2012. For the first time, the new OCaml includes some of the work we have been doing during the last year. In this article, I will present our main contributions, mostly funded by Jane Street and Lexifi. Binary Annotations for Advanced Development Tools OCaml 4.00.0 has a […]
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