Ada
This intro is great.
Links
- Awesome Ada
- Libadalang - Library for parsing and semantic analysis of Ada code.
- Ada Language Server
- GNAT LLVM - Experimental Ada compiler based on LLVM, connecting the GNAT front-end to the LLVM code generator.
- Introduction to Ada Programming (HN)
- HN: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System (2020)
- Alire - Catalog of ready-to-use Ada libraries plus a command-line tool. (Code) (Article) (HN)
- Cowgol - Self-hosted Ada-inspired programming language for very small systems.
- Ada Improvements Ideas
- HAC - Experimental Ada compiler, fully in Ada. (Web)
- Giving Ada a chance (2021) (Lobsters) (HN)
- Ada for the C++ and Java Developer (HN)
- Ada for the Embedded C Developer (2021)
- Comparing Ada to Other Languages
- Programming with Ada Docs (Code)
- Going beyond Ada 2022 (HN)
- Learning to Love a Rigid and Inflexible Language (2021) (Lobsters)
- Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory (2016) (Code)
- Summary After Four Months with Ada (2021) (HN)
- Clearing up Myths about Ada (HN)
- How Masten Space Systems Is Using Ada and Spark to Land on the Moon's South Pole (HN)
- AURA: Ada User Repository Annex - Native package manager and build system for Ada. (Article) (HN)
- Ada on any ARM Cortex-M device, in just a couple minutes (2021)
- Lessons from Learning Ada in 2021 (HN)
- Hacking the Linux Kernel in Ada (2022)
- GNAT Studio - Lightweight, extensible IDE, intended to develop high-integrity software in Ada and SPARK, with support for C and C++ as well.
- SPARK - Software development technology specifically designed for engineering high-reliability applications.
- Augusta - Ada compiler in Scala.
- Ada Tutorial
- VSS - High level string and text processing library.
- Ada Process API (spawn) - Provides simple API to spawn processes and communicate with them.
- Writing Ada Bindings for C Libraries (2012)
- What's New in Ada 2022 (HN)
- Adding Ada to Rust (2022)
- Introduction to Embedded Systems Programming (Ada) (HN)
- Ada Training Material
- Clearing the Air about Ada
- Rust bindings for Ada
- SweetAda - Ada-language framework.
- Getting Started With Ada by Way of Rust (2023)
- A month in Ada (2023)