samuell / awesome-ada

Awesome resources and other links related to the Ada programming language

Awesome Ada

A curated list of awesome resources and other links related to the Ada programming language.

Lists are sorted by awesomeness - Awesomest first!

N.B: This list is no longer maintained. Probably check out this much more comprehensive list: Awesome Ada

Why Ada - Sites and posts of promotional nature

• Ada 2012 - Promotional site for the latest Ada version, with video interviews etc.
• SPARK 2014 - Site for SPARK, a safe subset of Ada
• Why aren't developers interested in Ada? - Very interesting blog post highlighting benefits of Ada.
• Who is using Ada? - Great list, covering many industries.

Community

• Google Group (comp.lang.ada) - 1200+ members. Best place for longer discussions.
• Reddit /r/ada - 900+ readers. Focused on sharing links.
• Google+ Community - 700+ members. Focused on sharing links.
• LinkedIn Group - 2500+ members. Not so easy to use because of LinkedIn's UI, but largest number of users.
• AdaCore (Company) on Github
• Libre: AdaCore's Open Source Community Website

Tutorials, Guides and Course material

• Course material in Real-time embedded developmend with Ada, at ANU - Includes a number of videos.
• MIT Course (materials) on Ada 95
• AdaCore University - Ada learning material by the company behind the commercial version of Ada

Books

• Concurrent and Real-Time Programming in Ada - 5 stars, 6 reviews
• Building High Integrity Applications with SPARK (An Ada subset) - 5 stars, 3 reviews (SPARK = Ada subset)
• Introductory Ada Programming Book: A Book for Beginner Programmers and Beginners to Ada - 5 stars, 2 reviews
• Building Parallel, Embedded, and Real-Time Applications with Ada - 4,5 stars, 3 reviews
• Programming in Ada 2012 - 4 stars, 5 reviews

Free online books

• Ada Programming on Wikibooks - A so so book, but included because of the lack of other good resources.

Editors and IDEs

• GNAT Programming Studio - A free high quality and cross-platform IDE for Ada
• Ada syntax highlighting for Visual Studio Code

Implementations

• GNAT GPL and SPARK GPL - Open source implementations of Ada and the SPARK Ada subset

Libraries

• AVR-Ada - Enables programming for Arduino, in Ada
• Ada_Drivers_Library - Device drivers and embedded goodies for micro-controllers
• Generic Image Decoder - Ada package for decoding a broad variety of image formats
• Simple Components - Inplementation of various algorythn, containers or protocols
• AZip - A portable Zip Archive Manager
• Zip-Ada - library for dealing with the Zip compressed archive file format

Various Ada resources and links to resources

• Open source software at AdaCore company
• Ada Power - Site collecting links to Ada resources

Ada associations

• ACM SIGAda - The home page for the “Special Interest Group on Ada” with pointers to local chapters.
• Ada Resource Association - Articles on Ada applications, databases of available compilers, and more.
• Ada Europe - An international organization set up to promote the use of Ada with local charters in several European countries.
• Ada Deutschland
• Ada Belgium
• Ada France
• Ada-Switzerland
• Ada Denmark
• Ada Sweden

Country-specific links (apart from main associations)

Russia

• Ada in Russian

Sweden

• Swedish Defence Software Engineering User Group

awesome-ada's Issues

Forking to https://github.com/ohenley/awesome-ada

closing.

Should be in https://github.com/topics/awesome

This list should be in https://github.com/topics/awesome

If it follows the requirements:
https://github.com/sindresorhus/awesome/blob/master/create-list.md

A Pull Request to https://github.com/sindresorhus/awesome should be made.

See issue:
sindresorhus/awesome#977

Please update the link to my book

Hello!

My name is Andrew Shvets. I am the author of the intro Ada book that you have listed on your page. First, I'm flattered that you have it listed! Thank you so much!

However, ever since I've started working with Apress, I have a completely new book out and it's listed here:
https://www.apress.com/us/book/9781484254271

The previous is no longer published. When you get a chance, could you please update that link? I'd really appreciate it!

Thank you in advance,
--Andrew