AdaCore

gnatstudio

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

spark2014

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

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

gnat-llvm

LLVM based GNAT compiler

libadalang

Ada semantic analysis library.

aws

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

RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

learn

Sources for learn.adacore.com

langkit

Language creation framework.

gprbuild

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

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

VSS

High level string and text processing library

gnatcoll-core

GNAT Components Collection – Core packages

gnatcoverage

GNATcoverage: Coverage Analysis Tool

why3

SPARK 2014 repository for the Why3 verification platform.

e3-core

Core framework for developing portable automated build systems

training_material

win32ada

Ada API to the Windows library

libadalang-tools

Libadalang-based tools

gpr

The framework for analyzing the GNAT Project (GPR) files

e3-testsuite

e3 testsuite driver

e3-aws

High level interface for CloudFormation

gprconfig_kb

GPR configuration knowledge base

langkit-query-language

query language for Libadalang and Langkit

gnatdoc

GNAT Documentation Generator

lsif-ada

prettier-ada

gnatformat

SPARKlib

spdx_ada