yet another Ada web site?

• awesome-ada

  20 577 7.6

  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

• alire

  29 255 9.3 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.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• programming-with-ada

  8 18 6.7 Python

  Discontinued A guide for learning about the Ada Programming Language.

• rust

  2,682 92,831 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

• rust-analyzer

  132 13,551 10.0 Rust

  A Rust compiler front-end for IDEs

  

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

• book

  626 14,211 6.9 Rust

  The Rust Programming Language

  

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

• crates.io

  660 2,796 10.0 Rust

  The Rust package registry

  

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

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• ada_language_server

  18 219 9.6 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