[资源介绍]
GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming language
A curated list of awesome resources related to the Ada and SPARK programming language - ohenley/awesome-ada
- Ada/SPARK - 一种现代编程语言，专为大型、长期运行的应用程序而设计，可靠性和效率至关重要。
