Ada crate of the year 2024 announced
LionelDraghiblog.adacore.com
106 points65 comments
Summary
by metafa.stThe article announces the winners of the Ada/SPARK Crate of the Year 2024 competition, which recognizes outstanding software projects built using the Ada and SPARK programming languages. The winners are praised for their advancements in areas such as safety-critical systems, embedded software, and formal verification.