Login
Ada for Game Developers: Modules and Packages
26 October 2023 at 11:04
submitted by /u/Lucretia9
[link] [comments]
Normal view
Before yesterdayAda: When the software HAS to work
Ada for Game Developers 3: Functions and Procedures
25 October 2023 at 15:07
Common HOL Phase 1 Reports
30 August 2023 at 13:44
Ada Monthly Meeting - #10 by Irvise - Events
28 June 2023 at 18:28
[COTY] SDLAda-2.5.5 submitted
31 December 2022 at 14:31
Hi,
Just to inform people that SDLAda isn't dead, yet, it's just dormant. I finally got around my issues with alire and submitted the 2.5.5 crate.
https://github.com/AdaCore/Ada-SPARK-Crate-Of-The-Year/issues/22
[link] [comments]