This is specifically for hardware. Looks really cool! I’ve always been confused about Ada the language and its licensing though. I know this project is open source but is the language as well? It’s unclear to me, though I may be missing information
As ISO standards driven language with multiple implementations, commercial and open source ones.
The open source one is part of GCC.