Source repository for the GNAT Bare Metal BSPs
updated at May 24, 2024, 6:04 p.m.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
updated at May 24, 2024, 1:16 p.m.
Server implementing the Microsoft Language Protocol for Ada and SPARK
updated at May 24, 2024, 8:06 a.m.
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
updated at May 24, 2024, 7:04 a.m.
AWS is a complete framework to develop Web based applications in Ada.
updated at May 23, 2024, 12:53 p.m.
GNAT Components Collection – Core packages
updated at May 23, 2024, 12:31 p.m.
GNAT Components Collection – Bindings to C libraries
updated at May 23, 2024, 9:32 a.m.
GNATcoverage: Coverage Analysis Tool
updated at May 22, 2024, 2:02 p.m.
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
updated at May 21, 2024, 9:24 a.m.
Ada bindings for the GTK+ graphical library.
updated at May 18, 2024, 7:05 a.m.
Robotics with Ada, ARM, and Lego
updated at April 28, 2024, 5:15 p.m.
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
updated at April 28, 2024, 5:13 p.m.
An Ada binding generator from SVD descriptions for bare board ARM devices.
updated at April 5, 2024, 2:47 a.m.
Generic Ada Library for Algorithms and Containers
updated at March 19, 2024, 6:03 a.m.
A tictactoe game written and proven in SPARK
updated at Feb. 15, 2024, 12:03 a.m.