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	87	July 10, 2025
Welcome to the Ada forum General	9	1949	June 16, 2024
GUI Libraries - Suggestions General ada	13	114	July 15, 2025
Odd behaviour with indefinite types General	12	106	July 15, 2025
Hosting an Ada web app General ada	6	126	July 15, 2025
SI Units Checked and Unchecked Releases	3	41	July 14, 2025
How to update the Alire Crate Status page? General alire	2	78	July 14, 2025
[AdaCore Webinar] Introduction to Formal Verification with SPARK General spark	0	43	July 14, 2025
What is the difference between "or Body ("Main") use "Sudoku.adb"; and for Main use ("Sudoku.adb"); General	5	79	July 14, 2025
The configured project file:///Sudoku.gpr does not exist General	3	56	July 13, 2025
Rosetta Code Task "Amb" fails to compile General	6	152	July 12, 2025
I'm going over Ada code "cloned" from the Rosetta Code web site; I think this topic was discussed earlier, but couldn't find it General	3	136	July 12, 2025
ANN: Simple Components 4.75 Releases	0	41	July 12, 2025
ANN: Strings edit 3.9 Releases	0	35	July 12, 2025
Specific instance of passing a function to a function; not yet connecting all the dots General	4	42	July 12, 2025
Call in a .gpr file General	9	112	July 12, 2025
Win32ada fails to compile with gcc 15.1.0 General	5	194	July 11, 2025
How to uninstall alire on Windows General alire	1	92	July 11, 2025
Raised PROGRAM_ERROR : finalize/adjust raised exception General ada	2	69	July 10, 2025
How to make an access to a single element of an array using indefinite types General	10	219	July 9, 2025
Very dumb review question: How to 'pass a function' to a procedure in Ada? General	10	173	July 9, 2025
Zip-Ada version 61 Releases	1	134	July 8, 2025
ANN: New configurable STM32 bareboard runtimes Releases embedded , gnat , runtime , bare-board	0	60	July 8, 2025
Ada Bootstrap compiler funding thanks to nlnet! General	48	1274	July 6, 2025
Ada on the PYPL index General	7	720	July 6, 2025
Info about Ada Monthly Meetup, Ada Developers Workshop 2025 and some more General	2	147	July 6, 2025
Scalar object 'Valid attribute General	9	112	July 6, 2025
Announce: bare board runtime generator version 0.0.1 Releases gnat , runtime , bare-board	0	66	July 5, 2025
A gem amongst gems General	8	166	July 5, 2025
QtAda6 progress Releases binding	1	174	July 3, 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…