|
Septum version 1.0.0
|
|
1
|
80
|
October 1, 2026
|
|
Fine-tuning 8b AI model on Ada/SPARK
|
|
12
|
341
|
September 28, 2026
|
|
AdaCL.Serial is on Alire — and a call for SPARK eyes
|
|
9
|
303
|
September 24, 2026
|
|
Alire pull requests — again
|
|
20
|
349
|
September 24, 2026
|
|
[ANN]: adacovex 1.40.0: Full fledged documentation site and other niceties
|
|
3
|
183
|
September 13, 2026
|
|
Migrating ARM cross toolchains to the latest version
|
|
5
|
146
|
September 9, 2026
|
|
Tutorial for Alire
|
|
10
|
191
|
September 2, 2026
|
|
ANN: Configurable bareboard runtimes v16.0.0
|
|
0
|
74
|
September 1, 2026
|
|
[ANN] adacovex 1.14.0: Multiple Compliance Standards, plenty of QOL updates
|
|
2
|
163
|
August 29, 2026
|
|
Alire with microbit v1
|
|
6
|
162
|
August 24, 2026
|
|
Ada SPARK Office Hours - 2026-08-14
|
|
5
|
265
|
August 20, 2026
|
|
Startup-gen 26.0.0 Build Failure
|
|
6
|
129
|
August 19, 2026
|
|
Ada SPARK Office Hours - 2026-07-31
|
|
8
|
301
|
August 11, 2026
|
|
Problem with Publishing assistant: step 11
|
|
2
|
162
|
August 8, 2026
|
|
In Alire, how to use SPARKlib without all assertions enabled?
|
|
5
|
189
|
July 29, 2026
|
|
[HOWTO] Easily add unit tests to an Alire crate
|
|
12
|
347
|
July 15, 2026
|
|
New Tutorial: How to Set Up Unit Tests and SPARK Proofs
|
|
0
|
95
|
July 14, 2026
|
|
Packaging and Examples for the Ada 2022 Parallel features implementation
|
|
0
|
134
|
June 28, 2026
|
|
An embedded ecosystem for beginners
|
|
9
|
452
|
September 20, 2026
|
|
Crdt version 1.1.0
|
|
1
|
173
|
June 11, 2026
|
|
Installing libadalang_tools via alire in Void Linux musl fails with missing dependency libgmp
|
|
3
|
114
|
June 8, 2026
|
|
Pi-Ada-Tutorial: Crates compiling on Linux/macOS but failing on Windows CI
|
|
13
|
292
|
May 24, 2026
|
|
Using GtkAda with alire
|
|
14
|
778
|
May 15, 2026
|
|
ANN: Configurable bareboard runtimes v15.4.0
|
|
0
|
101
|
May 11, 2026
|
|
Getting Started with ncurses ada
|
|
8
|
596
|
April 24, 2026
|
|
Chapter 5 – RGB LED with PWM + strange hang on delay until with embedded_rp2040 (help wanted)
|
|
2
|
145
|
April 15, 2026
|
|
More power to GPRbuild
|
|
26
|
489
|
April 2, 2026
|
|
ANN: Configurable bareboard runtimes v15.2.0
|
|
19
|
455
|
March 29, 2026
|
|
Alire on native ARM hosts?
|
|
37
|
1458
|
March 16, 2026
|
|
Dev-container-ada: Professional Ada Dev Container
|
|
11
|
478
|
March 13, 2026
|