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…	16	601	December 28, 2025
Welcome to the Ada forum General	9	2170	June 16, 2024
Ada User Society Yearly (2025) Bulletin General	1	11	December 30, 2025
[Charity] Advent of Ada/SPARK 2025 Submissions Advent of Code spark	93	1006	December 30, 2025
Ada 2022 'parallel' implementation beta for FSF GCC/GNAT Releases gnat , ada	5	278	December 30, 2025
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK? General spark , ada	102	1199	December 30, 2025
VSS and other issues General	2	75	December 29, 2025
[Help] how to configure develop environment with alire? General ada	5	177	December 29, 2025
Getting up to speed with Ada changes chronologically General	4	138	December 29, 2025
[ANN] SweetAda on Veecom Releases bare-board	0	68	December 28, 2025
Cheatsheet: GNAT Formatting Defaults General alire , ada , spark , gnat	2	107	December 27, 2025
[Vaton] How to add support for string to fixed-point with SPARK proof? General spark	0	51	December 26, 2025
Is the default export/import aspect C? Is C++ valid too? General	2	76	December 26, 2025
ANN: AOR JSONA - Typed extraction from JSON payloads via path-based, indexed navigation Releases alire , ada	3	117	December 26, 2025
Unable to run/debug on Nucleo STMF401RE with embedded-nucleo_f401re runtime General embedded , gnat , bug , bare-board	5	94	December 25, 2025
UTF-8, Identifiers and dealing with Strings in Ada General ada	93	395	December 24, 2025
Getting gnatdoc to produce non-rst output General	12	151	December 23, 2025
GNAT light runtimes but with exception propagation General spark	12	185	December 23, 2025
[ANN] Looking for volunteers for an Ada funding committee General ada , funding , user-society	12	505	December 22, 2025
Discussions about SPARK Math implementation (integer and fixed-point operations) General spark , math	0	64	December 22, 2025
Gerrit will soon support Ada syntax highlighting Releases	0	92	December 21, 2025
Invalid Data in Invariant Check in Contract_Cases General spark	1	54	December 20, 2025
Advice on operator overloading General ada	9	148	December 20, 2025
Can't link an executable with Shared Libraries General	7	107	December 19, 2025
Middle-Ground Learning Resources General linux , embedded , ada	48	417	December 18, 2025
SPARK gnatprove on Get_Line says "initialization check might fail" General spark	2	63	December 18, 2025
Why can't you use Predicate_Failure on a vector? General	1	68	December 18, 2025
Just seen this on LI General	0	105	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

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…