GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–22 of 22 · Most stars
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 source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Ada semantic analysis library.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada bindings for the GTK+ graphical library.
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Source repository for the GNAT Bare Metal BSPs
An Ada binding generator from SVD descriptions for bare board ARM devices.
GNAT Components Collection – Core packages
GNATcoverage: Coverage Analysis Tool
The XML/Ada toolkit.
The repository host gives no description.
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada API to the Windows library
GNAT Components Collection – Bindings to C libraries
The repository host gives no description.
The repository host gives no description.
AWS templates engine.
AdaChess is a smart chess engine written from scratch in the Ada programming language
Ada Windows POSIX binding