HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
ohenley
awesome-ada
Languages & Compilers2019–2026
ohenley / awesome-ada

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

7Distinct people
7Mentions
0Explicit recommenders
881GitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

A curated list of awesome resources related to the Ada and SPARK programming language

GitHub

Where it is used

No documented product use has been verified yet.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by year7 dated mentions

Observed mentions: 2019-08-04 14:05:51 UTC to 2026-02-25 20:31:33 UTC.

01232019-01-01 00:00:00 UTC to 2020-01-01 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments20192020-01-01 00:00:00 UTC to 2021-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2021-01-01 00:00:00 UTC to 2022-01-01 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments2022-01-01 00:00:00 UTC to 2023-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments20222023-01-01 00:00:00 UTC to 2024-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-01-01 00:00:00 UTC to 2025-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2025-01-01 00:00:00 UTC to 2026-01-01 00:00:00 UTC (exclusive): 3 mentions; 0 submissions, 3 comments2026-01-01 00:00:00 UTC to 2027-01-01 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments. Incomplete calendar period.2026*

* An incomplete calendar period is marked with an outlined bar. Its count is not directly comparable with a full period.

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
20192019-01-01 00:00:00 UTC2020-01-01 00:00:00 UTC202
20202020-01-01 00:00:00 UTC2021-01-01 00:00:00 UTC000
20212021-01-01 00:00:00 UTC2022-01-01 00:00:00 UTC101
20222022-01-01 00:00:00 UTC2023-01-01 00:00:00 UTC000
20232023-01-01 00:00:00 UTC2024-01-01 00:00:00 UTC000
20242024-01-01 00:00:00 UTC2025-01-01 00:00:00 UTC000
20252025-01-01 00:00:00 UTC2026-01-01 00:00:00 UTC303
2026 (partial)2026-01-01 00:00:00 UTC2027-01-01 00:00:00 UTC101

What Hacker News says

7 sources
1. Ask questions, and write down the answers in a way that you will find them again. 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 tools, the best starting point is https://alire.ada.dev/docs/ 3. Compared to C/C++ I can't really think of any pitfalls. It requires more discipline and formal reasoning, but you will get used to it (and appreciate the lack of footguns, at least I did). Congrats and good luck.
In Ask HN: Starting a New Role with Ada
What do you mean with "is the language open source"? The Ada specification is public [0] but not open source -- but the C and C++ specifications are not open source either, in the normal sense of the term. And like with C and C++, there are both open source and proprietary compilers for Ada, see e.g. [1] What's mostly not open source (FAFAIK) is SPARK, the formal verification framework for Ada. [0] https://www.adaic.org/ada-resources/standards/ada22/ [1] https://github.com/ohenley/awesome-ada#compilers
In Open-Source Ada: From Gateware to Application
I think, there are that same many ways to use Ada strings as C/C++. Ada and UTF-8 works very nice out of the box, it doesn't need any 3rd parties libraries (at least I never needed them and I use both each day :)). Out of curiosity, what do you mean by "lack of infrastructure"? About 3rd party libraries, that's true, Ada is far behind more popular languages but due to it nice binding capabilities it is not a problem to use C or C++ libraries in the Ada projects. About comp.lang.ada I can say too much, I don't spend much time there. To be honest I stopped using Usenet many years ago. Many people who can 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 someon
Read the rest
e who is inside it, probably it looks for me too optimistic. :) But I think in the last few months Ada got a second (small, but second) chance.
In Coding in Ada: Strings (IV) Unbounded to String
In The AdaOS Operating System (2000)
learn.adacore.com (https://learn.adacore.com/courses/intro-to-ada/index.html) and the Ada Programming wikibook (https://en.wikibooks.org/wiki/Ada_Programming) are pretty 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 Ada. With the increased interest in safe programming that Rust has stoked, I am hopeful that Ada might also find some renewed interest.
In The OpenBSD Ada Library

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.