Playground.arduino.cc will be read-only starting December 31st, 2018. For more info please look at this Forum Post

With AVR-Ada it is possible to program the Arduino devices in Ada.

Installation

Installation guides for AVR-Ada on:

Usage

Programming examples:

Programming

AVR specific information:

General information on Ada programming: