Ada Forum

Topic	Replies	Views	Activity
Ada Developers Workshop @ AEiC 2025 - Paris, June 13th Events Dear community, it pleases me to announce the second edition of the Ada Developers Workshop, which will be taking place within the wider Ada-Europe international Conference on Reliable Software Technologies, Paris 10-13…	9	326	June 13, 2025
Welcome to the Ada forum General	9	1903	June 16, 2024
Is there an Ada badge like the Alire one? General	41	578	June 14, 2025
Don't forget to fill out the 2025 Stack Overflow Survey! (closing soon?) General	0	57	June 13, 2025
Anyone interested in resurrecting an open source strict Ada 83 (mil-std 1815A) compiler? General	59	1296	June 12, 2025
SPARK Verified Postfix Expression Calculator General spark	3	114	June 12, 2025
Specifying major order for packed matrix General	11	188	June 11, 2025
Simon J Wright - RIP General	27	994	June 10, 2025
Ada development einvironment on Windows General	5	107	June 10, 2025
Ada Continues to Climb in June TIOBE Index and PYPL General	0	3387	June 10, 2025
Ada Bootstrap compiler funding thanks to nlnet! General	47	1106	June 8, 2025
VSS.JSON vs GNATCOLL.JSON General	5	704	June 8, 2025
[Reminder] The PragmAda Reusable Components General	9	201	June 6, 2025
Article: NVIDIA drives Ada and SPARK into driverless cars General spark	0	230	June 6, 2025
GNAT FSF 15 released Releases gnat	4	371	June 6, 2025
NVIDIA publishes SPARK Process to meet ISO-26262 requirements General spark	1	121	June 4, 2025
Implementation of generic units in Ada 83 General	32	539	June 4, 2025
Getting Started with ncurses ada General gnat , linux , alire	7	150	June 4, 2025
How to locate waste of CPU? General	16	211	June 4, 2025
Generics and compilation time General	14	188	June 4, 2025
Assigning to Array Index Doesn't Guarantee Equality Check in Spark General spark	5	109	June 3, 2025
REMINDER: Free online participation in the Ada Developers Workshop, June 13th Events	1	246	June 3, 2025
Choice_simple_expression and tested_simple_expression General	3	56	June 1, 2025
Globe_3d 2025-04-18 Releases	6	177	June 1, 2025
I added a couple of AdaCore repos to Deepwiki General ada	0	74	June 1, 2025
New 0.7.0 Release of Ironclad kernel Releases ada , spark , embedded	0	90	May 31, 2025
A New SPARK Webinar In June from AdaCore Events spark	0	59	May 31, 2025
ObjectAda 10.6 Released Releases	2	200	May 30, 2025
How "safe" is Ada? General	3	166	May 30, 2025
Help making SPARK-compatible function that mutates arguments and returns variant record General spark	12	219	May 30, 2025

Ada Developers Workshop @ AEiC 2025 - Paris, June 13th

Dear community, it pleases me to announce the second edition of the Ada Developers Workshop, which will be taking place within the wider Ada-Europe international Conference on Reliable Software Technologies, Paris 10-13…