Ada Forum

Topic	Replies	Views	Activity
Ada Monthly Meetup, 7th of February 2026 Events Hello everybody! I would like to announce the February (2026) Ada Monthly Meetup which will be taking place on the 7th of February at 14:00 UTC time (15:00 CEST). As always the meetup will take place over at Jitsi. The …	5	194	February 3, 2026
Welcome to the Ada forum General	9	2212	June 16, 2024
Wide_Wide_Text_IO can't encde "è" correctly General	49	164	February 3, 2026
Change GtkAda-intl.gpd to GtkAda-intl.adb with build_skeleton.pl General	15	84	February 3, 2026
Steps to implement the distributed annex from scratch General	38	408	February 3, 2026
Ada 2022 Related Cheat Sheets Releases embedded , spark , alire , ada , gnat	0	31	February 3, 2026
Found compiler bug(?) with 3 or more Duration factors General	3	67	February 2, 2026
It wasn't encouraging (re UTF8) General	3	82	February 2, 2026
Bug: Aggregate with iterator over empty array not assignable Help	10	142	February 1, 2026
Source for the Ada- Compiler General	26	430	January 30, 2026
[Charity] Advent of Ada/SPARK 2025 Submissions Advent of Code spark	104	1392	January 30, 2026
Problem with installing Gtkada or gcc or or code Hello World Gtkada? General	13	230	January 28, 2026
Can imported C enums be resized? General	8	117	January 27, 2026
Simon J Wright - RIP General	30	1575	January 27, 2026
GUI in C, Subprograms in Ada? Help ada	12	164	January 26, 2026
Use of Ada in HW verification: a new opportunity to save the world General	47	942	January 26, 2026
No 'Truncation attribute for fixed points types General	35	515	January 26, 2026
SPARK_Mode does not like Indefinite_Holders? General spark	2	95	January 24, 2026
Has 2025 been a good year for Ada? General article	1	154	January 24, 2026
The future of PolyORB and the DSA General gnat	27	520	January 24, 2026
New How-to in Ada-Lang: creating a plugin system General	7	172	January 23, 2026
SPARK Verified Postfix Expression Calculator General spark	8	354	January 21, 2026
AdaCore libraries 26.0 information Releases alire , ada , spark	2	143	January 21, 2026
SPARKlib adds functional trees Releases spark	6	157	January 21, 2026
[Alire] Which rp2040 runtime? General	11	202	January 20, 2026
ANN: Arch linux ~ Breakage of gnatstudio package and new alternative General	7	96	January 20, 2026
Google Summer of Code 2026, Ada's participation? Events	6	215	January 20, 2026
Setting up database as complete beginner General	20	166	January 20, 2026
How to finde postconditions to spark a rubik's cube? Help math , spark	3	97	January 19, 2026
Alire GTKAda build fails to run due to duplicate LC_RPATH error General alire	3	121	January 18, 2026

Ada Monthly Meetup, 7th of February 2026

Hello everybody! I would like to announce the February (2026) Ada Monthly Meetup which will be taking place on the 7th of February at 14:00 UTC time (15:00 CEST). As always the meetup will take place over at Jitsi. The …