|
Welcome to the Ada forum
|
|
7
|
701
|
July 14, 2023
|
|
About the General category
|
|
0
|
168
|
September 26, 2022
|
|
2023 Crate of the Year Awards!
|
|
0
|
25
|
September 29, 2023
|
|
Initializing a discriminated record
|
|
6
|
68
|
September 28, 2023
|
|
US Government is requesting information on adoption of memory safe programming languages
|
|
0
|
75
|
September 24, 2023
|
|
How do I make a 2D Vector in Ada?
|
|
3
|
202
|
September 16, 2023
|
|
[Beginner] A question regarding reading from keyboard
|
|
2
|
147
|
September 6, 2023
|
|
Basic editing setup in Emacs - does anyone have this working?
|
|
5
|
133
|
September 5, 2023
|
|
GNAT-LLVM (for macOS)
|
|
1
|
160
|
August 29, 2023
|
|
IDE, your alternative to gnatstudio?
|
|
27
|
1353
|
August 27, 2023
|
|
Learning resources
|
|
5
|
135
|
August 26, 2023
|
|
Two SPARK questions
|
|
9
|
222
|
August 25, 2023
|
|
HAC for native targets - blog post
|
|
7
|
171
|
August 22, 2023
|
|
Basic computer games: rewrite in Ada?
|
|
16
|
345
|
August 13, 2023
|
|
Looking for Ada Programmers to hire
|
|
9
|
550
|
August 11, 2023
|
|
Using GNAT Studio with WSL 2
|
|
0
|
127
|
August 11, 2023
|
|
SweetAda on NEORV32
|
|
2
|
142
|
August 10, 2023
|
|
GNAT FSF 13 available in Alire [preview]
|
|
0
|
236
|
August 10, 2023
|
|
Exercism Ada Track
|
|
5
|
329
|
August 7, 2023
|
|
Ada advocacy — Ada promoting missions — any proposals?
|
|
45
|
1113
|
July 31, 2023
|
|
Gnatdoc and generic package parameters
|
|
6
|
170
|
July 27, 2023
|
|
[SOLVED] How do i add constraints/contracts to a generic parameter?
|
|
5
|
619
|
July 22, 2023
|
|
What's the state of Ada's LLVM compiler?
|
|
9
|
905
|
November 20, 2022
|
|
Questions about concurrency with Ghost data in SPARK
|
|
3
|
219
|
July 14, 2023
|
|
GNAT Pro Roadmap
|
|
5
|
307
|
July 13, 2023
|
|
"Unmatched actual" in instantiation of a generic package
|
|
1
|
178
|
July 12, 2023
|
|
A good Ada cheatsheet?
|
|
4
|
333
|
July 8, 2023
|
|
Starting Ada - It has to work
|
|
47
|
1322
|
July 8, 2023
|
|
Ada on the PYPL index
|
|
0
|
208
|
July 1, 2023
|
|
Using AWS with Alire and SSL
|
|
2
|
189
|
June 26, 2023
|