Add various new resources in particular on SPARK.

ohenley / awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

Creative Commons Zero v1.0 Universal

641 stars 71 forks source link

Closed yannickmoy closed 5 years ago

yannickmoy commented 5 years ago

Also removed white space at end of line (unintentionally, but still good)