
Announcing the 2026 Ada/SPARK Crate of the Year Award
We're happy to announce the sixth edition of our programming awards, The Ada/SPARK Crate of the Year Award! The Alire package manager is now a well-established platform for the Ada/SPARK community. We are very happy and proud to contribute to this success. This competition is here to reward people who contribute to the ecosystem.
Why “Crate”? This is the name the Alire project uses to designate a software project, library, or executable written in Ada and/or SPARK and contributing to the Alire ecosystem. The word comes from the Cargo package manager.
How to enter?
We keep the same formula from last year, so you don’t have to register for the awards. Instead, we will consider any crate published in the Alire community index as a potential candidate for the awards.
We still invite you to promote your crate or suggest someone else’s crate for the awards on the ada-lang.io forum.
Timeline
The only thing that matters is that your crate has to be available in the Alire community index by the end of 2026. In early January 2027, we will select three winning candidates and contact the authors privately. We will announce the results to the public in early 2027.
Prizes
This competition has three prizes of $2,000 each:
- The Ada Crate of the Year Prize for the best overall Ada crate;
- The SPARK Crate of the Year Prize, for the best crate written in SPARK and/or contributing to the SPARK ecosystem;
- The Embedded Crate of the Year Prize for the best Ada or SPARK crate for embedded software.
Getting started with Alire and Ada/SPARK
You can have a look at the Alire documentation. If you don’t know Ada/SPARK programming, we recommend starting with our interactive online courses here.
We also recommend contacting the Ada/SPARK and Alire community. Here are some links that you may find helpful:
You should also examine the existing Alire ecosystem to determine whether your excellent project idea exists or which existing crates might help in your endeavor.
Have fun and happy hacking!
Author
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.





