Pinned Repositories
ACATS
The Ada Conformity Assessment Test Suite, customised for GCC.
analytical-engine
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
ASIS
Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.
building-gcc-macos-cross
Scripts for building GCC on macOS as a cross-compiler (arm-eabi, riscv64-elf)
building-gcc-macos-native
Scripts for building GCC on macOS
distributing-gcc
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
ews
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.
FreeRTOS-Ada
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)
stack_usage
Calculates the maximum stack depth required by GCC-compiled code
tcladashell
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
simonjwright's Repositories
simonjwright doesn’t have any repository yet.