GitHub repository: AdaCore/Robotics_with_Ada
Primary language: Ada
Description: Robotics with Ada, ARM, and Lego