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	208	July 10, 2025
Welcome to the Ada forum General	9	2032	June 16, 2024
Ada Monthly Meetup, 13th of September Events	3	274	September 13, 2025
Postconditions for input values General	0	30	September 13, 2025
ADL in Alire project General	2	99	September 12, 2025
GNAT.Sockets.Receive_Socket vs. String'Input (Channel)? General ada	1	54	September 12, 2025
GtkAda & OpenGL General graphics	3	190	September 12, 2025
Why do you keep using Ada? General	14	413	September 12, 2025
Demo of 'Arcana' game written Ada General	2	94	September 11, 2025
Be careful about using AI directly with production code General	1	126	September 10, 2025
SI Units poll - Who uses SI units in operational software? Experiences General	0	49	September 10, 2025
GNAT Studio with remote development? General	3	82	September 9, 2025
SI Units - Checked and Unchecked General	2	70	September 9, 2025
GNAT compiler is confused General	8	134	September 9, 2025
[about extension in vscode] how to enable real time static analysis? General	1	72	September 7, 2025
How to delete a file from a GitHub branch General	6	83	September 7, 2025
Ada on the PYPL index General	15	926	September 6, 2025
AdaCL 6.3.0 Release Announcement Releases ada , text_io , regexp , i18n	0	85	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	215	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	1	289	September 10, 2025
How to add unit test General	5	123	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	276	September 4, 2025
Vikram-3201: India’s Custom 32-bit Processor Built for Ada General	2	243	September 3, 2025
Emulating Pointer-To-Member General ada	12	261	September 2, 2025
More Ada 83 authors than I had realised General	4	187	September 2, 2025
[ask] how to from c/c++/java to ada ? just for fun General	11	284	September 1, 2025
The newly created Ada Users Society... A preview General	35	829	September 1, 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…