Content by Fabien Chouteau
Fabien Chouteau
Fabien joined AdaCore in 2010 after his engineering degree at the EPITA (Paris). He is involved in real-time, embedded and hardware simulation technology. Maker/DIYer in his spare time, his projects include electronics, music and woodworking.
Ada/SPARK Crate Of The Year 2025 Winners Announced!
The annual Ada/SPARK Crate of the Year Awards celebrate the outstanding contributions made to the growing Ada/SPARK ecosystem through Alire.
Advent of Ada/SPARK 2025 Results
On December 1st, we called the Ada and SPARK programmers community to take on a challenge for a good cause. It is now time for the results!
Announcing Advent of Ada/SPARK 2025: Coding for a Cause!
Advent of Ada/SPARK is back! Solve Advent of Code 2025 challenges in Ada/SPARK and help us raise up to $5,000 for Ada Developers Academy.
Announcing the 2025 Ada/SPARK Crate of the Year Award
We're happy to announce the fifth edition of our programming awards, The Ada/SPARK Crate of the Year Award! The Alire package manager is a game…
Solving Sudoku with AdaSAT
Originally, constraint solving in Libadalang was handled by several ad-hoc solvers built specifically for different parts of the type system. These…
Ada/SPARK Crate Of The Year 2024 Winners Announced!
In 2024 we announced our fourth Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for Ada/SPARK, so we…
Advent of Ada/SPARK 2024 Results
At the end of November, we called the Ada and SPARK programmers community to take on a challenge for a good cause. For each person completing one of…
Announcing Advent of Ada 2024: Coding for a Cause!
We're thrilled to kick off the holiday season with the third edition of Advent of Ada, a programming challenge that not only tests your coding skills…
How GNATkp Safeguards Against Known Compiler Issues
GNAT Pro Assurance customers have access to a special variant of GNATcheck called GNATkp (GNAT Known Problems detector). This tool is packaged with…
Ada GameDev Part 3: Enjoy Video Games Programming with Raylib
In April 2024 a streamer named Tsoding developed a video game from start to finish in Ada in 20 days. He seemed to have enjoyed the experience, to…
The use of Ada Language in the Telecommunications Industry
In this article, Fabien Chouteau explains the importance of secure software in the emerging telecommunications industry.
Announcing the 2024 Ada/SPARK Crate of the Year Award
We're happy to announce the fourth edition of our programming awards, The Ada/SPARK Crate of the Year Award! The Alire package manager is a game…