awesome-ada
alire
awesome-ada | alire | |
---|---|---|
20 | 29 | |
577 | 261 | |
- | 6.5% | |
7.6 | 9.3 | |
24 days ago | about 1 month ago | |
Ada | ||
Creative Commons Zero v1.0 Universal | GNU General Public License v3.0 only |
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
-
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.
alire
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
> I don't know if this tool solves the problem
Not yet but it's on my list as a "phase 2" of sorts for getada. I have an alpine VPS that I'm playing around with but the main issue is that while alire can be built for alpine, any compilers it pulls from its toolchain won't work with it since none of them are built against musl. We've been talking about it here https://github.com/alire-project/alire/issues/792#issuecomme...
- Alire 2.0 Released
-
MACbook M1 - alr, gnat development troubles
Join the club! And see this issue.
-
Since MSys2 dropped support for Ada (!), how can I build Ada projects such as sdlada and gprbuild-bootstrap that require command-line tools (e.g. makefiles or bootstrap.sh) on Windows?
Alire brings in msys2, so that's why I'm curious if it's still working on Windows. Easiest way to install alire on Windows is through the installer linked on their main website.
- Alire - inability to install some packages from the repository
-
Your feedback wanted on Alire policy about Unicode
We are considering if Alire should change defaults in regard to dealing with Unicode sources. The details are https://github.com/alire-project/alire/discussions/1334 if you're interested and want to provide some feedback.
-
FOSDEM 2023 – Get Started with Open Source Formal Verification
It's also worth mentioning that Ada and SPARK are very easy to pick up these days. There's Cargo-like tool Alire [1], Ada Language Server [2], official VSCode plugin [3] and Open VSX plugin [4], Emacs Ada mode [5] and GNAT Studio [6]. With Alire one can easily install GNAT FSF builds (meaning GPL with linking exception) and SPARK tools. All libre software.
Not to mention Ada being really versatile and well thought out language.
[1] https://github.com/alire-project/alire
-
yet another Ada web site?
#1157 on Alire's GitHub page raises this issue as well. I've placed a comment over there. If the website's code is located on GitHub, it would be easier for users to contribute and get deployed automatically.
- Please explain how to control dependencies for commercial Ada software development in Alire.
- Alire 1.2.0 release
What are some alternatives?
alire-index - Community index for the Alire project
HomeBrew - 🍺 The missing package manager for macOS (or Linux)
ghdl - VHDL 2008/93/87 simulator
linuxdeploy - AppDir creation and maintenance tool. Featuring flexible plugin system.
browser-compat-data - This repository contains compatibility data for Web technologies as displayed on MDN
AppImageKit - Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.libera.chat
gnatstudio - GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada_GUI - An Ada-oriented GUI
OpenGLAda - Thick Ada binding for OpenGL and GLFW
ada-awa - Ada Web Application - Framework to build high performance secure web applications
ASFML - Ada binding to the SFML library
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.