|
Ada SPARK Office Hours - 2026-07-31
|
|
2
|
88
|
August 1, 2026
|
|
In Alire, how to use SPARKlib without all assertions enabled?
|
|
5
|
124
|
July 29, 2026
|
|
[HOWTO] Easily add unit tests to an Alire crate
|
|
12
|
290
|
July 15, 2026
|
|
New Tutorial: How to Set Up Unit Tests and SPARK Proofs
|
|
0
|
85
|
July 14, 2026
|
|
Problem with Publishing assistant: step 11
|
|
1
|
94
|
July 12, 2026
|
|
Packaging and Examples for the Ada 2022 Parallel features implementation
|
|
0
|
109
|
June 28, 2026
|
|
An embedded ecosystem for beginners
|
|
8
|
390
|
June 22, 2026
|
|
Crdt version 1.1.0
|
|
1
|
161
|
June 11, 2026
|
|
Installing libadalang_tools via alire in Void Linux musl fails with missing dependency libgmp
|
|
3
|
91
|
June 8, 2026
|
|
Pi-Ada-Tutorial: Crates compiling on Linux/macOS but failing on Windows CI
|
|
13
|
247
|
May 24, 2026
|
|
Using GtkAda with alire
|
|
14
|
734
|
May 15, 2026
|
|
ANN: Configurable bareboard runtimes v15.4.0
|
|
0
|
94
|
May 11, 2026
|
|
Getting Started with ncurses ada
|
|
8
|
536
|
April 24, 2026
|
|
Chapter 5 – RGB LED with PWM + strange hang on delay until with embedded_rp2040 (help wanted)
|
|
2
|
131
|
April 15, 2026
|
|
More power to GPRbuild
|
|
26
|
457
|
April 2, 2026
|
|
ANN: Configurable bareboard runtimes v15.2.0
|
|
19
|
424
|
March 29, 2026
|
|
Alire on native ARM hosts?
|
|
37
|
1398
|
March 16, 2026
|
|
Dev-container-ada: Professional Ada Dev Container
|
|
11
|
408
|
March 13, 2026
|
|
How do you make an Ada package available both for people who use Alire and people who do not?
|
|
11
|
479
|
March 5, 2026
|
|
Ada User Awards announcement!
|
|
0
|
250
|
February 18, 2026
|
|
Rand-ada: a random number generation toolkit for Ada
|
|
7
|
263
|
February 17, 2026
|
|
Gnatdoc installed using alire always raises PROGRAM_ERROR with "finalize/adjust raised exception"
|
|
2
|
93
|
February 8, 2026
|
|
AdaCore libraries 26.0 information
|
|
2
|
213
|
January 21, 2026
|
|
Alire GTKAda build fails to run due to duplicate LC_RPATH error
|
|
3
|
176
|
January 18, 2026
|
|
Cheatsheet: GNAT Formatting Defaults
|
|
2
|
174
|
December 27, 2025
|
|
ANN: AOR JSONA - Typed extraction from JSON payloads via path-based, indexed navigation
|
|
3
|
167
|
December 26, 2025
|
|
IANA Timezone Datetime Manipulation Library for Ada 2022
|
|
0
|
66
|
December 17, 2025
|
|
POLL: What are the top three most needed open-source crates for Ada 2022?
|
|
10
|
321
|
December 15, 2025
|
|
Use of Alire and aggregate projects
|
|
3
|
160
|
December 14, 2025
|
|
Hybrid DDD/Clean/Hexagonal library starter for Ada 2022
|
|
1
|
90
|
December 10, 2025
|