GitHub repository: AdaCore/embedded-runtimes
Primary language: Ada
Description: runtimes that add support for various boards to the GNAT GPL compiler for ARM