Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-ada
Awesome resources and other links related to the Ada programming language
https://github.com/samuell/awesome-ada
Last synced: 3 days ago
JSON representation
-
Why Ada - Sites and posts of promotional nature
- Who is using Ada? - Great list, covering many industries.
- 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.
-
Community
- Reddit /r/ada - 900+ readers. 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
- LinkedIn Group - 2500+ members. Not so easy to use because of LinkedIn's UI, but largest number of users.
-
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
-
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
- Building High Integrity Applications with SPARK (An Ada subset) - 5 stars, 3 reviews (SPARK = Ada subset)
-
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
- 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
- Ada_Drivers_Library - Device drivers and embedded goodies for micro-controllers
-
Various Ada resources and links to resources
- Ada Power - Site collecting links to Ada resources
-
Ada associations
- 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
- ACM SIGAda - The home page for the “Special Interest Group on Ada” with pointers to local chapters.
-
Country-specific links (apart from main associations)
Programming Languages
Categories
Ada associations
8
Books
6
Libraries
5
Community
5
Why Ada - Sites and posts of promotional nature
4
Editors and IDEs
2
Country-specific links (apart from main associations)
2
Tutorials, Guides and Course material
2
Implementations
1
Free online books
1
Various Ada resources and links to resources
1