Community
Whether you're an open-source programmer starting an exciting new project, an educator teaching the next generation of programmers, or a researcher pushing the boundaries of software, learning Ada and SPARK equips you with powerful tools to build reliable, secure, and efficient software across any domain.
Getting Started
For non-industrial projects, we recommend the use of community-provided tools, starting with the Alire package manager where you can download and install the latest version.
Ada & SPARK in VS Code
Alire will provide all the necessary tools to start programming in Ada and SPARK, as well as a collection of ready-to-use libraries from the community.
We also recommend AdaCore’s VS Code extension for Ada and SPARK as the preferred code editor:
Academia
More than 100 members across 35 countries are teaching Ada and SPARK through the GNAT Academic Program (GAP). GAP connects Ada and SPARK educators worldwide, fostering collaboration and the exchange of knowledge and resources.
AdaCore and the Ada Community
For more than 30 years, AdaCore has been deeply involved in advancing the Ada ecosystem through open collaboration and sustained technical contribution. We have continuously contributed to the GCC and LLVM open-source compiler projects and helped maintain community builds across Windows, Linux, and embedded targets such as ARM bare-metal and Linux. Our engineers actively participate in the evolution of the Ada programming language, ensuring it continues to meet the needs of high-integrity and mission-critical software development. Beyond compilers, AdaCore provides a rich collection of open-source Ada components, libraries, Board Support Packages (BSPs), and development tools on GitHub. We also support academia through free licensing, teaching materials, and long-term partnerships that help future engineers learn, use, and advance Ada.
Join the Community
Being part of a community of learners, developers, and experts can greatly enhance your journey with Ada and SPARK.
Alire
Alire is a source-based package manager for Ada/SPARK that hosts community-contributed libraries, making it easy to discover and integrate reusable components into projects.
GitHub
The GitHub “Ada” topic page showcases public repositories tagged with Ada, offering a broad view of how the language is used (libraries, tools, apps).
GitLab
The GitLab “Ada” topic page collects a wide variety of open-source projects tagged with Ada, offering a great way to explore current libraries, tools and frameworks developed in Ada.
Ada Forum
A forum to discuss the Ada programming language, and its open source ecosystem.
Ada on Reddit
An active community of Ada users on Reddit serve as a valuable resource for anyone interested in Ada.
Matrix
An open-chat channel for Ada enthusiasts and practitioners, offering quick peer support and community interaction around the Ada language.
Telegram
A Telegram channel dedicated to Ada brings together developers and enthusiasts to share updates, ask questions, and discuss topics related to Ada.
Crate of the Year
The Ada/SPARK Crate of the Year competition, organized by AdaCore, celebrates the most innovative and high-quality libraries (“crates”) contributed to the Alire ecosystem, highlighting excellence in Ada and SPARK development.
Learn.adacore.com
Learn.adacore.com is an interactive learning platform offering structured tutorials and reference materials on both the Ada and SPARK languages, designed to support learners from fundamentals through advanced language features.
Community Highlights
Bbs_lisp
bbs_lisp is an embeddable Lisp interpreter in Ada, designed for portability and suitable for both native and embedded systems, showcasing Ada’s flexibility.
BBT
BBT is a command-line tool that turns plain-English behaviour specs into automated tests, making it simple to verify command-line tool functionality.
Elogs
Elogs is a SPARK-based logging library, proven memory-safe, portable, and configurable for resource-constrained, high-integrity applications.
Questions about the Ada & GNAT Community?
Fill out this form and we’ll be in touch with the right guidance.