5 ms·
A huge portion of Ada's modern ecosystem is MIT/apache or similar licensed, and available via Alire: https://alire.ada.dev/crates.html https://alire.ada.dev/cra
by ajdude 2y ago
A huge portion of Ada's modern ecosystem is MIT/apache or similar licensed, and available via Alire: https://alire.ada.dev/crates.html 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 2y agoBut 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.