yet another Ada web site?

1. awesome-ada

   1 20 724 5.5

   A curated list of awesome resources related to the Ada and SPARK programming language

   

   At the moment we have * Reddit, a news aggregator, Awesome Ada link list, and they work good too. (Thank involved people for this!) * Organization/company based sites, and they work good (e.g. adaic.org, ada-auth.org, sigada.org, adacore.com) * Chats, comp.lang.ada "news group" * Wiki books * Ada Programming (Is it updated?) * Ada Style Guide (It looks like to be never updated since uploading) * person-driven sites are often biassed, become outdated and abandoned * For example, adapower.com, getadanow.com, learnadanow.com are not updated (e.g. no Alire mention), have expired SSL certificate and dead links. (Sorry David, it's just for example!). * long(?) list of dead or frozen sites * adahome.com - alive, not updated * adaworld.com - has changed owner * planet.ada.wtf not resolved * ancient Public Ada Library (PAL) gone * per country community is mostly alive * adaspain.org is't responding

2. Stream

   getstream.io featured

   Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

   

3. alire

   2 29 335 9.0 Ada

   Command-line tool from the Alire project and supporting library

   

   #1157 on Alire's GitHub page raises this issue as well. I've placed a comment over there. If the website's code is located on GitHub, it would be easier for users to contribute and get deployed automatically.

4. programming-with-ada

   3 8 18 6.7 Python

   Discontinued A guide for learning about the Ada Programming Language.

5. rust

   4 2,850 104,879 10.0 Rust

   Empowering everyone to build reliable and efficient software.

   

   - I think I found a bug in your compiler: https://github.com/rust-lang/rust/issues

6. rust-analyzer

   5 139 15,210 10.0 Rust

   A Rust compiler front-end for IDEs

   

   - Help, I need guidance in my editor: https://rust-analyzer.github.io/

7. book

   6 657 16,339 9.6 Rust

   The Rust Programming Language

   

   - I want to learn Rust: https://doc.rust-lang.org/book/

8. crates.io

   7 673 3,235 10.0 Rust

   The Rust package registry

   

   - I am looking for a library that does X: https://crates.io/

9. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

10. ada_language_server

    8 18 268 9.7 Ada

    Server implementing the Microsoft Language Protocol for Ada and SPARK

    

    If I'm being honest, Ada has most of that too. There is no Ada-equivalent to rustup.rs (but that may be coming soon), but alire's documentation is pretty straightforward. Want to start a new project? alr init --bin foo && cd foo && alr build Rust has rust-analyzer, but Ada also has the Ada Language Server. You can open issues on github for gnat, and we are all familiar with alire.ada.dev and learn.adacore.com.

Suggest a related project