Resources - Adacore

Learn.adacore.com is our new interactive learning platform designed to teach the Ada and SPARK programming languages.

Lady Ada Mediates Peace Treaty in Endianness War 9/4/2019
Ada and SPARK: Beyond Static Analysis for Medical Devices 3/20/2019
Ada: Meeting Tomorrow’s Software Challenges Today 3/19/2019
Controlling Costs with Software Language Choice — How Ada Can Help 9/12/2018
Safe Dynamic Memory Management in Ada and SPARK 7/3/2018

We’re happy to provide select translated learning material in Japanese including...