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

submitted by /u/xradionut
[link] [comments]

from programming http://bit.ly/2QhPEJS