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

Ada semantic analysis library.

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

Language creation framework.

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

High level string and text processing library

Simple audio synthesis library

A startup code generator for embedded projects

AWS templates engine.

GPR2 based unit provider for Libadalang