1
An Embedded USB Device stack completely in Ada
(blog.adacore.com)
About embedded programming, micro controllers, ARM Cortex M, RISC-V, Arduino, Micro:Bit, etc.