ADEL Manual
ADEL stands for Ada Development Environment for Linux. ADEL ease the developer workflow and comes with:
- A comprehensive 100 pages manual dealing with installing an Ada toolchain, station and remote workflows, learning examples, programming basics, FAQ and appendices
- ‘e’, a Alire/GNAT Studio launcher
- GNAT Remote, a GNAT Studio remote build and deployment utility for Alire projects. GNAT Remote can also manage Linux services via systemd, making it an outstanding fast deployment tool.
We hope that ADEL will inspire new generations to create quality software. Ada is the best insurance to write reliable programs while being creative and having fun with an amazing language!
LibreFrame Manual
Writing in progress. In the meantime, have a look at the v22 framework manual.
Adaforge
Awesome Ada
Documentation
Informations, documentations, language references, compiler and tools manuals: https://www.adacore.com/documentation
Free books
An outstanding collection of books relating to Ada, the conversion of C, C++ and Java developers to Ada, GNAT (the GCC Ada compiler), SPARK (a subset of the Ada language applied to formal methods to increase safety and security) and AdaCode solutions for the DO-178C/ED-12C, DO-330/ED-215 and CENELEC EN 50128:2011 standards: https://www.adacore.com/books
Industries and customer projects
AdaCore, the maintainer of the GNU GCC Ada compiler, has decades of experience providing tools and services to customers in industries with the most demanding requirements for software safety, security and reliability: https://www.adacore.com/industries
