Login
Added Adamant
25 November 2023 at 22:03
Added Adamant
Normal view
Before yesterdayAwesome Ada
Change HTTPS to HTTP for Ada-Europe.org
10 November 2023 at 19:42
Change HTTPS to HTTP for Ada-Europe.org Work around for the problem reported by the link checker (see issue #115)
New home for AdaChess in GitHub
10 November 2023 at 19:40
New home for AdaChess in GitHub Close #117
Update README.md
3 November 2023 at 13:28
Update README.md
Update README.md
3 November 2023 at 13:28
Update README.md
Update README.md
3 November 2023 at 13:27
Update README.md
Add augusta
21 October 2023 at 18:13
Add augusta
Update Ironclad homepage
9 October 2023 at 18:41
Update Ironclad homepage
set latest crate of the year link
20 September 2023 at 20:08
set latest crate of the year link
make with ada is no more
20 September 2023 at 20:07
make with ada is no more
Two more libraries for units of measurement
20 July 2023 at 19:55
Two more libraries for units of measurement
all lower case for consistency
19 July 2023 at 12:07
all lower case for consistency
Merge pull request #114 from Irvise/master
19 July 2023 at 05:56
Merge pull request #114 from Irvise/master Add HiRTOS and SweetAda
Add SweetAda framework
19 July 2023 at 05:53
Add SweetAda framework
Add HiRTOS
19 July 2023 at 05:48
Add HiRTOS
Add URL for oggada
16 July 2023 at 08:11
Add URL for oggada
Fix branch name in action
16 July 2023 at 08:05
Fix branch name in action
Include bindings from phasercat.com
9 July 2023 at 22:03
Include bindings from phasercat.com vulkada and adaogg
aunit: libre.adacore.com no longer available, linked to GitHub project
1 July 2023 at 10:32
aunit: libre.adacore.com no longer available, linked to GitHub project As any of the other collected open-source projects by AdaCore.