Docs
v22 Manual
The v22 framework documentation comes with a comprehensive manual of more than 230 pages and a dozen of chapters.
Prise en main de Gnoga
In order to implement the v22 user interface, GNOGA was chosen as the web framework.
This 120 pages document in French has been written by Théodore Gigault, as part of his internship in the Sowebio company, in order to conclude his first year at ENSEIRB-MATMECA, engineering school of Bordeaux.
The purpose of his internship was to discover the methods of modular and structured programming, object-oriented, as well as a method of top-down analysis, then to put into practice the learnings with the handling of a graphic software infrastructure in Ada and, finally, to carry out the analysis of the application of management of the contracts customers in SEPA direct debits of the Sowebio company.
Premiers pas avec Gnoga
This 90 pages valuable how-to in french has been written by Pascal Pignard1As the original link is unencrypted, to avoid “mixed content” errors, we cannot offer the direct link which is blady.chez.com/telechargements/gnoga/gnoga_wf.pdf, to help beginners around Gnoga. An English translation must exist somewhere, but we don’t know where at the moment.
AIDE for Debian & Ubuntu Manual
AIDE, Ada Instant Development Environment, make Ada integrated development environment setup a breeze. AIDE is intended to GNU/Linux Debian, Ubuntu and derivatives using Libre software. AIDE is written in Ada, as too GNAT Studio, the Ada IDE and GNAT, the GCC Ada compiler. We hope that AIDE 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!
Adaforge
All in one place: https://www.adaforge.org
Awesome Ada
A curated list of awesome resources related to the Ada and SPARK programming language: https://github.com/ohenley/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