Ada/SPARK Crate of the Year Awards Announced!
2025-02-09
The results for the 2024 Ada/SPARK Crate of the Year Awards are in! Lionel Draghi wins the Ada Crate of the Year award for BBT, a command-line tool using easily understandable Markdown behavior specifications for automated testing. Kevin Chadwick takes home the SPARK Crate of the Year award for elogs, a memory-safe logging library (SPARK Silver certified) that allows users to specify maximum message length. Finally, Brent Seidel's embeddable Lisp interpreter, bbs_lisp, wins the Embedded Crate of the Year award, showcasing Ada's strengths in embedded systems.
Development
Crate of the Year