[kevlar700]

Hardware products like sensor and control devices. I also use it for desktop tooling whenever a script wants a for loop. Unfortunately I use Flutter for GUI stuff because I hate js and because it has Android/IOS plugins that I would have to write if using Gnoga.

[nicce]

How is Ada without touching anything commercial?

[ajdude]

A huge portion of Ada's modern ecosystem is MIT/apache or similar licensed, and available via Alire: https://alire.ada.dev/crates.html

A great deal of that are driver libraries for sbcs and other embedded frameworks, but there's plenty for things like web services and even a few game engines in there.

[nicce]

But the biggest advantage in Ada is the the syntax and good compilers that can empower that syntax. These compilers are the expensive part and most worrying. Availability of the libraries does not matter that much if you can't access the good compilers. I would be particularly interested about the features of open-source compilers vs. these commercial ones. Also, whether there are any effective verification/proofs available on those open-source compilers.