Source code for crates.io
I agree with you on the numbers game - numbers are to be read with care. For example, the Rust crates.io ecosystem has multiple forks of an async tls crate, just for the reason that someone built it, but couldn't stomach the maintenance. Rust also has a tendency to break larger libraries into small ones aggressively. And, because it's the central repository, whole ecosystems get published there (I know a company that publishes ~2000 crates, which are not practical for individual use.)
A curated list of awesome resources related to the Ada and SPARK programming language
There are still many interesting projects in https://github.com/ohenley/awesome-ada and other sources, which are not indexed by Alire, so there is room for improvement.
Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.
Lessons Learnt Moving a GTK Application from Go to Ada
2 projects | reddit.com/r/ada | 11 Mar 2022
Hi I am a beginner and i am interested in Ada
2 projects | reddit.com/r/ada | 5 Mar 2022
Open discussion: Ada needs import (?)
1 project | reddit.com/r/ada | 10 Jan 2022
Is Ada used only for embedded systems?
2 projects | reddit.com/r/ada | 6 Nov 2021
What can i actually do with Ada?
2 projects | reddit.com/r/ada | 27 Sep 2021