Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
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
An Ada-oriented GUI
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
The PragmAda Reusable Components
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game