Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/samuell/awesome-ada
Awesome resources and other links related to the Ada programming language
https://github.com/samuell/awesome-ada
List: awesome-ada
ada ada-programming
Last synced: 12 days ago
JSON representation
Awesome resources and other links related to the Ada programming language
- Host: GitHub
- URL: https://github.com/samuell/awesome-ada
- Owner: samuell
- License: other
- Created: 2016-11-17T17:49:54.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2020-06-25T00:15:28.000Z (over 4 years ago)
- Last Synced: 2024-05-20T05:14:57.688Z (6 months ago)
- Topics: ada, ada-programming
- Size: 15.6 KB
- Stars: 63
- Watchers: 18
- Forks: 8
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- ultimate-awesome - awesome-ada - Awesome resources and other links related to the Ada programming language. (Other Lists / PowerShell Lists)
README
# Awesome Ada [](https://github.com/sindresorhus/awesome)
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](https://github.com/ohenley/awesome-ada)
## Why Ada - Sites and posts of promotional nature
- [Ada 2012](http://www.ada2012.org/) - Promotional site for the latest Ada version, with video interviews etc.
- [SPARK 2014](http://www.spark-2014.org/) - Site for SPARK, a safe subset of Ada
- [Why aren't developers interested in Ada?](http://www.embedded.com/electronics-blogs/break-points/4008214/Why-aren-t-developers-inter) - Very interesting blog post highlighting benefits of Ada.
- [Who is using Ada?](https://www.seas.gwu.edu/~mfeldman/ada-project-summary.html) - Great list, covering many industries.
## Community
- [Google Group (comp.lang.ada)](https://groups.google.com/forum/#!forum/comp.lang.ada) - 1200+ members. Best place for longer discussions.
- [Reddit /r/ada](https://www.reddit.com/r/ada/) - 900+ readers. Focused on sharing links.
- [Google+ Community](https://plus.google.com/communities/102688015980369378804) - 700+ members. Focused on sharing links.
- [LinkedIn Group](https://www.linkedin.com/groups/114211) - 2500+ members. Not so easy to use because of LinkedIn's UI, but largest number of users.
- [AdaCore (Company) on Github](https://github.com/AdaCore)
- [Libre: AdaCore's Open Source Community Website](http://libre.adacore.com)
## Tutorials, Guides and Course material
- [Course material in Real-time embedded developmend with Ada, at ANU](https://cs.anu.edu.au/courses/comp4330/1-Lectures-Contents.html) - Includes a number of videos.
- [MIT Course (materials) on Ada 95](https://ocw.mit.edu/courses/aeronautics-and-astronautics/16-01-unified-engineering-i-ii-iii-iv-fall-2005-spring-2006/comps-programming)
- [AdaCore University](http://university.adacore.com/) - Ada learning material by the company behind the commercial version of Ada
## Books
- [Concurrent and Real-Time Programming in Ada](http://a.co/0waqzSb) - 5 stars, 6 reviews
- [Building High Integrity Applications with SPARK (An Ada subset)](http://a.co/hBHjt3K) - 5 stars, 3 reviews (SPARK = Ada subset)
- [Introductory Ada Programming Book: A Book for Beginner Programmers and Beginners to Ada](http://a.co/bD4n5wN) - 5 stars, 2 reviews
- [Building Parallel, Embedded, and Real-Time Applications with Ada](http://a.co/cmK3Cby) - 4,5 stars, 3 reviews
- [Programming in Ada 2012 ](http://a.co/cVaNXQh) - 4 stars, 5 reviews
## Free online books
- [Ada Programming on Wikibooks](https://en.wikibooks.org/wiki/Ada_Programming) - A so so book, but included because of the lack of other good resources.
## Editors and IDEs
- [GNAT Programming Studio](http://libre.adacore.com/tools/gps/) - A free high quality and cross-platform IDE for Ada
- [Ada syntax highlighting for Visual Studio Code](https://marketplace.visualstudio.com/items?itemName=AlessandroDelSole.ada)
## Implementations
- [GNAT GPL and SPARK GPL](http://libre.adacore.com/download/) - Open source implementations of Ada and the SPARK Ada subset
## Libraries
- [AVR-Ada](http://playground.arduino.cc/Code/AVR-Ada) - Enables programming for Arduino, in Ada
- [Ada_Drivers_Library](https://github.com/AdaCore/Ada_Drivers_Library) - Device drivers and embedded goodies for micro-controllers
- [Generic Image Decoder](http://gen-img-dec.sourceforge.net/) - Ada package for decoding a broad variety of image formats
- [Simple Components](http://www.dmitry-kazakov.de/ada/components.htm) - Inplementation of various algorythn, containers or protocols
- [AZip](http://azip.sourceforge.net/) - A portable Zip Archive Manager
- [Zip-Ada](http://unzip-ada.sourceforge.net/) - library for dealing with the Zip compressed archive file format
## Various Ada resources and links to resources
- [Open source software at AdaCore company](http://libre.adacore.com)
- [Ada Power](http://www.adapower.com/) - Site collecting links to Ada resources
## Ada associations
- [ACM SIGAda](http://www.acm.org/sigada/) - The home page for the “Special Interest Group on Ada” with pointers to local chapters.
- [Ada Resource Association](http://www.adaic.org/) - Articles on Ada applications, databases of available compilers, and more.
- [Ada Europe](http://www.ada-europe.org/) - An international organization set up to promote the use of Ada with local charters in several European countries.
- [Ada Deutschland](http://ada-deutschland.de/)
- [Ada Belgium](http://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/)
- [Ada France](http://www.ada-france.org/)
- [Ada-Switzerland](http://www.ada-switzerland.ch/)
- [Ada Denmark](http://ada-dk.org/)
- [Ada Sweden](http://www.ada-sweden.org)
## Country-specific links (apart from main associations)
### Russia
- [Ada in Russian](http://www.ada-ru.org/)
### Sweden
- [Swedish Defence Software Engineering User Group](http://sesam.smart-lab.se)