ohenley/awesome-ada
View on GitHub ↗ ★ 876
A curated list of awesome resources related to the Ada and SPARK programming language
7 mentions on Hacker News by 7 people: 0 stories, 7 comments · first 2019-08-04 · latest 2026-02-25
20082026
-
…Anki and spaced repetition is useful to learn the terminology or any info that isn't intuitive. 2. https://github.com/ohenley/awesome-ada has links to pretty much every Ada topic and resource; if you want to try Ada using open source…
comment by phba · 2026-02-25 · in Ask HN: Starting a New Role with Ada -
…formal verification framework for Ada. [0] https://www.adaic.org/ada-resources/standards/ada22/ [1] https://github.com/ohenley/awesome-ada#compilers
comment by tremon · 2025-11-01 · in Open-Source Ada: From Gateware to Application -
https://github.com/ohenley/awesome-ada
comment by Davidbrcz · 2025-09-03 · in Introduction to Ada: a project-based exploration with rosettas -
That's not quite true. There are multiple vendors providing Ada compilers to industry: https://github.com/ohenley/awesome-ada?tab=readme-ov-file#co...
comment by ajxs · 2025-06-05 · in Ada and SPARK enter the automotive ISO-26262 market with Nvidia -
…help you with Ada related problems are on Stack Overflow, Reddit or Gitter too. I think list here: https://github.com/ohenley/awesome-ada#Community is the best place to start to ask for help. And about the language popularity: as for…
comment by thindil · 2021-02-19 · in Coding in Ada: Strings (IV) Unbounded to String -
…https://www.adacore.com/uploads/books/pdf/ePDF-Implementatio... http://www.loper-os.org/?p=1913 https://github.com/ohenley/awesome-ada
comment by johnisgood · 2019-11-03 · in The AdaOS Operating System (2000) -
…good tutorials that cover Ada including Ada 2012 features. I recently found this Awesome Ada list ( https://github.com/ohenley/awesome-ada/blob/master/README.md ) and have found it useful to discover libraries and frameworks written in…
comment by thesuperbigfrog · 2019-08-04 · in The OpenBSD Ada Library