Basic editing setup in Emacs - does anyone have this working?
|
|
5
|
372
|
September 5, 2023
|
GNAT-LLVM (for macOS)
|
|
1
|
341
|
August 29, 2023
|
IDE, your alternative to gnatstudio?
|
|
27
|
2188
|
August 27, 2023
|
Two SPARK questions
|
|
9
|
433
|
August 25, 2023
|
HAC for native targets - blog post
|
|
7
|
330
|
August 22, 2023
|
Basic computer games: rewrite in Ada?
|
|
16
|
520
|
August 13, 2023
|
Using GNAT Studio with WSL 2
|
|
0
|
245
|
August 11, 2023
|
SweetAda on NEORV32
|
|
2
|
356
|
August 10, 2023
|
GNAT FSF 13 available in Alire [preview]
|
|
0
|
404
|
August 10, 2023
|
Exercism Ada Track
|
|
5
|
474
|
August 7, 2023
|
Gnatdoc and generic package parameters
|
|
6
|
311
|
July 27, 2023
|
[SOLVED] How do i add constraints/contracts to a generic parameter?
|
|
5
|
926
|
July 22, 2023
|
Questions about concurrency with Ghost data in SPARK
|
|
3
|
363
|
July 14, 2023
|
GNAT Pro Roadmap
|
|
5
|
479
|
July 13, 2023
|
"Unmatched actual" in instantiation of a generic package
|
|
1
|
345
|
July 12, 2023
|
A good Ada cheatsheet?
|
|
4
|
556
|
July 8, 2023
|
Starting Ada - It has to work
|
|
47
|
2047
|
July 8, 2023
|
Ada on the PYPL index
|
|
0
|
316
|
July 1, 2023
|
Using AWS with Alire and SSL
|
|
2
|
351
|
June 26, 2023
|
Ada-based applications in Android?
|
|
7
|
497
|
June 19, 2023
|
Ada 2022 Language Standard to be Published by Springer
|
|
4
|
448
|
June 14, 2023
|
How are you using Ada, and how would you like to use Ada?
|
|
31
|
977
|
October 22, 2022
|
Alire: error: Configuration variable 'cortex_m.core not set and has no default value
|
|
1
|
250
|
June 2, 2023
|
ST-Link vs openocd
|
|
0
|
300
|
June 2, 2023
|
Buffered Streams
|
|
5
|
399
|
May 26, 2023
|
New project: Alice
|
|
2
|
495
|
May 26, 2023
|
Wikipedia articles about GNAT
|
|
1
|
333
|
May 25, 2023
|
Combine .ads and .adb to one .ada file
|
|
34
|
1721
|
May 23, 2023
|
Machine learning in Ada (an ONNX runtime binding)
|
|
4
|
783
|
May 9, 2023
|
Running Ada in the browser
|
|
6
|
483
|
May 1, 2023
|