2024

• Optimisation de Geneweb, 1er logiciel français de Généalogie depuis près de 30 ans

Articles tagged by code hérité

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)

2026

• Opam 104: Sharing Your Code

2025

• OCaml Onboarding: Introduction to the Dune build system
• opam 2.4 release
• Opam 103: Bootstrapping a New OCaml Project with opam
• Flambda2 Ep. 4: How to write a purely functional compiler

2024

• opam 2.3.0 release!
• Optimisation de Geneweb, 1er logiciel français de Généalogie depuis près de 30 ans
• Alt-Ergo 2.6 is Out!
• Flambda2 Ep. 3: Speculative Inlining
• opam 2.2.0 release!
• Flambda2 Ep. 2: Loopifying Tail-Recursive Functions
• Fixing and Optimizing the GnuCOBOL Preprocessor
• OCaml Backtraces on Uncaught Exceptions
• Opam 102: Pinning Packages
• Flambda2 Ep. 1: Foundational Design Decisions
• Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap
• Lean 4: When Sound Programs become a Choice
• Opam 101: The First Steps

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!