An Embedded USB Device stack in Ada
blog.adacore.com
A couple years ago I started to tackle what was probably my most daunting project at the time, an embedded USB Device stack written 100% in Ada.

SAMD51 and RP2040