simonjwright

Pinned Repositories

• ACATS

  The Ada Conformity Assessment Test Suite, customised for GCC.

  Language:Ada12422

• analytical-engine

  An Ada 2012 emulation of Charles Babbage’s Analytical Engine

  Language:Ada14353

• ASIS

  Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.

  Language:Ada9431

• building-gcc-macos-cross

  Scripts for building GCC on macOS as a cross-compiler (arm-eabi, riscv64-elf)

  Language:Shell9312

• building-gcc-macos-native

  Scripts for building GCC on macOS

  Language:Shell267143

• distributing-gcc

  Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.

  Language:Makefile495270

• 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.

  Language:Ada17373

• 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)

  Language:Ada75133817

• stack_usage

  Calculates the maximum stack depth required by GCC-compiled code

  Language:Python11341

• tcladashell

  Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL

  Language:Ada10352

simonjwright's Repositories