Since 2005, AdaCore has released an annual version of its GNAT Community toolchain for free software developers, hobbyists, and students.
In May 2022, AdaCore announced the end of the GNAT Community release in favor of a cleaner and more familiar ecosystem for the Ada and SPARK programming languages, managed by the community: the Alire source-based package manager.
Created by Alejandro Mosteo from the Centro Universitario de la Defensa de Zaragoza, Alire offers everything that GNAT Community offers, including GNAT Studio, SPARK, native, cross ARM, cross RISC-V compilers, and much more. It also enables developers to easily build upon the community's projects (libraries or programs) and share their projects with others.
We encourage all GNAT Community users to transition to Alire going forward.
The GNAT Academic Program
Over 100 members in 35 countries are teaching Ada and SPARK using the GNAT Academic Program.
Ada on Stack Overflow
Stack Overflow is a place to ask questions and get responses from other techies. We highly recommend this resource.
@AdaProgrammers
Launched during the Make with Ada competition, the @AdaProgrammers account keeps up an active presence on Twitter.
Ada on Reddit
An active community of Ada users on Reddit serve as a valuable resource for anyone interested in Ada.
Ada on LinkedIn
With LinkedIn you can connect with Ada developers and employers from around the world.
The AdaCore Blog
Targeted to developers at all levels, AdaCore's blogs include technical articles, tutorials and opinion pieces written by Ada developers.
Learn.adacore.com
Learn.adacore.com is an interactive learning platform designed to teach the Ada and SPARK programming languages.
Crate of the Year
We use this competition to reward the people contributing to the Ada/SPARK ecosystem.