|
AdaCL.Serial is on Alire — and a call for SPARK eyes
|
|
5
|
139
|
September 3, 2026
|
|
[ANN]: adacovex 1.40.0: Full fledged documentation site and other niceties
|
|
2
|
111
|
September 3, 2026
|
|
Tutorial for Alire
|
|
10
|
140
|
September 2, 2026
|
|
ANN: Configurable bareboard runtimes v16.0.0
|
|
0
|
60
|
September 1, 2026
|
|
[ANN] adacovex 1.14.0: Multiple Compliance Standards, plenty of QOL updates
|
|
2
|
153
|
August 29, 2026
|
|
Alire with microbit v1
|
|
6
|
148
|
August 24, 2026
|
|
Ada SPARK Office Hours - 2026-08-14
|
|
5
|
232
|
August 20, 2026
|
|
Startup-gen 26.0.0 Build Failure
|
|
6
|
121
|
August 19, 2026
|
|
Ada SPARK Office Hours - 2026-07-31
|
|
8
|
287
|
August 11, 2026
|
|
Problem with Publishing assistant: step 11
|
|
2
|
155
|
August 8, 2026
|
|
In Alire, how to use SPARKlib without all assertions enabled?
|
|
5
|
172
|
July 29, 2026
|
|
[HOWTO] Easily add unit tests to an Alire crate
|
|
12
|
319
|
July 15, 2026
|
|
New Tutorial: How to Set Up Unit Tests and SPARK Proofs
|
|
0
|
90
|
July 14, 2026
|
|
Packaging and Examples for the Ada 2022 Parallel features implementation
|
|
0
|
123
|
June 28, 2026
|
|
An embedded ecosystem for beginners
|
|
8
|
408
|
June 22, 2026
|
|
Crdt version 1.1.0
|
|
1
|
166
|
June 11, 2026
|
|
Installing libadalang_tools via alire in Void Linux musl fails with missing dependency libgmp
|
|
3
|
101
|
June 8, 2026
|
|
Pi-Ada-Tutorial: Crates compiling on Linux/macOS but failing on Windows CI
|
|
13
|
270
|
May 24, 2026
|
|
Using GtkAda with alire
|
|
14
|
764
|
May 15, 2026
|
|
ANN: Configurable bareboard runtimes v15.4.0
|
|
0
|
99
|
May 11, 2026
|
|
Getting Started with ncurses ada
|
|
8
|
565
|
April 24, 2026
|
|
Chapter 5 – RGB LED with PWM + strange hang on delay until with embedded_rp2040 (help wanted)
|
|
2
|
139
|
April 15, 2026
|
|
More power to GPRbuild
|
|
26
|
466
|
April 2, 2026
|
|
ANN: Configurable bareboard runtimes v15.2.0
|
|
19
|
441
|
March 29, 2026
|
|
Alire on native ARM hosts?
|
|
37
|
1434
|
March 16, 2026
|
|
Dev-container-ada: Professional Ada Dev Container
|
|
11
|
435
|
March 13, 2026
|
|
How do you make an Ada package available both for people who use Alire and people who do not?
|
|
11
|
509
|
March 5, 2026
|
|
Ada User Awards announcement!
|
|
0
|
256
|
February 18, 2026
|
|
Rand-ada: a random number generation toolkit for Ada
|
|
7
|
270
|
February 17, 2026
|
|
Gnatdoc installed using alire always raises PROGRAM_ERROR with "finalize/adjust raised exception"
|
|
2
|
98
|
February 8, 2026
|