Skip to main content

I'll throw it up here, to encourage some folks to pick up # programming language.

AdaCore is offering US$2,000 to the winners of their contest for developing an Ada crate available on Alire.

https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award

Announcing The 2022 Ada/SPARK Crate Of The Year Award

by Fabien Chouteau – Jun 28, 2022. We're happy to announce our the second edition of our programming competition, the Ada/SPARK Crate Of The Year Award! We believe the Alire package manager is a game changer for Ada/SPARK, so we want to use this comp…
AdaCore
#ada
in reply to theruran 🌐🏴

theruran 🌐🏴
theruran 🌐🏴
• •
This competition has 3 prizes of $2,000 each, for:
  • The Ada Crate Of The Year Prize, for best overall Ada crate;
  • The # 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;
caveat: looks like your entry must be submitted to GitHub to qualify.
#spark
⇧