|
[URGENT] Participation in Google Summer of Code 2024
|
|
14
|
601
|
February 22, 2024
|
|
Parallelize 1.0.0 released
|
|
0
|
178
|
February 20, 2024
|
|
Comparing the development costs and other benefits of Ada or SPARK vs other languages
|
|
5
|
282
|
February 18, 2024
|
|
AEiC 2024 - Ada-Europe conference - Deadlines Approaching
|
|
0
|
100
|
February 16, 2024
|
|
ASFML 2.6.0 (Ada binding to SFML) has been released
|
|
0
|
154
|
February 14, 2024
|
|
[off topic] Licensing question on MPL
|
|
5
|
177
|
February 13, 2024
|
|
Network programming with sockets
|
|
8
|
264
|
February 13, 2024
|
|
Generic Image Decoder (GID) version 12
|
|
1
|
162
|
February 13, 2024
|
|
AEiC 2024 - Ada-Europe conference - CfC for Additional Tracks
|
|
0
|
617
|
February 6, 2024
|
|
If statement missing return value
|
|
4
|
196
|
February 5, 2024
|
|
Question about Wide_Wide_String and Unicode code points
|
|
6
|
211
|
February 1, 2024
|
|
[Webinar] Jan 31- AdaCore “Memory Safety with Formal Proof”
|
|
0
|
141
|
January 30, 2024
|
|
"Subtype Predicates, or Why Was I Not Imformed?", a Drama in Two Acts
|
|
11
|
282
|
January 25, 2024
|
|
What is a "name" in Ada?
|
|
6
|
278
|
January 23, 2024
|
|
ULID (Universally Unique Lexicographically Sortable Identifier) in Ada
|
|
6
|
276
|
January 22, 2024
|
|
Perplexion with Reduction expressions
|
|
8
|
267
|
January 22, 2024
|
|
Ada/SPARK Industrial Automation?
|
|
11
|
349
|
January 22, 2024
|
|
Alr get gnatdoc missing external for libgmp
|
|
3
|
174
|
January 20, 2024
|
|
2023 Crate of the Year Awards!
|
|
26
|
1051
|
January 14, 2024
|
|
LearnXinY for Ada
|
|
7
|
285
|
January 13, 2024
|
|
Lightweight Parallelism library based on Ada 2022 features
|
|
3
|
727
|
January 9, 2024
|
|
AEiC 2024 - Ada-Europe conference - Journal Track Deadline Extended
|
|
0
|
108
|
January 8, 2024
|
|
Irenic language comparisons and questions: Ada and Rust; AoC 2023 Day 13
|
|
10
|
342
|
January 7, 2024
|
|
How to link specific C language headers
|
|
5
|
174
|
January 7, 2024
|
|
Looking for Ada Programmers to hire
|
|
14
|
879
|
January 7, 2024
|
|
Learn.adacore.com is great
|
|
1
|
203
|
January 6, 2024
|
|
2023 Day 19: Aplenty
|
|
13
|
402
|
January 4, 2024
|
|
[Charity] Advent of Ada/SPARK 2023 Submissions
|
|
128
|
1705
|
January 4, 2024
|
|
Learning resources
|
|
9
|
392
|
January 3, 2024
|
|
Usinging alire installs outside of alire?
|
|
10
|
250
|
January 3, 2024
|