A catalog of ready-to-use Ada/SPARK libraries plus a command-line tool (alr) to obtain, build, and incorporate them into your own projects. It aims to fulfill a similar role to Rust’s cargo or OCaml’s opam.
Related
Summary after Four Months with Ada — Programming with Ada documentation
pyjarrett.github.io · · Page
Learning to Love a Rigid and Inflexible Language
devblog.blackberry.com · · Page
Two studies related to Toyota's Unintended Acceleration case: Barr Group Prof Koopman at CMU
Going all-in with Ada: a manifesto : ada
reddit.com · · Page
Writing an Ada programmer's guide with Dynamo, Pandoc and Read the Docs
blog.vacs.fr · · Page
Assessing the Ada Language for Audio Applications
electronicdesign.com · · Page
A Random Walk Through Ada
cowlark.com · · Page
@orionwl @alicemazzy This is a neat little intro (2014) -