Ada Forum

Topic	Replies	Views	Activity
2025 Crate of the Year Awards! General Hello here, AdaCore just announced the 4th edition of the Crate of the Year Awards . No need to register, winning crates will be selected from all the crates in the Alire ecosystem. I am opening this thread as a place f…	13	513	November 18, 2025
Welcome to the Ada forum General	9	2154	June 16, 2024
Middle-Ground Learning Resources General linux , embedded , ada	48	358	December 18, 2025
Can't link an executable with Shared Libraries General	3	29	December 18, 2025
SPARK gnatprove on Get_Line says "initialization check might fail" General spark	2	23	December 18, 2025
Ada/SPARK, marketing, reach and the abysmal state of things General spark , ada	28	663	December 18, 2025
Why can't you use Predicate_Failure on a vector? General	1	46	December 18, 2025
Ada 2022 'parallel' implementation beta for FSF GCC/GNAT Releases gnat , ada	3	172	December 17, 2025
Just seen this on LI General	0	82	December 17, 2025
Embedded. Fail to write to register General embedded	11	133	December 17, 2025
IANA Timezone Datetime Manipulation Library for Ada 2022 Releases embedded , gnat , ada , spark , alire	0	39	December 17, 2025
[Charity] Advent of Ada/SPARK 2025 Submissions Advent of Code spark	79	734	December 16, 2025
Ada Developers Workshop @ AEiC 2025 - Paris, June 13th Events	11	521	December 16, 2025
[Alire] Which rp2040 runtime? General	9	91	December 16, 2025
POLL: What are the top three most needed open-source crates for Ada 2022? General spark , embedded , alire , gnat , ada	10	163	December 15, 2025
2025 Day 10: Factory Advent of Code	3	70	December 15, 2025
IANA Timezone Information File Library for Ada 2022 Releases gnat , spark , ada , embedded	2	98	December 14, 2025
What is the state of Ada on Android? General	9	180	December 14, 2025
ANN: Strings edit v3.10 Releases	7	219	December 14, 2025
Use of Alire and aggregate projects General alire , gnat	3	105	December 14, 2025
Using Ada.Text_IO.Put_Line inside Ada function owned by C function? General ada	3	91	December 14, 2025
Functional Programming Library for Ada 2022 Releases	7	256	December 14, 2025
2025 Day 8: Playground Advent of Code spoilers	6	83	December 13, 2025
2025 Day 12: Christmas Tree Farm Advent of Code	0	32	December 12, 2025
2025 Day 11: Reactor Advent of Code spoilers , ada	3	42	December 12, 2025
Alire: Why does a crate's build config not get committed? General	6	69	December 11, 2025
Congratulation on Your 210th Birthday, Lady Ada General	1	57	December 10, 2025
GNAT light runtimes but with exception propagation General spark	8	122	December 10, 2025
2025 Day 9: Movie Theater Advent of Code	4	56	December 10, 2025
[Reminder] The PragmAda Reusable Components General	10	306	December 10, 2025

2025 Crate of the Year Awards!

Hello here, AdaCore just announced the 4th edition of the Crate of the Year Awards . No need to register, winning crates will be selected from all the crates in the Alire ecosystem. I am opening this thread as a place f…