|
[ANN] adacovex v1.69.0: WIP compiler-like proof diagnostics
|
|
0
|
50
|
November 13, 2026
|
|
Fine-tuning 8b AI model on Ada/SPARK
|
|
14
|
460
|
November 4, 2026
|
|
[ANN] adacovex v1.63.0: Better perf, cross platform support
|
|
0
|
67
|
October 22, 2026
|
|
Ada Talk at Carolina Code Conference
|
|
7
|
365
|
October 19, 2026
|
|
[ANN]: adacovex 1.58.0: SPARK proof coverage metric
|
|
10
|
290
|
October 11, 2026
|
|
Septum version 1.0.0
|
|
1
|
127
|
October 1, 2026
|
|
AdaCL.Serial is on Alire — and a call for SPARK eyes
|
|
9
|
352
|
September 24, 2026
|
|
Alire pull requests — again
|
|
20
|
447
|
September 24, 2026
|
|
[ANN]: adacovex 1.40.0: Full fledged documentation site and other niceties
|
|
3
|
202
|
September 13, 2026
|
|
Migrating ARM cross toolchains to the latest version
|
|
5
|
170
|
September 9, 2026
|
|
Tutorial for Alire
|
|
10
|
250
|
September 2, 2026
|
|
ANN: Configurable bareboard runtimes v16.0.0
|
|
0
|
87
|
September 1, 2026
|
|
[ANN] adacovex 1.14.0: Multiple Compliance Standards, plenty of QOL updates
|
|
2
|
179
|
August 29, 2026
|
|
Alire with microbit v1
|
|
6
|
199
|
August 24, 2026
|
|
Ada SPARK Office Hours - 2026-08-14
|
|
5
|
288
|
August 20, 2026
|
|
Startup-gen 26.0.0 Build Failure
|
|
6
|
154
|
August 19, 2026
|
|
Ada SPARK Office Hours - 2026-07-31
|
|
8
|
333
|
August 11, 2026
|
|
Problem with Publishing assistant: step 11
|
|
2
|
172
|
August 8, 2026
|
|
In Alire, how to use SPARKlib without all assertions enabled?
|
|
5
|
233
|
July 29, 2026
|
|
[HOWTO] Easily add unit tests to an Alire crate
|
|
12
|
375
|
July 15, 2026
|
|
New Tutorial: How to Set Up Unit Tests and SPARK Proofs
|
|
0
|
105
|
July 14, 2026
|
|
Packaging and Examples for the Ada 2022 Parallel features implementation
|
|
0
|
163
|
June 28, 2026
|
|
An embedded ecosystem for beginners
|
|
8
|
486
|
June 22, 2026
|
|
Crdt version 1.1.0
|
|
1
|
190
|
June 11, 2026
|
|
Installing libadalang_tools via alire in Void Linux musl fails with missing dependency libgmp
|
|
3
|
136
|
June 8, 2026
|
|
Pi-Ada-Tutorial: Crates compiling on Linux/macOS but failing on Windows CI
|
|
13
|
326
|
May 24, 2026
|
|
Using GtkAda with alire
|
|
14
|
825
|
May 15, 2026
|
|
ANN: Configurable bareboard runtimes v15.4.0
|
|
0
|
109
|
May 11, 2026
|
|
Getting Started with ncurses ada
|
|
8
|
627
|
April 24, 2026
|
|
Chapter 5 – RGB LED with PWM + strange hang on delay until with embedded_rp2040 (help wanted)
|
|
2
|
158
|
April 15, 2026
|