Linking pages
- Get Ada installed on your computer today - GetAda https://getada.dev 115 comments
- GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming language https://github.com/ohenley/awesome-ada 28 comments
- Announcing The First Ada/SPARK Crate Of The Year… | The AdaCore Blog https://blog.adacore.com/announcing-the-first-ada-spark-crate-of-the-year-award 13 comments
- GitHub - reznikmm/esp32-gnat-rts: This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit https://github.com/reznikmm/esp32-gnat-rts 5 comments
- Announcing the 2023 Ada/SPARK Crate of the Year⦠| The AdaCore Blog https://blog.adacore.com/announcing-the-2023-ada-spark-crate-of-the-year-award 5 comments
- Announcing The 2022 Ada/SPARK Crate Of The Year… | The AdaCore Blog https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award 2 comments
- GitHub - reznikmm/ada-howto: Collection of How-to documents for Ada https://github.com/reznikmm/ada-howto 0 comments
Related searches:
Search whole site: site:t.me
Search title: Telegram: Contact @ada_lang
See how to search.