Ada - Everything I know

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)

Perl

Last modified 14d ago

Copy link