2024 Crate of the Year Awards!

Hello here, AdaCore just announced the 3rd edition of the Crate of the Year Awards . 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!

11 Likes

I was just wondering about this today. I’ll gladly participate, but I’ll need someone else to upload my code; they may not require explicit entry, but they still require a MicroSoft GitHub account, which I lack.

If you want I can add it to my Github account? Or should I create a new GitHub account on your behalf?

The simplest way would be for you, @bracke, to submit using your account, listing you as maintainer and @Verisimilitude as author, which reflects the actual situation.

3 Likes

I don’t use gprbuild or Alire, but I, too, have a collection of software on GitHub that might benefit from cratification, if someone would find that a worthwhile activity.

1 Like

How would you want it done? Like @mosteo wrote above or do want to use/modify your own GitHub repositories?

Built with and for Alire since day one, and gaining almost 200 points and over 100 replies on hacker news (including recognition from the rustup developers), and even a shout out in the Ada Community Workshop, I guess I should mention that getada is now a published Alire create :slight_smile:

3 Likes

I don’t want a MicroSoft GitHub account, but thanks for the offer. I’ll reread the Alire documentation and prepare the metadata soon.

I’ve forgotten how Alire handles code which needs to vary based on the system, if it provides any method for such.

The traditional, Alire-agnostic way, is to rely on a GPR external variable in your project that can then be set by Alire based on the detected environment via manifest definitions (gpr-set-externals).

Alternatively, you can rely on Alire generated configuration files, which will simplify the manifest and hide the issue entirely for clients of your crate.

2 Likes

Yes, I’m reading through the documentation again right now. I think, for one particularly simple library, the best thing will be to provide different files. For another, I’ll just cap it to GNU/Linux and call it a day.

I create Alire crates with SourceFource. Works fine. Examples here:

Just use the --tar option to create a TAR file instead of using GitHub repository. Details here: Release_As_Tar.command

2 Likes

I nominate my crates for developing embedded systems:

libsimpleio for building native executables targeting general purpose Linux distributions like Raspberry Pi OS.

muntsos_aarch64 for building cross-compiled executables targeting my own embedded systems optimized distribution MuntsOS Embedded Linux.

2 Likes

I guess I should get on this. I still have to have an account somewhere, right? I don’t, so I’ll have to bother someone here in all likelihood.

1 Like

Hey @Verisimilitude, long time no see. You can bother me until this friday :slight_smile:

Best regards,
Fer

2 Likes

Hi all,

the winners of the crate of the year have been announced! Ada/SPARK Crate Of The Year 2024 Winners Announced! | The AdaCore Blog

I am specially interested in the embeddable LISP! :smiley:
Also congratulations to @LionelDraghi and @kevlar700

All the best,
Fer

6 Likes

First, many thanks to AdaCore for the prize, and congrats to my fellows co-winners!

I’m trying to get some visibility outside of the Ada world. (bbt is not specific to Ada)
Because, first, I need more user’s feedback, and second I would be happy if an Ada tool was used outside our world.

I posted a short (but attention-grabbing !) message on DEV Community. It seems to be a complete fail :slight_smile:
There is one post per minute, after two hours mine is already relegated to the thens page, with a glorious zero comment / zero like :frowning:

Have you any idea of places that may be interested in testing/documentation/TDD BDD where I could drop a message?

5 Likes

Congratulations, @LionelDraghi, @kevlar700 and Brent Seidel!

I just published your article on Hacker News. It’s difficult to get traction there, but there’s nothing to lose in trying.

By the way, bbt has been very useful and easy to set up for testing my latest project. I’ve just set public the repository, and you can see here how I’m using it.

2 Likes

Hi Manuel,
When following the link, I have this

|[dead]|
||16 hours ago | hide | past | favorite|

Is it still online?

Same state for me when in incognito/private mode. When logged in it stays the same as when it was just submitted, with just 1 vote, so I’m not sure if it was dropped due to lack of attention, or I did something wrong, because I never saw a discuss link for it.