General

Topic	Replies	Views	Activity
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…	14	558	December 20, 2025
Welcome to the Ada forum	9	2164	June 16, 2024
Cheatsheet: GNAT Formatting Defaults alire , ada , spark , gnat	1	28	December 27, 2025
[Vaton] How to add support for string to fixed-point with SPARK proof? spark	0	31	December 26, 2025
Is the default export/import aspect C? Is C++ valid too?	2	49	December 26, 2025
Unable to run/debug on Nucleo STMF401RE with embedded-nucleo_f401re runtime embedded , gnat , bug , bare-board	5	92	December 25, 2025
UTF-8, Identifiers and dealing with Strings in Ada ada	93	383	December 24, 2025
Getting gnatdoc to produce non-rst output	12	149	December 23, 2025
GNAT light runtimes but with exception propagation spark	12	182	December 23, 2025
[ANN] Looking for volunteers for an Ada funding committee ada , funding , user-society	12	498	December 22, 2025
Discussions about SPARK Math implementation (integer and fixed-point operations) spark , math	0	58	December 22, 2025
Invalid Data in Invariant Check in Contract_Cases spark	1	53	December 20, 2025
Advice on operator overloading ada	9	143	December 20, 2025
Can't link an executable with Shared Libraries	7	104	December 19, 2025
Middle-Ground Learning Resources linux , embedded , ada	48	414	December 18, 2025
SPARK gnatprove on Get_Line says "initialization check might fail" spark	2	60	December 18, 2025
Why can't you use Predicate_Failure on a vector?	1	67	December 18, 2025
Just seen this on LI	0	100	December 17, 2025
Embedded. Fail to write to register embedded	11	136	December 17, 2025
Ada/SPARK, marketing, reach and the abysmal state of things spark , ada	21	837	December 20, 2025
[Alire] Which rp2040 runtime?	9	104	December 16, 2025
POLL: What are the top three most needed open-source crates for Ada 2022? spark , embedded , alire , gnat , ada	10	176	December 15, 2025
What is the state of Ada on Android?	9	189	December 14, 2025
Use of Alire and aggregate projects alire , gnat	3	106	December 14, 2025
Using Ada.Text_IO.Put_Line inside Ada function owned by C function? ada	3	93	December 14, 2025
Alire: Why does a crate's build config not get committed?	6	72	December 11, 2025
Congratulation on Your 210th Birthday, Lady Ada	1	58	December 10, 2025
[Reminder] The PragmAda Reusable Components	10	307	December 10, 2025
Do you use Artificial Intelligence for Ada coding?	6	154	December 10, 2025
Basic alire autocompletion script	4	96	December 9, 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…