A high-integrity, safety-critical systems programming language.
Ada-Belgium is a non-profit organization dedicated to promoting the Ada programming language and its usage in Belgium. It provides resources, organizes events, and fosters collaboration among Ada enthusiasts and professionals. The group is affiliated with Ada-Europe and supports initiatives to advance reliable and high-integrity software development.
Ada-Europe is an international organization, set up to promote the use of Ada. It aims to spread the use and the knowledge of Ada and to promote its introduction into academic and research establishments. Above all, Ada-Europe intends to represent European interests in Ada and Ada-related matters.
Ada-France is an organization dedicated to promoting the Ada programming language in France. It provides resources, events, and a community for developers, researchers, and professionals interested in Ada and its applications in high-assurance and reliable software development.
The Ada Resource Association is a non-profit organization based in the U.S. that supports the Ada programming language. They aim to promote Ada, provide information and resources, and support Ada users. They also provide the Ada Language System (ALS) certification.
Ada Switzerland is a community organization dedicated to promoting the Ada programming language within Switzerland. The organization provides resources, events, and support to Ada enthusiasts, developers, and organizations, with a focus on sharing knowledge, fostering collaboration, and advancing the use of Ada in various industries.
SIGAda (Special Interest Group on Ada) is a professional organization dedicated to the promotion and advancement of the Ada programming language. It provides resources, conferences, and a community for developers, researchers, and organizations interested in using Ada for reliable and high-assurance software systems.
Ada-Belgium's dedicated job listings page for Ada roles in/near Belgium.
A curated list of awesome resources related to the Ada and SPARK programming language
learn.adacore.com offers a range of tutorials, courses, and educational resources designed to help developers learn the Ada programming language, from beginner to advanced levels.
The Ada Language Forum is a community space for discussing the Ada programming language, sharing knowledge, and seeking help from fellow developers.
ada-lang.io is a community-driven website dedicated to the Ada programming language, providing resources, documentation, and news for developers.
The AdaCore Blog features articles, updates, and insights on the Ada and SPARK programming languages, with a focus on safety, security, and reliability in software development.
A collection of Ada programming language awareness posters, highlighting Ada's strengths in safety-critical, embedded, and high-integrity systems. The posters emphasize Ada's role in industries like aerospace, defense, automotive, and medical technology.
A collection of success stories and case studies showcasing real-world applications of the Ada programming language in various industries, including aerospace, defense, transportation, and healthcare. It highlights Ada's reliability, safety, and maintainability in mission-critical systems.
Provider of GNAT Pro, SPARK, and other Ada development tools for safety-critical and high-integrity systems.
The AdaCore YouTube channel features video tutorials, webinars, and presentations focused on the Ada and SPARK programming languages, aimed at helping developers enhance their skills and understanding.
The Ada Rapporteur Group (ARG) website documents the ongoing maintenance and evolution of the Ada programming language, including amendments, issue resolutions, and proposed changes to the standard.