🕷️ Crawler Inspector

[](https://ocamlpro.com/) - [Home](https://ocamlpro.com/) - [Services](https://ocamlpro.com/blog/) - [Consulting](https://ocamlpro.com/consulting-and-development/) - [Audit](https://ocamlpro.com/certification) - [Trainings](https://training.ocamlpro.com/) - [Operational Research](https://industrie.ocamlpro.com/) - *** - [Rust Language](https://red-iron.eu/) - [OCaml Language](https://ocamlpro.com/ocaml) - [COBOL Language](https://superbol.eu/) - [Products](https://ocamlpro.com/blog/) - [SeaCoral Test Generator](https://titagone.com/tools/seacoral) - [SuperBOL for GnuCOBOL](https://superbol.eu/) - [Alt-Ergo Theorem Prover](https://titagone.com/tools/altergo) - [Sieste](https://titagone.com/tools/sieste) - [References](https://ocamlpro.com/references) - [Open Source](https://ocamlpro.com/software) - [Team](https://ocamlpro.com/blog/) - [Our Team](https://ocamlpro.com/team) - [Our Story](https://ocamlpro.com/history) - [Internships](https://ocamlpro.com/internships) - [Join Us](https://ocamlpro.com/jobs) - [Blog](https://ocamlpro.com/blog) Nos activités commerciales ont déménagé : retrouvez-nous désormais sur [titagone.com](https://titagone.com/). × # OCamlPro's Blog [Home ](https://ocamlpro.com/blog) [](https://ocamlpro.com/blog/feed) [Categories ](https://ocamlpro.com/blog/category) *** ### [Opam 104: Sharing Your Code](https://ocamlpro.com/blog/2026_01_08_opam_104_sharing_your_code)  Authors: [Raja Boujbel](https://ocamlpro.com/blog/authors/raja_boujbel), [Dario Pinto](https://ocamlpro.com/blog/authors/dario_pinto)  Date: 2026-01-08  Category: [Trainings](https://ocamlpro.com/blog/category/trainings)  Tags: [tutorial](https://ocamlpro.com/blog/tag/tutorial), [on-boarding](https://ocamlpro.com/blog/tag/onboarding), [opam](https://ocamlpro.com/blog/tag/opam), [beginner](https://ocamlpro.com/blog/tag/beginner), [opam10x](https://ocamlpro.com/blog/tag/opam10x), [dev](https://ocamlpro.com/blog/tag/dev), [release](https://ocamlpro.com/blog/tag/release), [publish](https://ocamlpro.com/blog/tag/publish), [opam repository](https://ocamlpro.com/blog/tag/opamrepository) Curious about the origins of opam? Check out this short history on its evolution as the de facto package manager and environment manager for OCaml. Welcome back to the opam deep-dives series! In this article, we cover two essential topics for any OCaml developer: Setting up a development environment... [(Read more)](https://ocamlpro.com/blog/2026_01_08_opam_104_sharing_your_code) *** ### [OCaml Onboarding: Introduction to the Dune build system](https://ocamlpro.com/blog/2025_07_29_ocaml_onboarding_introduction_to_dune)  Authors: [Raja Boujbel](https://ocamlpro.com/blog/authors/raja_boujbel), [Dario Pinto](https://ocamlpro.com/blog/authors/dario_pinto)  Date: 2025-07-29  Category: [Trainings](https://ocamlpro.com/blog/category/trainings)  Tags: [tutorial](https://ocamlpro.com/blog/tag/tutorial), [on-boarding](https://ocamlpro.com/blog/tag/onboarding), [build system](https://ocamlpro.com/blog/tag/buildsystem), [dune](https://ocamlpro.com/blog/tag/dune), [beginner](https://ocamlpro.com/blog/tag/beginner), [dev](https://ocamlpro.com/blog/tag/dev), [new project](https://ocamlpro.com/blog/tag/newproject) Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started with the OCaml Distribution can sometimes be perceived as challenging at first. That's why we keep it ... [(Read more)](https://ocamlpro.com/blog/2025_07_29_ocaml_onboarding_introduction_to_dune) *** ### [opam 2.4 release](https://ocamlpro.com/blog/2025_07_23_opam_2_4_release)  Authors: [Raja Boujbel (OCamlPro)](https://ocamlpro.com/blog/authors/raja_boujbel_\(ocamlpro\)), [Kate Deplaix (Ahrefs)](https://ocamlpro.com/blog/authors/_kate_deplaix_\(ahrefs\)), [David Allsopp (Tarides)](https://ocamlpro.com/blog/authors/_david_allsopp_\(tarides\))  Date: 2025-07-23  Category: [Tooling](https://ocamlpro.com/blog/category/tooling)  Tags: [opam](https://ocamlpro.com/blog/tag/opam), [release](https://ocamlpro.com/blog/tag/release) Feedback on this post is welcomed on Discuss! We are extremely happy to announce the release of opam 2.4.0 and encourage all users to upgrade. Please read on for installation and upgrade instructions. Major changes On opam init the compiler chosen for the default switch will no longer be ocaml-syste... [(Read more)](https://ocamlpro.com/blog/2025_07_23_opam_2_4_release) *** ### [Opam 103: Bootstrapping a New OCaml Project with opam](https://ocamlpro.com/blog/2025_04_29_opam_103_starting_new_project)  Authors: [Raja Boujbel](https://ocamlpro.com/blog/authors/raja_boujbel), [Dario Pinto](https://ocamlpro.com/blog/authors/dario_pinto), [Artemiy Rozovyk](https://ocamlpro.com/blog/authors/artemiy_rozovyk_)  Date: 2025-04-19  Category: [Trainings](https://ocamlpro.com/blog/category/trainings)  Tags: [tutorial](https://ocamlpro.com/blog/tag/tutorial), [on-boarding](https://ocamlpro.com/blog/tag/onboarding), [opam](https://ocamlpro.com/blog/tag/opam), [beginner](https://ocamlpro.com/blog/tag/beginner), [opam10x](https://ocamlpro.com/blog/tag/opam10x), [dev](https://ocamlpro.com/blog/tag/dev), [new project](https://ocamlpro.com/blog/tag/newproject) Curious about the origins of opam? Check out this short history on its evolution as the de facto package manager and environment manager for OCaml. Welcome back to the opam deep-dives series! Finally - you've asked for it since our very first opam deep-dive: it's time to explore the developer side o... [(Read more)](https://ocamlpro.com/blog/2025_04_29_opam_103_starting_new_project) *** ### [Flambda2 Ep. 4: How to write a purely functional compiler](https://ocamlpro.com/blog/2025_02_19_the_flambda2_snippets_4)  Authors: [Pierre Chambart](https://ocamlpro.com/blog/authors/pierre_chambart), [Vincent Laviron](https://ocamlpro.com/blog/authors/vincent_laviron), [Guillaume Bury](https://ocamlpro.com/blog/authors/guillaume_bury), [Dario Pinto](https://ocamlpro.com/blog/authors/dario_pinto)  Date: 2025-02-19  Category: [OCaml](https://ocamlpro.com/blog/category/ocaml)  Tags: [flambda2](https://ocamlpro.com/blog/tag/flambda2), [flambda](https://ocamlpro.com/blog/tag/flambda), [compiler](https://ocamlpro.com/blog/tag/compiler), [optimization](https://ocamlpro.com/blog/tag/optimization), [f2s](https://ocamlpro.com/blog/tag/f2s), [traversal](https://ocamlpro.com/blog/tag/traversal), [IR](https://ocamlpro.com/blog/tag/ir) Welcome to a new episode of The Flambda2 Snippets! Today, we will cover key high-level aspects of the algorithm of Flambda2. We will do our best to explain the fundamental design decisions pertaining to the architecture of the compiler. We will touch on how we managed to make a purely functional opt... [(Read more)](https://ocamlpro.com/blog/2025_02_19_the_flambda2_snippets_4) *** ### [opam 2.3.0 release\!](https://ocamlpro.com/blog/2024_11_13_opam_2_3_0_releases)  Authors: [Raja Boujbel - OCamlPro](https://ocamlpro.com/blog/authors/raja_boujbel_-_ocamlpro), [Kate Deplaix - Ahrefs](https://ocamlpro.com/blog/authors/kate_deplaix_-_ahrefs), [David Allsopp - Tarides](https://ocamlpro.com/blog/authors/david_allsopp_-_tarides)  Date: 2024-11-13  Category: [Tooling](https://ocamlpro.com/blog/category/tooling)  Tags: [opam](https://ocamlpro.com/blog/tag/opam) Feedback on this post is welcomed on Discuss! As mentioned in our talk at the OCaml Workshop 2024, we decided to switch to a time-based release cycle (every 6 months), starting with opam 2.3. As promised, we are very pleased to announce the release of opam 2.3.0, and encourage all users to upgrade. ... [(Read more)](https://ocamlpro.com/blog/2024_11_13_opam_2_3_0_releases) *** ### [Optimisation de Geneweb, 1er logiciel français de Généalogie depuis près de 30 ans](https://ocamlpro.com/blog/2024_11_06_short_news_archeologie_de_la_genealogie)  Authors: [Fabrice Le Fessant](https://ocamlpro.com/blog/authors/fabrice_le_fessant)  Date: 2024-11-06  Category: [News](https://ocamlpro.com/blog/category/news)  Tags: [modernisation](https://ocamlpro.com/blog/tag/modernisation), [optimisation](https://ocamlpro.com/blog/tag/optimisation), [performances](https://ocamlpro.com/blog/tag/performances), [code hérité](https://ocamlpro.com/blog/tag/codeherite), [legacy](https://ocamlpro.com/blog/tag/legacy) L’équipe d’OCamlPro a récemment été sollicitée par l’association Roglo, une association française de généalogie qui gère une base de plus de 10 millions de personnes connectées dans un même arbre généalogique, et dont la base s'accroît d’environ 500 000 nouvelles contributions ... [(Read more)](https://ocamlpro.com/blog/2024_11_06_short_news_archeologie_de_la_genealogie) *** ### [Alt-Ergo 2.6 is Out\!](https://ocamlpro.com/blog/2024_09_01_alt_ergo_2_6_0_released)  Authors: [Basile Clément](https://ocamlpro.com/blog/authors/basile_clement), [Pierre Villemot](https://ocamlpro.com/blog/authors/_pierre_villemot)  Date: 2024-09-30  Category: [Formal Methods](https://ocamlpro.com/blog/category/formal_methods)  Tags: [alt-ergo](https://ocamlpro.com/blog/tag/altergo) We are excited to announce the release of Alt-Ergo 2.6! Alt-Ergo is an open-source automated prover used for formal verification in software development. It is part of the arsenal behind static analysis frameworks such as TrustInSoft Analyzer and Frama-C, and is one of the solvers behind Why3, a pla... [(Read more)](https://ocamlpro.com/blog/2024_09_01_alt_ergo_2_6_0_released) *** ### [Flambda2 Ep. 3: Speculative Inlining](https://ocamlpro.com/blog/2024_08_09_the_flambda2_snippets_3)  Authors: [Pierre Chambart](https://ocamlpro.com/blog/authors/pierre_chambart), [Vincent Laviron](https://ocamlpro.com/blog/authors/vincent_laviron), [Guillaume Bury](https://ocamlpro.com/blog/authors/guillaume_bury), [Dario Pinto](https://ocamlpro.com/blog/authors/dario_pinto), [Nathanaëlle Courant](https://ocamlpro.com/blog/authors/nathanaelle_courant)  Date: 2024-08-09  Category: [OCaml](https://ocamlpro.com/blog/category/ocaml)  Tags: [flambda2](https://ocamlpro.com/blog/tag/flambda2), [flambda](https://ocamlpro.com/blog/tag/flambda), [compiler](https://ocamlpro.com/blog/tag/compiler), [optimisation](https://ocamlpro.com/blog/tag/optimisation), [f2s](https://ocamlpro.com/blog/tag/f2s), [inlining](https://ocamlpro.com/blog/tag/inlining) Welcome to a new episode of The Flambda2 Snippets! The F2S blog posts aim at gradually introducing the world to the inner-workings of a complex piece of software engineering: The Flambda2 Optimising Compiler for OCaml, a technical marvel born from a 10 year-long effort in Research & Development and ... [(Read more)](https://ocamlpro.com/blog/2024_08_09_the_flambda2_snippets_3) *** ### [opam 2.2.0 release\!](https://ocamlpro.com/blog/2024_07_01_opam_2_2_0_releases)  Authors: [Raja Boujbel - OCamlPro](https://ocamlpro.com/blog/authors/raja_boujbel_-_ocamlpro), [Kate Deplaix - Ahrefs](https://ocamlpro.com/blog/authors/kate_deplaix_-_ahrefs), [David Allsopp - Tarides](https://ocamlpro.com/blog/authors/david_allsopp_-_tarides)  Date: 2024-07-01  Category: [Tooling](https://ocamlpro.com/blog/category/tooling)  Tags: [opam](https://ocamlpro.com/blog/tag/opam) Feedback on this post is welcomed on Discuss! We are very pleased to announce the release of opam 2.2.0, and encourage all users to upgrade. Please read on for installation and upgrade instructions. NOTE: this article is cross-posted on opam.ocaml.org and ocamlpro.com, and published in discuss.ocaml... [(Read more)](https://ocamlpro.com/blog/2024_07_01_opam_2_2_0_releases) #### Archives 2026 (1) - [Opam 104: Sharing Your Code](https://ocamlpro.com/blog/2026_01_08_opam_104_sharing_your_code) 2025 (4) - [OCaml Onboarding: Introduction to the Dune build system](https://ocamlpro.com/blog/2025_07_29_ocaml_onboarding_introduction_to_dune) - [opam 2.4 release](https://ocamlpro.com/blog/2025_07_23_opam_2_4_release) - [Opam 103: Bootstrapping a New OCaml Project with opam](https://ocamlpro.com/blog/2025_04_29_opam_103_starting_new_project) - [Flambda2 Ep. 4: How to write a purely functional compiler](https://ocamlpro.com/blog/2025_02_19_the_flambda2_snippets_4) 2024 (13) - [opam 2.3.0 release\!](https://ocamlpro.com/blog/2024_11_13_opam_2_3_0_releases) - [Optimisation de Geneweb, 1er logiciel français de Généalogie depuis près de 30 ans](https://ocamlpro.com/blog/2024_11_06_short_news_archeologie_de_la_genealogie) - [Alt-Ergo 2.6 is Out\!](https://ocamlpro.com/blog/2024_09_01_alt_ergo_2_6_0_released) - [Flambda2 Ep. 3: Speculative Inlining](https://ocamlpro.com/blog/2024_08_09_the_flambda2_snippets_3) - [opam 2.2.0 release\!](https://ocamlpro.com/blog/2024_07_01_opam_2_2_0_releases) - [Flambda2 Ep. 2: Loopifying Tail-Recursive Functions](https://ocamlpro.com/blog/2024_05_07_the_flambda2_snippets_2) - [Fixing and Optimizing the GnuCOBOL Preprocessor](https://ocamlpro.com/blog/2024_04_30_fixing_and_optimizing_gnucobol) - [OCaml Backtraces on Uncaught Exceptions](https://ocamlpro.com/blog/2024_04_25_ocaml_backtraces_on_uncaught_exceptions) - [Opam 102: Pinning Packages](https://ocamlpro.com/blog/2024_03_25_opam_102_pinning_packages) - [Flambda2 Ep. 1: Foundational Design Decisions](https://ocamlpro.com/blog/2024_03_19_the_flambda2_snippets_1) - [Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap](https://ocamlpro.com/blog/2024_03_18_the_flambda2_snippets_0) - [Lean 4: When Sound Programs become a Choice](https://ocamlpro.com/blog/2024_03_07_lean4_when_sound_programs_become_a_choice) - [Opam 101: The First Steps](https://ocamlpro.com/blog/2024_01_23_opam_101_the_first_steps) 2023 (8) - [Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World](https://ocamlpro.com/blog/2023_12_13_learn_ocaml_gateway_to_the_ocaml_world) - [The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support\!](https://ocamlpro.com/blog/2023_09_18_release_of_alt_ergo_2_5_1) - [2022 at OCamlPro](https://ocamlpro.com/blog/2023_06_30_2022_at_ocamlpro) - [Autofonce, GNU Autotests Revisited](https://ocamlpro.com/blog/2023_03_18_autofonce) - [Sub-single-instruction Peano to machine integer conversion](https://ocamlpro.com/blog/2023_01_23_Pea_No_Op) - [Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23](https://ocamlpro.com/blog/2023_01_12_vmcai_popl) - [Release of ocplib-simplex, version 0.5](https://ocamlpro.com/blog/2022_11_25_ocplib-simplex-0.5) - [The Growth of the OCaml Distribution](https://ocamlpro.com/blog/2023_01_02_ocaml_distribution) 2022 (6) - [WebAssembly/Wasm and OCaml](https://ocamlpro.com/blog/2022_12_14_wasm_and_ocaml) - [Alt-Ergo: the SMT solver with model generation](https://ocamlpro.com/blog/2022_11_16_alt-ergo-models) - [Let's Encrypt Wildcard Certificates Made Easy with Agnos](https://ocamlpro.com/blog/2022_10_05_agnos_0.1.0-beta) - [opam 2.1.3 is released\!](https://ocamlpro.com/blog/2022_08_12_opam_2.1.3_release) - [OCamlPro at the JFLA2022 Conference](https://ocamlpro.com/blog/2022_07_12_ocamlpro_at_the_jfla2022) - [2021 at OCamlPro](https://ocamlpro.com/blog/2022_01_31_2021_at_ocamlpro) 2021 (14) - [Verification for Dummies: SMT and Induction](https://ocamlpro.com/blog/2021_10_14_verification_for_dummies_smt_and_induction) - [Generating static and portable executables with OCaml](https://ocamlpro.com/blog/2021_09_02_generating_static_and_portable_executables_with_ocaml) - [opam 2.1.0 is released\!](https://ocamlpro.com/blog/2021_08_04_opam_2.1.0_is_released) - [opam 2.0.9 release](https://ocamlpro.com/blog/2021_08_03_opam_2.0.9_release) - [Detecting identity functions in Flambda](https://ocamlpro.com/blog/2021_07_16_detecting_identity_functions_in_flambda) - [Détection de fonctions d’identité dans Flambda](https://ocamlpro.com/blog/2021_07_15_fr_detection_de_fonctions_didentite_dans_flambda) - [opam 2.1.0~rc2 released](https://ocamlpro.com/blog/2021_06_23_opam_2.1.0_rc2_released) - [Tutorial: Format Module of OCaml](https://ocamlpro.com/blog/2021_05_06_tutorial_format_module_of_ocaml) - [Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021](https://ocamlpro.com/blog/2021_04_29_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo_2021) - [New Try-Alt-Ergo](https://ocamlpro.com/blog/2021_03_29_new_try_alt_ergo) - [opam 2.0.8 release](https://ocamlpro.com/blog/2021_02_08_opam_2.0.8_release) - [2020 at OCamlPro](https://ocamlpro.com/blog/2021_02_02_2020_at_ocamlpro) - [Release of Alt-Ergo 2.4.0](https://ocamlpro.com/blog/2021_01_22_release_of_alt_ergo_2_4_0) - [opam 2.1.0~beta4 released](https://ocamlpro.com/blog/2021_01_13_opam_2.1.0_beta4_released) 2020 (18) - [Memthol: exploring program profiling](https://ocamlpro.com/blog/2020_12_01_memthol_exploring_program_profiling) - [Rehabilitating Packs using Functors and Recursivity, part 2.](https://ocamlpro.com/blog/2020_09_30_rehabilitating_packs_using_functors_and_recursivity_part_2) - [Rehabilitating Packs using Functors and Recursivity, part 1.](https://ocamlpro.com/blog/2020_09_24_rehabilitating_packs_using_functors_and_recursivity_part_1) - [A Dune Love story: From Liquidity to Love](https://ocamlpro.com/blog/2020_06_09_a_dune_love_story_from_liquidity_to_love) - [\[Interview\] Sylvain Conchon joins OCamlPro](https://ocamlpro.com/blog/2020_06_06_interview_sylvain_conchon_joins_ocamlpro) - [\[Interview\] Sylvain Conchon rejoint OCamlPro](https://ocamlpro.com/blog/2020_06_05_fr_interview_sylvain_conchon_rejoint_ocamlpro) - [Tutoriel Format](https://ocamlpro.com/blog/2020_06_01_fr_tutoriel_format) - [A Solidity parser in OCaml with Menhir](https://ocamlpro.com/blog/2020_05_19_ocaml_solidity_parser_with_menhir) - [opam 2.1.0 alpha is here\!](https://ocamlpro.com/blog/2020_04_22_opam_2.1.0_alpha_is_here) - [opam 2.0.7 release](https://ocamlpro.com/blog/2020_04_21_opam_2.0.7_release) - [Le nouveau GC d’OCaml 4.10 : premier aperçu de la stratégie best-fit](https://ocamlpro.com/blog/2020_03_24_fr_le_nouveau_gc_docaml_4.10_premier_apercu_de_la_strategie_best_fit) - [An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy](https://ocamlpro.com/blog/2020_03_23_in_depth_look_at_best_fit_gc) - [New version of TryOCaml in beta\!](https://ocamlpro.com/blog/2020_03_16_new_version_of_try_ocaml_in_beta) - [Réunion annuelle du Club des utilisateurs d’Alt-Ergo](https://ocamlpro.com/blog/2020_03_03_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo) - [2019 chez OCamlPro](https://ocamlpro.com/blog/2020_02_05_fr_2019_chez_ocamlpro) - [2019 at OCamlPro](https://ocamlpro.com/blog/2020_02_04_2019_at_ocamlpro) - [opam 2.0.6 release](https://ocamlpro.com/blog/2020_01_16_opam_2.0.6_release) - [The Opam 2.0 cheatsheet, with a new theme\!](https://ocamlpro.com/blog/2020_01_10_opam_2.0_cheat_sheet) 2019 (27) - [Des nouvelles de la part de l'équipe compilateur d'OCamlPro](https://ocamlpro.com/blog/2019_09_30_fr_travaux_sur_le_compilateur_ocaml_dernieres_nouvelles) - [Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019](https://ocamlpro.com/blog/2019_09_26_fr_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](https://ocamlpro.com/blog/2019_09_25_ocaml_expert_and_beginner_training_by_ocamlpro_in_french_nov_5_6_7_8) - [A look back on OCaml since 2011](https://ocamlpro.com/blog/2019_09_20_look_back_ocaml_since_2011) - [Mise à jour des Cheat Sheets : OCaml Language et OCaml Standard Library](https://ocamlpro.com/blog/2019_09_14_fr_mise_a_jour_des_cheat_sheets_ocaml_language_et_ocaml_standard_library) - [Updated Cheat Sheets: OCaml Language and OCaml Standard Library](https://ocamlpro.com/blog/2019_09_13_updated_cheat_sheets_language_stdlib_2) - [OCamlPro’s compiler team work update](https://ocamlpro.com/blog/2019_08_30_ocamlpros_compiler_team_work_update) - [Release d’opam 2.0.5](https://ocamlpro.com/blog/2019_07_23_fr_release_dopam_2.0.5) - [opam 2.0.5 release](https://ocamlpro.com/blog/2019_07_11_opam_2.0.5_release) - [Résultats de la SMT-Comp 2019 pour Alt-Ergo](https://ocamlpro.com/blog/2019_07_10_results_smt_comp_2019) - [The Alt-Ergo SMT Solver’s results in the SMT-COMP 2019](https://ocamlpro.com/blog/2019_07_09_alt_ergo_participation_to_the_smt_comp_2019) - [Blockchains @ OCamlPro: an Overview](https://ocamlpro.com/blog/2019_04_29_blockchains_at_ocamlpro_an_overview) - [opam 2.0.4 release](https://ocamlpro.com/blog/2019_04_10_opam_2.0.4_release) - [opam 2.0 tips](https://ocamlpro.com/blog/2019_03_12_opam_2.0_tips) - [Release : Liquidity version 1.0 \!](https://ocamlpro.com/blog/2019_03_09_release_liquidity_v1_smart_contracts_language) - [Announcing Liquidity version 1.0](https://ocamlpro.com/blog/2019_03_08_announcing_liquidity_version_1_0) - [Release de Techelson, moteur de tests pour Michelson et Liquidity](https://ocamlpro.com/blog/2019_03_07_fr_release_de_techelson_moteur_de_tests_pour_michelson_et_liquidity) - [Techelson, a test execution engine for Michelson](https://ocamlpro.com/blog/2019_03_06_techelson_a_test_execution_engine_for_michelson) - [Signing Data for Smart Contracts](https://ocamlpro.com/blog/2019_03_05_signing_data_for_smart_contracts) - [What's new for Alt-Ergo in 2018? Here is a recap\!](https://ocamlpro.com/blog/2019_02_11_whats_new_for_alt_ergo_in_2018_here_is_a_recap) - [Optimisation du stockage dans Tezos : une branche de test sur Gitlab](https://ocamlpro.com/blog/2019_02_05_fr_optimisation_du_stockage_dans_tezos_une_branche_de_test_sur_gitlab) - [Improving Tezos Storage : Gitlab branch for testers](https://ocamlpro.com/blog/2019_02_04_improving_tezos_storage_gitlab_branch_for_testers) - [Tezos et OCamlPro](https://ocamlpro.com/blog/2019_01_31_fr_tezos_et_ocamlpro) - [Improving Tezos Storage : update and beta-testing](https://ocamlpro.com/blog/2019_01_30_improving_tezos_storage_update_and_beta_testing) - [Tezos and OCamlPro](https://ocamlpro.com/blog/2019_01_29_tezos_and_ocamlpro) - [opam 2.0.3 release](https://ocamlpro.com/blog/2019_01_28_opam_2.0.3_release) - [Improving Tezos Storage](https://ocamlpro.com/blog/2019_01_15_improving_tezos_storage) 2018 (23) - [opam 2.0.2 release](https://ocamlpro.com/blog/2018_12_12_opam_2.0.2_release) - [An Introduction to Tezos RPCs: Signing Operations](https://ocamlpro.com/blog/2018_11_21_an_introduction_to_tezos_rpcs_signing_operations) - [Introduction aux RPCs dans Tezos : exemple d’un portefeuille (wallet) simple](https://ocamlpro.com/blog/2018_11_20_fr_introduction_aux_rpcs_dans_tezos_exemple_dun_portefeuille_wallet_simple) - [An Introduction to Tezos RPCs: a Basic Wallet](https://ocamlpro.com/blog/2018_11_15_an-introduction_to_tezos_rpcs_a_basic_wallet) - [First Open-Source Release of TzScan](https://ocamlpro.com/blog/2018_11_08_first_open_source_release_of_tzscan) - [Liquidity Tutorial: A Game with an Oracle for Random Numbers](https://ocamlpro.com/blog/2018_11_06_liquidity_tutorial_a_game_with_an_oracle_for_random_numbers) - [opam 2.0.1 is out\!](https://ocamlpro.com/blog/2018_10_24_opam_2.0.1_is_out) - [OCamlPro’s TzScan grant proposal accepted by the Tezos Foundation – joint press release](https://ocamlpro.com/blog/2018_10_17_ocamlpros_tzscan_grant_proposal_accepted_by_the_tezos_foundation_joint_press_release) - [opam 2.0.0 release and repository upgrade](https://ocamlpro.com/blog/2018_09_19_opam_2.0.0_release_and_repository_upgrade) - [Last stretch! Repository upgrade and opam 2.0.0 roadmap](https://ocamlpro.com/blog/2018_08_02_last_stretch_repository_upgrade_and_opam_2.0.0_roadmap) - [opam 2.0.0 RC4-final is out\!](https://ocamlpro.com/blog/2018_07_26_opam_2.0.0_rc4_final_is_out) - [OCamlPro’s Tezos block explorer TzScan’s last updates](https://ocamlpro.com/blog/2018_07_20_new_updates_on_tzscan_2) - [opam 2.0.0 Release Candidate 3 is out\!](https://ocamlpro.com/blog/2018_06_22_opam_2.0.0_release_candidate_3_is_out) - [opam 2.0.0 Release Candidate 2 is out\!](https://ocamlpro.com/blog/2018_05_22_opam_2.0.0_release_candidate_2_is_out) - [Release of Alt-Ergo 2.2.0](https://ocamlpro.com/blog/2018_04_23_release_of_alt_ergo_2_2_0) - [Taskforce on the Tezos Protocol, and TzScan evolution](https://ocamlpro.com/blog/2018_04_13_taskforce_on_the_tezos_protocol_and_tzscan_evolution) - [OCaml JTRT](https://ocamlpro.com/blog/2018_04_01_ocaml_jtrt) - [Release of Alt-Ergo 2.1.0](https://ocamlpro.com/blog/2018_03_15_release_of_alt_ergo_2_1_0) - [New updates on TzScan](https://ocamlpro.com/blog/2018_03_14_new_updates_on_tzscan) - [Release of a first version of TzScan, a Tezos block explorer](https://ocamlpro.com/blog/2018_02_14_release_of_a_first_version_of_tzscan_io_a_tezos_block_explorer) - [OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language](https://ocamlpro.com/blog/2018_02_08_liquidity_smart_contract_deploy_live_demo_on_tezos_alphanet_jfla2018) - [opam 2.0.0 Release Candidate 1 is out\!](https://ocamlpro.com/blog/2018_02_02_opam_2.0.0_release_candidate_1_is_out) - [2017 at OCamlPro](https://ocamlpro.com/blog/2018_01_15_2017_at_ocamlpro) 2017 (7) - [opam 2.0 Beta5 is out\!](https://ocamlpro.com/blog/2017_11_27_opam_2.0_beta5_is_out) - [new opam features: more expressive dependencies](https://ocamlpro.com/blog/2017_05_11_new_opam_features_more_expressive_dependencies) - [new opam features: "opam install DIR"](https://ocamlpro.com/blog/2017_05_04_new_opam_features_opam_install_dir) - [new opam features: local switches](https://ocamlpro.com/blog/2017_04_27_new_opam_features_local_switches) - [EzSudoku](https://ocamlpro.com/blog/2017_04_01_ezsudoku) - [new opam features: "opam build"](https://ocamlpro.com/blog/2017_03_16_new_opam_features_opam_build) - [opam 2.0 Beta is out\!](https://ocamlpro.com/blog/2017_02_09_opam_2.0_beta_is_out) 2016 (4) - [Release of Alt-Ergo 1.30 with experimental support for models generation](https://ocamlpro.com/blog/2016_11_21_release_of_alt_ergo_1_30_with_experimental_support_for_models_generation) - [opam-lib 1.3 available](https://ocamlpro.com/blog/2016_11_20_opam_lib_1.3_available) - [opam 2.0 preview release\!](https://ocamlpro.com/blog/2016_09_20_opam_2.0_preview_release) - [ASM.OCaml](https://ocamlpro.com/blog/2016_04_01_asm_ocaml) 2015 (7) - [Signing the OPAM repository](https://ocamlpro.com/blog/2015_06_05_signing_the_opam_repository) - [Reduced Memory Allocations with ocp-memprof](https://ocamlpro.com/blog/2015_05_18_reduced_memory_allocations_with_ocp_memprof) - [OPAM 1.2.2 Released](https://ocamlpro.com/blog/2015_05_07_opam_1.2.2_released) - [wxOCaml, camlidl and Class Modules](https://ocamlpro.com/blog/2015_04_13_yes_ocp_memprof_scanf) - [OPAM 1.2.1 Released](https://ocamlpro.com/blog/2015_03_18_opam_1.2.1_released) - [Cumulus and ocp-memprof, a love story](https://ocamlpro.com/blog/2015_03_04_cumulus_and_ocp_memprof_a_love_story) - [Private Release of Alt-Ergo 1.00](https://ocamlpro.com/blog/2015_01_29_private_release_of_alt_ergo_1_00) 2014 (11) - [OPAM 1.2 and Travis CI](https://ocamlpro.com/blog/2014_12_18_opam_1.2_and_travis_ci) - [OPAM 1.2.0 Released](https://ocamlpro.com/blog/2014_10_23_opam_1.2.0_released) - [OPAM 1.2: Repository Pinning](https://ocamlpro.com/blog/2014_08_19_opam_1.2_repository_pinning) - [OPAM 1.2.0 public beta released](https://ocamlpro.com/blog/2014_08_14_opam_1.2.0_public_beta_released) - [OCamlPro Highlights: May-June 2014](https://ocamlpro.com/blog/2014_07_16_ocamlpro_highlights_may_june_2014) - [Try Alt-Ergo in Your Browser](https://ocamlpro.com/blog/2014_07_15_try_alt_ergo_in_your_browser) - [OCamlPro Highlights: April 2014](https://ocamlpro.com/blog/2014_05_20_ocamlpro_highlights_april_2014) - [The Generic Syntax Extension](https://ocamlpro.com/blog/2014_04_01_the_generic_syntax_extension) - [OCamlPro Highlights: Feb 2014](https://ocamlpro.com/blog/2014_03_05_ocamlpro_highlights_feb_2014) - [OCamlPro Highlights: Dec 2013 & Jan 2014](https://ocamlpro.com/blog/2014_02_05_ocamlpro_highlights_dec_2013_jan_2014) - [OPAM 1.1.1 released](https://ocamlpro.com/blog/2014_01_29_opam_1.1.1_released) 2013 (17) - [OCamlPro Highlights: November 2013](https://ocamlpro.com/blog/2013_12_02_ocamlpro_highlights_november_2013) - [OPAM 1.1.0 released](https://ocamlpro.com/blog/2013_11_08_opam_1.1.0_released) - [OCamlPro Highlights, Sept-Oct 2013](https://ocamlpro.com/blog/2013_11_01_ocamlpro_highlights_sept_oct_2013) - [OPAM 1.1.0 release candidate out](https://ocamlpro.com/blog/2013_10_14_opam_1.1.0_release_candidate_out) - [Alt-Ergo @ OCamlPro: Two months later](https://ocamlpro.com/blog/2013_10_02_alt_ergo_ocamlpro_two_months_later) - [OPAM 1.1.0 beta released](https://ocamlpro.com/blog/2013_09_20_opam_1.1.0_beta_released) - [OCamlPro Highlights, August 2013](https://ocamlpro.com/blog/2013_09_04_ocamlpro_highlights_august_2013) - [News from July](https://ocamlpro.com/blog/2013_08_05_news_from_july) - [Better Inlining: Progress Report](https://ocamlpro.com/blog/2013_07_11_better_inlining_progress_report) - [News from May and June](https://ocamlpro.com/blog/2013_07_01_news_from_may_and_june) - [Optimisations you shouldn’t do](https://ocamlpro.com/blog/2013_05_24_optimisations_you_shouldnt_do) - [April Monthly Report](https://ocamlpro.com/blog/2013_04_22_april_monthly_report) - [wxOCaml, camlidl and Class Modules](https://ocamlpro.com/blog/2013_04_02_wxocaml_camlidl_and_class_modules) - [An Indentation Engine for OCaml](https://ocamlpro.com/blog/2013_03_18_an_indentation_engine_for_ocaml) - [OPAM 1.0.0 released](https://ocamlpro.com/blog/2013_03_15_opam_1.0.0_released) - [An Overview of our Current Activities](https://ocamlpro.com/blog/2013_02_18_overview_of_current_activities) - [Beta Release of OPAM](https://ocamlpro.com/blog/2013_01_17_beta_release_of_opam) 2012 (2) - [OCamlPro’s Contributions to OCaml 4.00.0](https://ocamlpro.com/blog/2012_08_20_ocamlpro_contributions_to_400) - [Profiling OCaml amd64 code under Linux](https://ocamlpro.com/blog/2012_08_08_profiling_ocaml_amd64_code_under_linux) 2011 (4) - [Packing and Functors](https://ocamlpro.com/blog/2011_08_10_packing_and_functors) - [OCaml and Windows](https://ocamlpro.com/blog/2011_06_23_ocaml_and_windows) - [OCaml Cheat Sheets](https://ocamlpro.com/blog/2011_06_03_ocaml_cheat_sheets) - [OCaml 32bits longval](https://ocamlpro.com/blog/2011_05_06_ocaml_32bits_longval) [ Subscribe via RSS](https://ocamlpro.com/blog/feed) *** © 2011–2025 OCamlPro · [Twitter](https://twitter.com/ocamlpro) · [LinkedIn](https://www.linkedin.com/company/2152404/) · [Email](mailto:contact@ocamlpro.com) · [Phone](tel:+33184800481) · [21 rue de Châtillon, 75014 Paris, France](https://www.openstreetmap.org/node/2996094140) · [Legal Notice](https://ocamlpro.com/legal-notice) · [](https://ocamlpro.com/blog/feed)

[](https://ocamlpro.com/blog/feed) *** [Opam 104: Sharing Your Code](https://ocamlpro.com/blog/2026_01_08_opam_104_sharing_your_code)  Date: 2026-01-08 Curious about the origins of opam? Check out this short history on its evolution as the de facto package manager and environment manager for OCaml. Welcome back to the opam deep-dives series! In this article, we cover two essential topics for any OCaml developer: Setting up a development environment... [(Read more)](https://ocamlpro.com/blog/2026_01_08_opam_104_sharing_your_code) *** [OCaml Onboarding: Introduction to the Dune build system](https://ocamlpro.com/blog/2025_07_29_ocaml_onboarding_introduction_to_dune)  Date: 2025-07-29 Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started with the OCaml Distribution can sometimes be perceived as challenging at first. That's why we keep it ... [(Read more)](https://ocamlpro.com/blog/2025_07_29_ocaml_onboarding_introduction_to_dune) *** [opam 2.4 release](https://ocamlpro.com/blog/2025_07_23_opam_2_4_release)  Date: 2025-07-23 Feedback on this post is welcomed on Discuss! We are extremely happy to announce the release of opam 2.4.0 and encourage all users to upgrade. Please read on for installation and upgrade instructions. Major changes On opam init the compiler chosen for the default switch will no longer be ocaml-syste... [(Read more)](https://ocamlpro.com/blog/2025_07_23_opam_2_4_release) *** [Opam 103: Bootstrapping a New OCaml Project with opam](https://ocamlpro.com/blog/2025_04_29_opam_103_starting_new_project)  Date: 2025-04-19 Curious about the origins of opam? Check out this short history on its evolution as the de facto package manager and environment manager for OCaml. Welcome back to the opam deep-dives series! Finally - you've asked for it since our very first opam deep-dive: it's time to explore the developer side o... [(Read more)](https://ocamlpro.com/blog/2025_04_29_opam_103_starting_new_project) *** [Flambda2 Ep. 4: How to write a purely functional compiler](https://ocamlpro.com/blog/2025_02_19_the_flambda2_snippets_4)  Date: 2025-02-19 Welcome to a new episode of The Flambda2 Snippets! Today, we will cover key high-level aspects of the algorithm of Flambda2. We will do our best to explain the fundamental design decisions pertaining to the architecture of the compiler. We will touch on how we managed to make a purely functional opt... [(Read more)](https://ocamlpro.com/blog/2025_02_19_the_flambda2_snippets_4) *** [opam 2.3.0 release\!](https://ocamlpro.com/blog/2024_11_13_opam_2_3_0_releases)  Date: 2024-11-13 Feedback on this post is welcomed on Discuss! As mentioned in our talk at the OCaml Workshop 2024, we decided to switch to a time-based release cycle (every 6 months), starting with opam 2.3. As promised, we are very pleased to announce the release of opam 2.3.0, and encourage all users to upgrade. ... [(Read more)](https://ocamlpro.com/blog/2024_11_13_opam_2_3_0_releases) *** [Optimisation de Geneweb, 1er logiciel français de Généalogie depuis près de 30 ans](https://ocamlpro.com/blog/2024_11_06_short_news_archeologie_de_la_genealogie)  Date: 2024-11-06 L’équipe d’OCamlPro a récemment été sollicitée par l’association Roglo, une association française de généalogie qui gère une base de plus de 10 millions de personnes connectées dans un même arbre généalogique, et dont la base s'accroît d’environ 500 000 nouvelles contributions ... [(Read more)](https://ocamlpro.com/blog/2024_11_06_short_news_archeologie_de_la_genealogie) *** [Alt-Ergo 2.6 is Out\!](https://ocamlpro.com/blog/2024_09_01_alt_ergo_2_6_0_released)  Date: 2024-09-30 We are excited to announce the release of Alt-Ergo 2.6! Alt-Ergo is an open-source automated prover used for formal verification in software development. It is part of the arsenal behind static analysis frameworks such as TrustInSoft Analyzer and Frama-C, and is one of the solvers behind Why3, a pla... [(Read more)](https://ocamlpro.com/blog/2024_09_01_alt_ergo_2_6_0_released) *** [Flambda2 Ep. 3: Speculative Inlining](https://ocamlpro.com/blog/2024_08_09_the_flambda2_snippets_3)  Date: 2024-08-09 Welcome to a new episode of The Flambda2 Snippets! The F2S blog posts aim at gradually introducing the world to the inner-workings of a complex piece of software engineering: The Flambda2 Optimising Compiler for OCaml, a technical marvel born from a 10 year-long effort in Research & Development and ... [(Read more)](https://ocamlpro.com/blog/2024_08_09_the_flambda2_snippets_3) *** [opam 2.2.0 release\!](https://ocamlpro.com/blog/2024_07_01_opam_2_2_0_releases)  Date: 2024-07-01 Feedback on this post is welcomed on Discuss! We are very pleased to announce the release of opam 2.2.0, and encourage all users to upgrade. Please read on for installation and upgrade instructions. NOTE: this article is cross-posted on opam.ocaml.org and ocamlpro.com, and published in discuss.ocaml... [(Read more)](https://ocamlpro.com/blog/2024_07_01_opam_2_2_0_releases)