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…	1	220	July 10, 2025
Welcome to the Ada forum General	9	2038	June 16, 2024
Fun with half-precision floats, loops, vectorization-SIMD and shortcomings General	2	40	September 17, 2025
What is the ideal way to configure alire/gprbuild? General gnat , alire , ada	4	97	September 17, 2025
Type conversion is non-static expression? General	7	42	September 17, 2025
Does 'Reduce always return an Integer type rather than the base element? General	3	33	September 17, 2025
Ada Monthly Meetup, 13th of September Events	4	431	September 16, 2025
Install Gtkada 2025 windows General	8	106	September 16, 2025
Postconditions for input values General	8	170	September 16, 2025
ADL in Alire project General	2	117	September 12, 2025
GNAT.Sockets.Receive_Socket vs. String'Input (Channel)? General ada	1	70	September 12, 2025
GtkAda & OpenGL General graphics	3	207	September 12, 2025
Why do you keep using Ada? General	14	448	September 12, 2025
Demo of 'Arcana' game written Ada General	2	114	September 11, 2025
Be careful about using AI directly with production code General	1	133	September 10, 2025
SI Units poll - Who uses SI units in operational software? Experiences General	0	55	September 10, 2025
GNAT Studio with remote development? General	3	88	September 9, 2025
SI Units - Checked and Unchecked General	2	73	September 9, 2025
GNAT compiler is confused General	8	138	September 9, 2025
[about extension in vscode] how to enable real time static analysis? General	1	75	September 7, 2025
How to delete a file from a GitHub branch General	6	86	September 7, 2025
Ada on the PYPL index General	15	951	September 6, 2025
AdaCL 6.3.0 Release Announcement Releases ada , text_io , regexp , i18n	0	88	September 4, 2025
Hp41cx_tool 1.7.0 Release Announcement Releases ada , regexp , aunit , alire	0	43	September 6, 2025
Why I plan to use SPARK everywhere General spark	23	223	September 6, 2025
AWS does not handle timeout during SSL handshake General security	1	73	September 5, 2025
Several Ada Jobs At Raytheon General job	0	315	September 5, 2025
How to add unit test General	5	128	September 4, 2025
How to create a new GitHub release General	5	123	September 4, 2025
PSA: Cleaning up "The GNU Ada compiler on sourceforge" General gnat , ada	6	279	September 4, 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…