By OCamlPro & Origin Labs 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 […]
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 Filliâtre, a book for students in French […]
This article is cross-posted on Origin Labs’ Dune Network blog. 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 […]
Categories
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: – Escape Windows paths on manpages [#4129 @AltGr @rjbou]– Fix opam installer opam file [#4058 @rjbou]– Fix various warnings [#4132 @rjbou @AltGr – fix #4100]– Fix dune 2.5.0 promote-install-files duplication [#4132 @rjbou] Note: To homogenise macOS name […]
Categories
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. Release highlights The two following features have been around for a […]
The Garbage Collector probably is OCaml’s greatest unsung hero. Its pragmatic approach allows us to allocate without much fear of efficiency loss. In a way, the fact that most OCaml hackers know little about it is a good sign: you want a runtime to gracefully do its job without having to mind it all the […]
Categories
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 release (4.10.0), local storage […]
Categories
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 automatic mathematical formula checker, jointly […]
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, […]
Categories
opam 2.0.6 release
We are pleased to announce the minor release of opam 2.0.6. This new version contains some small backported fixes and build update: Don’t remove git cache objects that may be used [#3831 @AltGr] Don’t include .gitattributes in index.tar.gz [#3873 @dra27] Update FAQ uri [#3941 @dra27] Lock: add warning in case of missing locked file [#3939 […]
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