diff --git a/README.md b/README.md index d4b1eb0..c3c5830 100644 --- a/README.md +++ b/README.md @@ -1,19 +1,19 @@

- Awesome + Awesome
-

+

-> [Ada is powering satellites, aircrafts, ships, power plants, surgical robots](https://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html), drones, CNCs, servers, games and coffee makers. -> Ada is arguably the most { performantcapableprecisereadablemature } programming language. +> [Ada is powering satellites, aircrafts, ships, power plants, surgical robots](https://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html), drones, CNCs, servers, games and coffee makers. +> Ada is arguably the most { performantcapableprecisereadablemature } programming language. > Ada is alive and kicking! > > Long live Ada/SPARK. -

+

[![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) A curated list of awesome resources related to the Ada and SPARK programming language. @@ -106,7 +106,7 @@ A curated list of awesome resources related to the Ada and SPARK programming lan 8. [Programming Languages](#Programming-Languages) 9. [Misc](#Misc) 15. [Bindings](#Bindings) -16. [License](#Licence) +16. [License](#License) @@ -115,15 +115,15 @@ A curated list of awesome resources related to the Ada and SPARK programming lan
- + - + - +
@@ -197,13 +197,13 @@ A curated list of awesome resources related to the Ada and SPARK programming lan #### Competition
- +
- +
@@ -244,7 +244,7 @@ A curated list of awesome resources related to the Ada and SPARK programming lan ## Edit #### Integrated Development Editor - [The GNAT Programming Studio](https://github.com/AdaCore/gps) + [The GNAT Programming Studio](https://github.com/AdaCore/gps) - [ada-visual](https://marketplace.visualstudio.com/items?itemName=AlexGamper.VisualAda) - Ada language integration for Visual Studio 2017. #### Editors