22 open source projects by AdaCore

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Server implementing the Microsoft Language Protocol for Ada and SPARK

Language creation framework.

An Ada binding generator from SVD descriptions for bare board ARM devices.

An Ada binding for Lua.

Support for Ada and SPARK languages in IntelliJ IDEA

Generic Ada Library for Algorithms and Containers

Ada API to the Windows library

SPARK 2014 repository for the Why3 verification platform.

Git hooks Python-based scripts

AWS is a complete framework to develop Web based applications in Ada.

Core framework for developing portable automated build systems

Open Platform for Autonomous VEhicle Systems

Source repository for the GNAT Bare Metal BSPs

Ada bindings for the GTK+ graphical library.

Sources for learn.adacore.com

The XML/Ada toolkit.

No description, website, or topics provided.

GNAT Components Collection – Core packages

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.