Hacker News
- Gnat 2021 GPL Community Edition Ada 202x compiler released https://www.adacore.com/download 81 comments
- GNAT 2021 Community Edition download link disappeared https://www.adacore.com/download 20 comments ada
- GNAT 2021 Community Edition now available for download https://www.adacore.com/download 11 comments ada
- GNAT Community Edition 2020 is available to download https://www.adacore.com/download 13 comments ada
Linking pages
- Ada 2012 http://www.ada2012.org 71 comments
- Ada on the micro:bit | The AdaCore Blog https://blog.adacore.com/ada-on-the-microbit 44 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
- Using Pointers in SPARK | The AdaCore Blog https://blog.adacore.com/using-pointers-in-spark 25 comments
- The Make with Ada competition is back! | The AdaCore Blog https://blog.adacore.com/the-make-with-ada-competition-is-back 13 comments
- The most secure programming language you’ve probably never even heard of… | by Jannis Kirschner | Medium https://medium.com/@jannis.kirschner/the-most-secure-programming-language-youve-probably-never-even-heard-of-4ed9f7d73ade 12 comments
- GNAT Community 2020 is here! | The AdaCore Blog https://blog.adacore.com/gnat-community-2020-is-here 10 comments
- GNAT Community 2021 is here! | The AdaCore Blog https://blog.adacore.com/gnat-community-2021-is-here 10 comments
- Ada for micro:bit Part 1: Getting Started | The AdaCore Blog https://blog.adacore.com/ada-for-microbit-part-1-getting-started 8 comments
- Ada on FPGAs with PicoRV32 | The AdaCore Blog https://blog.adacore.com/ada-on-fpgas-with-picorv32 6 comments
- Make with Ada 2020: The SmartBase - IoT Adjustable… | The AdaCore Blog https://blog.adacore.com/make-with-ada-the-smartbase 2 comments
- GitHub - stcarrez/ada-keystore: Ada Keystore - protect your sensitive data with secure storage https://github.com/stcarrez/ada-keystore 1 comment
- Make with Ada 2020: Ada Robot Car With Neural… | The AdaCore Blog https://blog.adacore.com/ada-robot-car-with-neural-network 1 comment
- Make with Ada 2020: CryptAda - (Nuclear) Crypto on… | The AdaCore Blog https://blog.adacore.com/make-with-ada-2020-cryptada 1 comment
- GNAT Community 2018 is here! | The AdaCore Blog https://blog.adacore.com/gnat-community-2018 0 comments
- From Zero to Blinky in Ada | Jeremy Grosser https://synack.me/ada/pico/2021/03/03/from-zero-to-blinky-ada.html 0 comments
- GitHub - jklmnn/STOTP: SPARK TOTP library https://github.com/jklmnn/STOTP 0 comments
- An Expedition into Libadalang | The AdaCore Blog https://blog.adacore.com/an-expedition-into-libadalang 0 comments
- AdaCore Announces Winners of Fifth Annual “Make with Ada”… | AdaCore https://www.adacore.com/press/winners-fifth-annual-make-with-ada-competition 0 comments
- Mini SAM M4 Ada BSP | The AdaCore Blog https://blog.adacore.com/mini-sam-m4-ada-bsp 0 comments
Related searches:
Search whole site: site:www.adacore.com
Search title: Commercial software solutions for Ada, C and C++ | AdaCore
See how to search.