Related Articles
2024
2023
- Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World
- The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!
- 2022 at OCamlPro
- Autofonce, GNU Autotests Revisited
- Sub-single-instruction Peano to machine integer conversion
- Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23
- Release of ocplib-simplex, version 0.5
- The Growth of the OCaml Distribution
2022
2021
- Verification for Dummies: SMT and Induction
- Generating static and portable executables with OCaml
- opam 2.1.0 is released!
- opam 2.0.9 release
- Detecting identity functions in Flambda
- Détection de fonctions d’identité dans Flambda
- opam 2.1.0~rc2 released
- Tutorial: Format Module of OCaml
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021
- New Try-Alt-Ergo
- opam 2.0.8 release
- 2020 at OCamlPro
- Release of Alt-Ergo 2.4.0
- opam 2.1.0~beta4 released
2020
- Memthol: exploring program profiling
- Rehabilitating Packs using Functors and Recursivity, part 2.
- Rehabilitating Packs using Functors and Recursivity, part 1.
- A Dune Love story: From Liquidity to Love
- [Interview] Sylvain Conchon joins OCamlPro
- [Interview] Sylvain Conchon rejoint OCamlPro
- Tutoriel Format
- A Solidity parser in OCaml with Menhir
- opam 2.1.0 alpha is here!
- opam 2.0.7 release
- Le nouveau GC d’OCaml 4.10 : premier aperçu de la stratégie best-fit
- An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
- New version of TryOCaml in beta!
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo
- 2019 chez OCamlPro
- 2019 at OCamlPro
- opam 2.0.6 release
- The Opam 2.0 cheatsheet, with a new theme!
2019
- Des nouvelles de la part de l'équipe compilateur d'OCamlPro
- Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019
- OCaml expert and beginner training by OCamlPro (in French): Nov. 5-6 & 7-8
- A look back on OCaml since 2011
- Mise à jour des Cheat Sheets : OCaml Language et OCaml Standard Library
- Updated Cheat Sheets: OCaml Language and OCaml Standard Library
- OCamlPro’s compiler team work update
- Release d’opam 2.0.5
- opam 2.0.5 release
- Résultats de la SMT-Comp 2019 pour Alt-Ergo
- The Alt-Ergo SMT Solver’s results in the SMT-COMP 2019
- Blockchains @ OCamlPro: an Overview
- opam 2.0.4 release
- opam 2.0 tips
- Release : Liquidity version 1.0 !
- Announcing Liquidity version 1.0
- Release de Techelson, moteur de tests pour Michelson et Liquidity
- Techelson, a test execution engine for Michelson
- Signing Data for Smart Contracts
- What's new for Alt-Ergo in 2018? Here is a recap!
- Optimisation du stockage dans Tezos : une branche de test sur Gitlab
- Improving Tezos Storage : Gitlab branch for testers
- Tezos et OCamlPro
- Improving Tezos Storage : update and beta-testing
- Tezos and OCamlPro
- opam 2.0.3 release
- Improving Tezos Storage
2018
- opam 2.0.2 release
- An Introduction to Tezos RPCs: Signing Operations
- Introduction aux RPCs dans Tezos : exemple d’un portefeuille (wallet) simple
- An Introduction to Tezos RPCs: a Basic Wallet
- First Open-Source Release of TzScan
- Liquidity Tutorial: A Game with an Oracle for Random Numbers
- opam 2.0.1 is out!
- OCamlPro’s TzScan grant proposal accepted by the Tezos Foundation – joint press release
- opam 2.0.0 release and repository upgrade
- Last stretch! Repository upgrade and opam 2.0.0 roadmap
- opam 2.0.0 RC4-final is out!
- OCamlPro’s Tezos block explorer TzScan’s last updates
- opam 2.0.0 Release Candidate 3 is out!
- opam 2.0.0 Release Candidate 2 is out!
- Release of Alt-Ergo 2.2.0
- Taskforce on the Tezos Protocol, and TzScan evolution
- OCaml JTRT
- Release of Alt-Ergo 2.1.0
- New updates on TzScan
- Release of a first version of TzScan, a Tezos block explorer
- OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language
- opam 2.0.0 Release Candidate 1 is out!
- 2017 at OCamlPro
2017
2016
2015
2014
- OPAM 1.2 and Travis CI
- OPAM 1.2.0 Released
- OPAM 1.2: Repository Pinning
- OPAM 1.2.0 public beta released
- OCamlPro Highlights: May-June 2014
- Try Alt-Ergo in Your Browser
- OCamlPro Highlights: April 2014
- The Generic Syntax Extension
- OCamlPro Highlights: Feb 2014
- OCamlPro Highlights: Dec 2013 & Jan 2014
- OPAM 1.1.1 released
2013
- OCamlPro Highlights: November 2013
- OPAM 1.1.0 released
- OCamlPro Highlights, Sept-Oct 2013
- OPAM 1.1.0 release candidate out
- Alt-Ergo @ OCamlPro: Two months later
- OPAM 1.1.0 beta released
- OCamlPro Highlights, August 2013
- News from July
- Better Inlining: Progress Report
- News from May and June
- Optimisations you shouldn’t do
- April Monthly Report
- wxOCaml, camlidl and Class Modules
- An Indentation Engine for OCaml
- OPAM 1.0.0 released
- An Overview of our Current Activities
- Beta Release of OPAM
OCamlPro's Blog
Welcome, dear reader, to a new opam blog post! Today we take an additional step down the metaphorical rabbit hole with opam pin, the easiest way to catch a ride on the development version of a package in opam. We are aware that our readers are eager to see these blog posts venture on the developer s... (Read more)
In this first post of the Flambda2 Snippets, we dive into the powerful CPS-based internal representation used within the Flambda2 optimizer, which was one of the main motivation to move on from the former Flambda optimizer. Credit goes to Andrew Kennedy's paper Compiling with Continuations, Continue... (Read more)
At OCamlPro, the main ongoing task on the OCaml Compiler is to improve the high-level optimisation. This is something that we have been doing for quite some time now. Indeed, we are the authors behind the Flambda optimisation pass and today we would like to introduce the series of blog snippets show... (Read more)
Monitoring Edge Technical Endeavours As a company specialized in strongly-typed programming languages with strong static guarantees, OCamlPro closely monitors the ongoing trend of bringing more and more of these elements into mainstream programming languages. Rust is a relatively recent example of t... (Read more)
Welcome, dear reader, to a new series of blog posts! This series will be about everything opam. Each article will cover a specific aspect of the package manager, and make sure to dissipate any confusion or misunderstandings on this keystone of the OCaml distribution! Each technical article will be t... (Read more)
From the very start OCamlPro has been trying to help ease the learning of the OCaml language. OCaml has been used around the world to teach about a variety of Computer Science domains, from algorithmic to calculus, or functional programming and compilation. The language had been long taught in Acade... (Read more)
We are happy to announce a new release of Alt‑Ergo (version 2.5.1). Alt-Ergo is a cutting-edge automated prover designed specifically for mathematical formulas, with a primary focus on advancing program verification. This powerful tool is instrumental in the arsenal of static analysis solutions su... (Read more)
For 12 years now, OCamlPro has been empowering a large range of customers, allowing them to harness state-of-the-art technologies and languages like OCaml and Rust. Our not-so-small-anymore company steadily grew into a team of highly-skilled and passionate engineers, experts in Computer Science, fro... (Read more)
Since 2022, OCamlPro has been contributing to GnuCOBOL, the only fully open-source compiler for the COBOL language. To speed-up our contributions to the compiler, we developed a new tool, autofonce, to be able to easily run and modify the testsuite of the compiler, originally written as a GNU Autoco... (Read more)
It is a rainy end of January in Paris, morale is getting soggier by the day, and the bulk of our light exposure needs are now fulfilled by our computer screens as the sun seems to have definitively disappeared behind a continuous stream of low-hanging clouds. But, all is not lost, the warm rays of c... (Read more)
Related Articles
2024
2023
- Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World
- The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!
- 2022 at OCamlPro
- Autofonce, GNU Autotests Revisited
- Sub-single-instruction Peano to machine integer conversion
- Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23
- Release of ocplib-simplex, version 0.5
- The Growth of the OCaml Distribution
2022
2021
- Verification for Dummies: SMT and Induction
- Generating static and portable executables with OCaml
- opam 2.1.0 is released!
- opam 2.0.9 release
- Detecting identity functions in Flambda
- Détection de fonctions d’identité dans Flambda
- opam 2.1.0~rc2 released
- Tutorial: Format Module of OCaml
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021
- New Try-Alt-Ergo
- opam 2.0.8 release
- 2020 at OCamlPro
- Release of Alt-Ergo 2.4.0
- opam 2.1.0~beta4 released
2020
- Memthol: exploring program profiling
- Rehabilitating Packs using Functors and Recursivity, part 2.
- Rehabilitating Packs using Functors and Recursivity, part 1.
- A Dune Love story: From Liquidity to Love
- [Interview] Sylvain Conchon joins OCamlPro
- [Interview] Sylvain Conchon rejoint OCamlPro
- Tutoriel Format
- A Solidity parser in OCaml with Menhir
- opam 2.1.0 alpha is here!
- opam 2.0.7 release
- Le nouveau GC d’OCaml 4.10 : premier aperçu de la stratégie best-fit
- An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
- New version of TryOCaml in beta!
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo
- 2019 chez OCamlPro
- 2019 at OCamlPro
- opam 2.0.6 release
- The Opam 2.0 cheatsheet, with a new theme!
2019
- Des nouvelles de la part de l'équipe compilateur d'OCamlPro
- Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019
- OCaml expert and beginner training by OCamlPro (in French): Nov. 5-6 & 7-8
- A look back on OCaml since 2011
- Mise à jour des Cheat Sheets : OCaml Language et OCaml Standard Library
- Updated Cheat Sheets: OCaml Language and OCaml Standard Library
- OCamlPro’s compiler team work update
- Release d’opam 2.0.5
- opam 2.0.5 release
- Résultats de la SMT-Comp 2019 pour Alt-Ergo
- The Alt-Ergo SMT Solver’s results in the SMT-COMP 2019
- Blockchains @ OCamlPro: an Overview
- opam 2.0.4 release
- opam 2.0 tips
- Release : Liquidity version 1.0 !
- Announcing Liquidity version 1.0
- Release de Techelson, moteur de tests pour Michelson et Liquidity
- Techelson, a test execution engine for Michelson
- Signing Data for Smart Contracts
- What's new for Alt-Ergo in 2018? Here is a recap!
- Optimisation du stockage dans Tezos : une branche de test sur Gitlab
- Improving Tezos Storage : Gitlab branch for testers
- Tezos et OCamlPro
- Improving Tezos Storage : update and beta-testing
- Tezos and OCamlPro
- opam 2.0.3 release
- Improving Tezos Storage
2018
- opam 2.0.2 release
- An Introduction to Tezos RPCs: Signing Operations
- Introduction aux RPCs dans Tezos : exemple d’un portefeuille (wallet) simple
- An Introduction to Tezos RPCs: a Basic Wallet
- First Open-Source Release of TzScan
- Liquidity Tutorial: A Game with an Oracle for Random Numbers
- opam 2.0.1 is out!
- OCamlPro’s TzScan grant proposal accepted by the Tezos Foundation – joint press release
- opam 2.0.0 release and repository upgrade
- Last stretch! Repository upgrade and opam 2.0.0 roadmap
- opam 2.0.0 RC4-final is out!
- OCamlPro’s Tezos block explorer TzScan’s last updates
- opam 2.0.0 Release Candidate 3 is out!
- opam 2.0.0 Release Candidate 2 is out!
- Release of Alt-Ergo 2.2.0
- Taskforce on the Tezos Protocol, and TzScan evolution
- OCaml JTRT
- Release of Alt-Ergo 2.1.0
- New updates on TzScan
- Release of a first version of TzScan, a Tezos block explorer
- OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language
- opam 2.0.0 Release Candidate 1 is out!
- 2017 at OCamlPro
2017
2016
2015
2014
- OPAM 1.2 and Travis CI
- OPAM 1.2.0 Released
- OPAM 1.2: Repository Pinning
- OPAM 1.2.0 public beta released
- OCamlPro Highlights: May-June 2014
- Try Alt-Ergo in Your Browser
- OCamlPro Highlights: April 2014
- The Generic Syntax Extension
- OCamlPro Highlights: Feb 2014
- OCamlPro Highlights: Dec 2013 & Jan 2014
- OPAM 1.1.1 released
2013
- OCamlPro Highlights: November 2013
- OPAM 1.1.0 released
- OCamlPro Highlights, Sept-Oct 2013
- OPAM 1.1.0 release candidate out
- Alt-Ergo @ OCamlPro: Two months later
- OPAM 1.1.0 beta released
- OCamlPro Highlights, August 2013
- News from July
- Better Inlining: Progress Report
- News from May and June
- Optimisations you shouldn’t do
- April Monthly Report
- wxOCaml, camlidl and Class Modules
- An Indentation Engine for OCaml
- OPAM 1.0.0 released
- An Overview of our Current Activities
- Beta Release of OPAM
Most Recent Articles
2024
2023
- Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World
- The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!
- 2022 at OCamlPro
- Autofonce, GNU Autotests Revisited
- Sub-single-instruction Peano to machine integer conversion
- Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23
- Release of ocplib-simplex, version 0.5
- The Growth of the OCaml Distribution
2022