Hello here, AdaCore just announced the 3rd edition of the Crate of the Year Awards.
This time there is no need to register, winning crates will be selected from all the crates in the Alire ecosystem.
I am opening this thread as a place for everyone to discuss which crate they think would be a good candidate or even promote their crate.
Have fun and happy hacking!
7 posts - 4 participants
Hi all,
We finally have GNAT FSF 13 builds available in Alire, in a separate branch for now. To try it, add an index like so:
Loginalr index "--add=git+https://github.com/alire-project/alire-index#gnat-fsf-13.1.0" --name=gnat_fsf_13 --before=community
Apologies for the delay, this release was particularly difficult to build for no good reasons (GitHub CI, time available, etc.). Also note that the compilers hosted on macOS x86_64 are missing, I will try to make them available ASAP.
1 post - 1 participant
Hello here,
The agenda for the 2023 GAP Workshop is available and registrations open (for GAP members only):
2 posts - 2 participants
AdaCore is releasing the Ada Horizon logo in the public domain:
Thereβs also a small website to make your own version: ada-logo-editor | Static website that provides easy customization of the Ada horizon logo
20 posts - 9 participants
Hello here,
As announced on the blog today, for each person completing one of the Advent of Code challenges using the Ada programming language, AdaCore will donate $10 to the Ada Developers Academy, up to a total of $5,000. And for those willing to go an extra mile, AdaCore will donate $20 if the solution is implemented in SPARK with at least proof of absence of run-time errors (a.k.a. Silver level).
To submit your solutions, reply to this post with a line of the following format:
[<pseudonym>][<day>][<Ada or SPARK>]<link to solution source code>
For instance, if I solve the 3rd day problem using Ada:
[Fabien-Chouteau][3][Ada] https://github.com/Fabien-Chouteau/advent-of-ada/β¦
And the 5th day using SPARK:
[Fabien-Chouteau][5][SPARK] https://github.com/Fabien-Choutea/advent-of-ada/β¦
Happy hacking!
178 posts - 25 participants
Using Alire 1.2.1 if you update your index (alr index --update-all) you will have access to the new gnatdoc implementation based on Libadalang.
This is the opportunity for me to start on project I have in mind since a long time, a website that provides a collection of documentation from all the Alire crates (a.k.a. docs.ada.dev).
I would like to gather feedback here, what this website should look like and do in your opinion?
Or even, is it a good idea to make such website as opposed to push documentation to existing platforms like readthedocs.org?
16 posts - 8 participants
1 post - 1 participant
