GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
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
GNAT Components Collection – Core packages
Ada-language framework
- ada
- ada-language
- arm
- avr
GNATcoverage: Coverage Analysis Tool
GNAT Components Collection – Bindings to C libraries
Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
Bingo application in GTKAda
- gtkada
- gnat
- ada
The repository host gives no description.
Boehm GC interface library for gcc-Ada (GNAT)
Behavior Driven Development in Ada
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Small Library for Sodoku grid solving / finding
- ada
- bignumber
- ada-sodoku
- combinatory-library
Ada bindings for the Microsoft Win32 Api
- ada
- gnat
- gcc
- win32