Ada/SPARK Crate Of The Year 2024 announces winners across three categories, with BBT winning Ada Crate, elogs securing SPARK Crate, and bbs_lisp taking Embedded Crate honors. BBT offers English-based test automation, elogs provides SPARK-validated message logging, while bbs_lisp delivers an embeddable Lisp interpreter for constrained environments.

https://blog.adacore.com/ada-spark-crate-of-the-year-2024-winners-announced

#programming #ada/spark #softwaretesting #embeddedsystems #awards