crate-of-the-year
Yearly prize awarding $6,000 to the best Alire crates in Ada, SPARK, and embedded categories to grow the ecosystem.
Overview
The Ada/SPARK Crate Of The Year Award is an annual competition that encourages developers to contribute to the Alire ecosystem by creating safe, secure, and reliable Ada and SPARK software. It aims to foster growth in a language ecosystem designed for high-integrity applications where safety and security are paramount.
Key Features
- Ada Crate Of The Year — $2,000 prize for the best general Ada library published in Alire.
- SPARK Crate Of The Year — $2,000 prize for the best SPARK (formal verification) crate.
- Embedded Crate Of The Year — $2,000 prize for the best crate targeting embedded systems.
- Global Participation — Open to developers worldwide, with any crate in the Alire community index eligible.
- Ecosystem Growth — Designed to expand the availability of ready-to-use Ada/SPARK libraries.
Philosophy
The award celebrates contributors who demonstrate ingenuity through software that matters, recognizing that Ada and SPARK are uniquely suited for building trustworthy applications in safety- and security-critical domains.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.