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	82	July 10, 2025
Welcome to the Ada forum General	9	1948	June 16, 2024
Hosting an Ada web app General ada	6	104	July 15, 2025
Odd behaviour with indefinite types General	8	71	July 14, 2025
SI Units Checked and Unchecked Releases	3	22	July 14, 2025
How to update the Alire Crate Status page? General alire	2	68	July 14, 2025
[AdaCore Webinar] Introduction to Formal Verification with SPARK General spark	0	23	July 14, 2025
What is the difference between "or Body ("Main") use "Sudoku.adb"; and for Main use ("Sudoku.adb"); General	5	71	July 14, 2025
The configured project file:///Sudoku.gpr does not exist General	3	50	July 13, 2025
Rosetta Code Task "Amb" fails to compile General	6	148	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	133	July 12, 2025
GUI Libraries - Suggestions General ada	5	73	July 12, 2025
ANN: Simple Components 4.75 Releases	0	39	July 12, 2025
ANN: Strings edit 3.9 Releases	0	34	July 12, 2025
Specific instance of passing a function to a function; not yet connecting all the dots General	4	41	July 12, 2025
Call in a .gpr file General	9	107	July 12, 2025
Win32ada fails to compile with gcc 15.1.0 General	5	191	July 11, 2025
How to uninstall alire on Windows General alire	1	89	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	170	July 9, 2025
Zip-Ada version 61 Releases	1	133	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	1271	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	145	July 6, 2025
Scalar object 'Valid attribute General	9	111	July 6, 2025
Announce: bare board runtime generator version 0.0.1 Releases gnat , runtime , bare-board	0	65	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…