Demo of Ada/Spark Language on Arduino with PlatformIO (Alire is used for toolchain only) alr exec -- gprbuild -P demo PlatformIO Build and Upload