Ada/SPARK Crate of the Year Awards bekanntgegeben!

Die Ergebnisse der Ada/SPARK Crate of the Year Awards 2024 stehen fest! Lionel Draghi gewinnt den Ada Crate of the Year Award für BBT, ein Kommandozeilen-Tool, das leicht verständliche Markdown-Spezifikationen für automatisierte Tests verwendet. Kevin Chadwick erhält den SPARK Crate of the Year Award für elogs, eine speichergesicherte Logging-Bibliothek (SPARK Silber-zertifiziert), die es Benutzern ermöglicht, die maximale Nachrichtenlänge anzugeben. Schließlich gewinnt Brent Seidels integrierbarer Lisp-Interpreter, bbs_lisp, den Embedded Crate of the Year Award und zeigt die Stärken von Ada in eingebetteten Systemen.