awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language (by ohenley)
crates.io
The Rust package registry (by rust-lang)
Our great sponsors
awesome-ada | crates.io | |
---|---|---|
20 | 660 | |
577 | 2,796 | |
- | 2.1% | |
7.6 | 10.0 | |
19 days ago | 3 days ago | |
Rust | ||
Creative Commons Zero v1.0 Universal | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
awesome-ada
Posts with mentions or reviews of awesome-ada.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-25.
-
yet another Ada web site?
At the moment we have * Reddit, a news aggregator, Awesome Ada link list, and they work good too. (Thank involved people for this!) * Organization/company based sites, and they work good (e.g. adaic.org, ada-auth.org, sigada.org, adacore.com) * Chats, comp.lang.ada "news group" * Wiki books * Ada Programming (Is it updated?) * Ada Style Guide (It looks like to be never updated since uploading) * person-driven sites are often biassed, become outdated and abandoned * For example, adapower.com, getadanow.com, learnadanow.com are not updated (e.g. no Alire mention), have expired SSL certificate and dead links. (Sorry David, it's just for example!). * long(?) list of dead or frozen sites * adahome.com - alive, not updated * adaworld.com - has changed owner * planet.ada.wtf not resolved * ancient Public Ada Library (PAL) gone * per country community is mostly alive * adaspain.org is't responding
-
I remade the ada logo what do you think ?
I too are partial to the Ada (the person) logos. The modern takes in the awesome-ada site are my favorite. In particular the previous one was very cool: https://github.com/ohenley/awesome-ada/tree/f0e3df247119dd3730c4bda6cac0e0c3fd93087c
-
Ada Library and Tutorial Requests
All libraries listed in awesome-ada added to Alire.
-
Request for comments: an idea for a central repository of knowledge and resources for Ada
awesome-ada
-
Lessons Learnt Moving a GTK Application from Go to Ada
In order to find good examples for Ada, I think we should add all our projects to the curated list of awesome Ada resources. OK, it won't be curated if we add everything, but in fact it's far from being crowded. It can be curated later if it overgrows. In my opinion, both these projects (Dashera and Yotroc) ought to be included, and they aren't.
-
Hi I am a beginner and i am interested in Ada
Depends on the libs, see [Awesome Ada][https://github.com/ohenley/awesome-ada]
-
Open discussion: Ada needs import (?)
If it's not in Alire, second step is looking in the curated list of Ada projects (and then follow README or BUILDING instructions): https://github.com/ohenley/awesome-ada
-
Alire has reached 200 Crates!
There are still many interesting projects in https://github.com/ohenley/awesome-ada and other sources, which are not indexed by Alire, so there is room for improvement.
-
The Ada ecosystem?
In terms of bootstrapping your environment and getting started, I'd recommend looking at Vim-Ada and Awesome Ada. I also tried to write up some practical advice from my experience, which might be helpful.
-
Is Ada used only for embedded systems?
On Awesome Ada list, you can find examples of Ada usage outside embedded development.
crates.io
Posts with mentions or reviews of crates.io.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-03-26.
-
Migrating a JavaScript frontend to Leptos, a Rust framework
So, be sure to double-check your critical libraries and be sure their alternatives exist in the Rust ecosystem. Thereβs a good chance the crates you need are available in Rust's crates.io repository.
-
Learning Rust: A clean start
The previous section was very simple, this section is also very simple but introduces us to cargo which is Rust's package manager, as a JS dev my mind goes straight to NPM.
-
#2 Rust - Cargo Package Manager
Now, there has to be a place where all these packages come from. Similar to npmjs registry, where all node packages are registered, stored and retrieved, Rust also has something called crates.io where many helpful packages and dependencies are registered.
-
Rust π¦ Installation + Hello World
Before proceeding, let's check https://crates.io/, the official Rust package registry.
-
Underestimating rust for my Project.
The most thrilling aspect has been the joy of writing the backend. It's like every struct, enum, and method in Rust forms this interconnected Multiverse of code , which you can see in crates.io which is best Documentation experience I Ever Had.
-
Top 10 Rusty Repositories for you to start your Open Source Journey
5. Crates.io
-
Project Structure Clarification Coming From Python - With Example
When using crates from eg. crates.io, and also things like std and core
-
Cargo has never frustrated me like npm or pip has. Does Cargo ever get frustrating? Does anyone ever find themselves in dependency hell?
Vendoring your packages was very tedious to even remotely get to work with Cargo. I spent a very long time getting Cargo to work together with cargo-local-registry. We vendor crates from crates.io and a custom internal registry.
-
How did I need to know about feature rwh_05 for winit?
So this is my question: Which way was the right to find it out? There is no info about this feature on crates.io. I also have no clue what exactly it does and why it is named rwh_05.
-
15,000 Go Module Repositories on GitHub Vulnerable to Repojacking Attack
Rust does it so much better with https://crates.io . I don't know why Go can't (or won't) do something similar.
What are some alternatives?
When comparing awesome-ada and crates.io you can also consider the following projects:
alire-index - Community index for the Alire project
docs.rs - crates.io documentation generator
ghdl - VHDL 2008/93/87 simulator
plotters - A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely π¦ ππ
browser-compat-data - This repository contains compatibility data for Web technologies as displayed on MDN
Cargo - The Rust package manager
gnatstudio - GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
trunk - Build, bundle & ship your Rust WASM application to the web.
OpenGLAda - Thick Ada binding for OpenGL and GLFW
gtk4-rs - Rust bindings of GTK 4
ASFML - Ada binding to the SFML library
Rocket - A web framework for Rust.