Bringing Freenove Experiments to Ada on the Raspberry Pi Pico
Tetris for ESP32 with Nintendo 64 controller support
ESP32 CYD version of the Electronic Shelf Label.
Synthesizing embedded control software from formal specifications
MGSyn - Automatic Synthesis for Industrial Automation