Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Repository Index
47,133 repositories indexed
1–17 of 17 · Most stars
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
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
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
GWindows: GUI framework for MS Windows and Winelib
- ada
- ada-language
- windows
- gui-framework
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.
NBAda - An Ada library of lock-free data structures and algorithms.
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
Giza is trying to be a simple widget tool kit for embedded platforms
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
Easy to use logging facilities for output to console in Ada programs
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
Convenience subprograms to interact with C strings
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.