GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–24 of 24 · 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.
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
Source repository for the GNAT Bare Metal BSPs
An Ada binding generator from SVD descriptions for bare board ARM devices.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
GNAT Components Collection – Core packages
GNATcoverage: Coverage Analysis Tool
The XML/Ada toolkit.
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
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.
Ada Windows POSIX binding