I created the High Integrity Sumobot using Ada/SPARK and high integrity software engineering techniques. I wanted to make it easy for people interested in Ada/SPARK to see how all the pieces fit ...
Getting started tutorial - https://docs.arduino.cc/tutorials/nano-rp2040-connect/rp2040-ble-device-to-device Requires the Arduino BLE Library - https://www.arduino.cc ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results