• AVR-Ada
• Using Arduino with Ada
• Programming AVR with Ada
• Ada Driver Library for ARM Cortex-R and Cortex-M

Articles

Making robots with Ada

By Patrick Rogers in Embedded.

• Part 1
• Part 2 Driving the motors
• Part 3 Working with analog sensors

Hacking the Linux kernel in Ada

In Linux.com.

• Part 1 Review of a kernel module, build strategy, and Ada integration.
• Part 2 Modeling of the problem in Ada.
• Part 3 Practical Ada binding to the C kernel APIs.

Video

• Fabien Chouteau