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…	13	472	November 18, 2025
Welcome to the Ada forum	9	2134	June 16, 2024
Interfacing Git	6	106	December 3, 2025
Use of Ada in HW verification: a new opportunity to save the world	31	658	December 2, 2025
[NEWS] Airbus A320 software update news	6	201	December 2, 2025
Is SPARK in ADA a theorem prover? spark , ada	12	215	December 2, 2025
People might want to watch this	10	298	December 2, 2025
Comparing the development costs and other benefits of Ada or SPARK vs other languages ada , spark	15	1374	December 1, 2025
Advent of Code 2025 bonus	0	60	December 1, 2025
Anybody tried OpenAI-API from Ada?	2	86	December 1, 2025
SPARK: Validate Float Type Implementation spark	9	127	December 1, 2025
Is there interest in prebuilt binaries for the gnat-llvm? gnat , ada	8	271	November 29, 2025
More Ada Jobs (Nov2025) job	4	464	November 29, 2025
How could this code raise a Constraint_Error at runtime?	15	170	November 28, 2025
GNAT Studio Editor Performance Problems	3	88	November 27, 2025
Linux distribution for alire	20	371	November 27, 2025
GNAT toolchain now broken after OS upgrade to MacOS 26 (Tahoe), arm64	24	612	November 27, 2025
Configure toolchain per project in Alire alire	6	144	November 26, 2025
Ada Drivers Library for STM32-F446RE embedded	6	141	November 26, 2025
[ANN] Looking for volunteers for an Ada funding committee ada , funding , user-society	5	303	November 26, 2025
Looking for x11ada or alternative	11	188	November 25, 2025
SPARK formal containers -- cannot prove X < Y spark	1	112	November 24, 2025
Basic Question: Interfacing With C Arrays, Somewhat Tangental ada	3	147	November 24, 2025
Rust took out cloudflare	51	469	November 23, 2025
When using Alire to build a crate, how to pass parameters to pre build stages	2	102	November 22, 2025
LLM generated code and utf-8 attacks	12	178	November 20, 2025
Using SPARK (gnatprove) with preconditions spark	1	81	November 17, 2025
Warning: pragma Overflow_Mode in code is ignored spark	2	111	November 16, 2025
What's the best way to acheive this with alire?	2	99	November 15, 2025
(ARTICLE) Ada: Should developers revisit the veteran programming language?	0	132	November 14, 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…