IDE, your alternative to gnatstudio?
|
|
27
|
1693
|
August 27, 2023
|
New ObjectAda release
|
|
0
|
228
|
August 27, 2023
|
Learning resources
|
|
5
|
239
|
August 26, 2023
|
Two SPARK questions
|
|
9
|
327
|
August 25, 2023
|
HAC version 0.26
|
|
5
|
384
|
August 24, 2023
|
HAC for native targets - blog post
|
|
7
|
248
|
August 22, 2023
|
Ada BFD 1.3.0 release
|
|
0
|
251
|
August 20, 2023
|
Basic computer games: rewrite in Ada?
|
|
16
|
454
|
August 13, 2023
|
Looking for Ada Programmers to hire
|
|
9
|
642
|
August 11, 2023
|
Using GNAT Studio with WSL 2
|
|
0
|
202
|
August 11, 2023
|
SweetAda on NEORV32
|
|
2
|
260
|
August 10, 2023
|
GNAT FSF 13 available in Alire [preview]
|
|
0
|
333
|
August 10, 2023
|
Exercism Ada Track
|
|
5
|
409
|
August 7, 2023
|
Announcing Ada binding to the wolfSSL library
|
|
0
|
216
|
August 3, 2023
|
SparkRC (Reusable Components)
|
|
0
|
215
|
August 1, 2023
|
Ada advocacy — Ada promoting missions — any proposals?
|
|
45
|
1255
|
July 31, 2023
|
Gnatdoc and generic package parameters
|
|
6
|
254
|
July 27, 2023
|
Cashe: A Money library for Ada
|
|
0
|
260
|
July 23, 2023
|
[SOLVED] How do i add constraints/contracts to a generic parameter?
|
|
5
|
759
|
July 22, 2023
|
Questions about concurrency with Ghost data in SPARK
|
|
3
|
303
|
July 14, 2023
|
GNAT Pro Roadmap
|
|
5
|
393
|
July 13, 2023
|
"Unmatched actual" in instantiation of a generic package
|
|
1
|
268
|
July 12, 2023
|
A good Ada cheatsheet?
|
|
4
|
427
|
July 8, 2023
|
Starting Ada - It has to work
|
|
47
|
1664
|
July 8, 2023
|
Ada on the PYPL index
|
|
0
|
267
|
July 1, 2023
|
Ada/SPARK support for Emacs org-babel
|
|
0
|
490
|
November 16, 2022
|
We need forum topics
|
|
2
|
382
|
June 28, 2023
|
Upcoming Ada-Related Conferences and Workshops
|
|
0
|
288
|
October 4, 2022
|
Gnu Emacs Ada mode 8.0 beta released
|
|
0
|
373
|
November 9, 2022
|
New release of vscode extension For Ada 23.0.14
|
|
0
|
393
|
February 21, 2023
|