|
Welcome to the Ada forum
|
|
9
|
2181
|
June 16, 2024
|
|
Feedback? A WIP "fun" presentation of Ada
|
|
12
|
122
|
January 8, 2026
|
|
AEiC 2026 - Ada-Europe conference - Journal Track Deadline Extended
|
|
0
|
18
|
January 8, 2026
|
|
Fixed Point Numbers
|
|
27
|
528
|
January 8, 2026
|
|
Just a thought: Ada should be perfect for vibe coding
|
|
10
|
192
|
January 8, 2026
|
|
GNAT toolchain now broken after OS upgrade to MacOS 26 (Tahoe), arm64
|
|
28
|
803
|
January 7, 2026
|
|
Installed gnatformat via alire on Windows and it does... nothing
|
|
19
|
181
|
January 7, 2026
|
|
[Charity] Advent of Ada/SPARK 2025 Submissions
|
|
101
|
1219
|
January 6, 2026
|
|
Is there anything for Alire to take from this?
|
|
1
|
86
|
January 6, 2026
|
|
Division by Zero on Float types
|
|
2
|
106
|
January 5, 2026
|
|
What is the PATH for the ada_language_server binary in FreeBSD?
|
|
5
|
102
|
January 5, 2026
|
|
ANN: Simple Components v4.78
|
|
0
|
60
|
January 5, 2026
|
|
Ada on the PYPL index
|
|
22
|
1583
|
January 5, 2026
|
|
Is there interest in prebuilt binaries for the gnat-llvm?
|
|
25
|
409
|
January 4, 2026
|
|
Ada User Society Yearly (2025) Bulletin
|
|
4
|
175
|
January 4, 2026
|
|
UTF-8, Identifiers and dealing with Strings in Ada
|
|
95
|
468
|
January 3, 2026
|
|
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?
|
|
104
|
1393
|
January 1, 2026
|
|
Error message: missing "with Ada.Strings.Equal_Case_Insensitive;"?
|
|
3
|
101
|
December 31, 2025
|
|
2025 Crate of the Year Awards!
|
|
18
|
691
|
December 31, 2025
|
|
Ada 2022 'parallel' implementation beta for FSF GCC/GNAT
|
|
5
|
322
|
December 30, 2025
|
|
VSS and other issues
|
|
2
|
89
|
December 29, 2025
|
|
[Help] how to configure develop environment with alire?
|
|
5
|
196
|
December 29, 2025
|
|
Getting up to speed with Ada changes chronologically
|
|
4
|
155
|
December 29, 2025
|
|
[ANN] SweetAda on Veecom
|
|
0
|
81
|
December 28, 2025
|
|
Cheatsheet: GNAT Formatting Defaults
|
|
2
|
121
|
December 27, 2025
|
|
[Vaton] How to add support for string to fixed-point with SPARK proof?
|
|
0
|
57
|
December 26, 2025
|
|
Is the default export/import aspect C? Is C++ valid too?
|
|
2
|
84
|
December 26, 2025
|
|
ANN: AOR JSONA - Typed extraction from JSON payloads via path-based, indexed navigation
|
|
3
|
121
|
December 26, 2025
|
|
Unable to run/debug on Nucleo STMF401RE with embedded-nucleo_f401re runtime
|
|
5
|
97
|
December 25, 2025
|
|
Getting gnatdoc to produce non-rst output
|
|
12
|
155
|
December 23, 2025
|