Simon Wright

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)

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

building-gcc-macos-native. Scripts for building GCC on macOS

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.

analytical-engine. An Ada 2012 emulation of Charles Babbage’s Analytical Engine

ACATS. The Ada Conformity Assessment Test Suite, customised for GCC.

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

stack_usage. Calculates the maximum stack depth required by GCC-compiled code

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

coldframe. ColdFrame generates Ada framework code and documentation from UML models.

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

nuweb.py. Literate programming in LaTeX; programming languages of your choice

alire-index.mac. Index of Alire crate versions catering for macOS idiosyncrasies

dhondt. Ada implementation of D’Hondt electoral result calculator

rp2350_hal. Hardware access layer for Raspberry Pi's RP2350.

ACATS-grading. Tools for grading ACATS results, modified for Unix-like systems

xia. An Ada implementation of XPath 1.0.

libadalang2xml. Generates an XML representation of Ada source using libadalang.

adagoop. Generator of object-oriented parsers in Ada

ada_caser. Adjusts case in Ada source.

Quaternions. An Ada library to support using quaternions.

leak_detector. Reports memory leaks in Ada programs.

gnat-llvm. LLVM based GNAT compiler

xcode_15_fix. Xcode/CLT version 15 introduced problems for Ada programming on macOS.

scripted_testing. Supports functional testing using Tcl scripts.

synchronized_output. Supports text logging from multiple tasks

parallelize. Reads commands and executes them in parallel.

asis2xml. Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.

spark2014. SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

learnxinyminutes-docs. Code documentation written as code! How novel and totally my idea!

macos-sdks-vs-gcc. Provides GCC 'specs' files to cope with macOS SDK policy changes

minimal_containers. Just enough containers for ColdFrame.

emacs-settings. My .emacs settngs.

gnat_util. Provides access to GNAT compiler internals for AdaCore utilities

mathpaqs. Mathpaqs: a collection of mathematical packages in pure Ada