This competition has 3 prizes of $2,000 each, for:

• The Ada Crate Of The Year Prize, for 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;

caveat: looks like your entry must be submitted to GitHub to qualify.