GitHub repository: mgrojo/awesome-ada
Description: A curated list of awesome resources related to the Ada and SPARK programming language