Open-Source Ada: From Gateware to Application

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

What do you mean with "is the language open source"? The Ada specification is public [0] but not open source -- but the C and C++ specifications are not open source either, in the normal sense of the term. And like with C and C++, there are both open source and proprietary compilers for Ada, see e.g. [1]

What's mostly not open source (FAFAIK) is SPARK, the formal verification framework for Ada.

[0] https://www.adaic.org/ada-resources/standards/ada22/

[1] https://github.com/ohenley/awesome-ada#compilers

The C++ (draft) standards are open source:

https://github.com/cplusplus/draft

Last time I looked I could not find an equivalent repository for the C standards.