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…	14	545	December 20, 2025
Welcome to the Ada forum General	9	2157	June 16, 2024
UTF-8, Identifiers and dealing with Strings in Ada General ada	86	229	December 23, 2025
[Charity] Advent of Ada/SPARK 2025 Submissions Advent of Code spark	85	842	December 23, 2025
Getting gnatdoc to produce non-rst output General	10	105	December 22, 2025
[ANN] Looking for volunteers for an Ada funding committee General ada , funding , user-society	12	485	December 22, 2025
Discussions about SPARK Math implementation (integer and fixed-point operations) General spark , math	0	39	December 22, 2025
Gerrit will soon support Ada syntax highlighting Releases	0	76	December 21, 2025
Invalid Data in Invariant Check in Contract_Cases General spark	1	49	December 20, 2025
Advice on operator overloading General ada	9	140	December 20, 2025
Ada 2022 'parallel' implementation beta for FSF GCC/GNAT Releases gnat , ada	4	240	December 20, 2025
Can't link an executable with Shared Libraries General	7	101	December 19, 2025
Middle-Ground Learning Resources General linux , embedded , ada	48	408	December 18, 2025
SPARK gnatprove on Get_Line says "initialization check might fail" General spark	2	57	December 18, 2025
Why can't you use Predicate_Failure on a vector? General	1	62	December 18, 2025
Just seen this on LI General	0	94	December 17, 2025
Embedded. Fail to write to register General embedded	11	136	December 17, 2025
IANA Timezone Datetime Manipulation Library for Ada 2022 Releases embedded , gnat , ada , spark , alire	0	42	December 17, 2025
Ada/SPARK, marketing, reach and the abysmal state of things General spark , ada	21	833	December 20, 2025
Ada Developers Workshop @ AEiC 2025 - Paris, June 13th Events	11	527	December 16, 2025
[Alire] Which rp2040 runtime? General	9	99	December 16, 2025
POLL: What are the top three most needed open-source crates for Ada 2022? General spark , embedded , alire , gnat , ada	10	173	December 15, 2025
2025 Day 10: Factory Advent of Code	3	76	December 15, 2025
IANA Timezone Information File Library for Ada 2022 Releases gnat , spark , ada , embedded	2	99	December 14, 2025
What is the state of Ada on Android? General	9	185	December 14, 2025
ANN: Strings edit v3.10 Releases	7	220	December 14, 2025
Use of Alire and aggregate projects General alire , gnat	3	106	December 14, 2025
Using Ada.Text_IO.Put_Line inside Ada function owned by C function? General ada	3	92	December 14, 2025
Functional Programming Library for Ada 2022 Releases	7	261	December 14, 2025
2025 Day 8: Playground Advent of Code spoilers	6	85	December 13, 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…