awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language (by ohenley)
bingada
Bingo application in GTKAda (by jfuica)
Our great sponsors
| awesome-ada | bingada | |
|---|---|---|
| 20 | 2 | |
| 574 | 8 | |
| - | - | |
| 7.8 | 1.9 | |
| 12 days ago | 9 months ago | |
| Ada | ||
| Creative Commons Zero v1.0 Universal | MIT License |
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.
bingada
Posts with mentions or reviews of bingada.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-02-25.
What are some alternatives?
When comparing awesome-ada and bingada you can also consider the following projects:
browser-compat-data - This repository contains compatibility data for Web technologies as displayed on MDN
cortex-gnat-rts - This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
ghdl - VHDL 2008/93/87 simulator
alire-index - Community index for the Alire project
pygamer-simulator - SDL simulator of the AdaFruit PyGamer
gnatstudio - GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
ASFML - Ada binding to the SFML library
OpenGLAda - Thick Ada binding for OpenGL and GLFW
pico_examples - Ada examples for the Raspberry Pi Pico
Honki-Tonks-Zivilisationen - Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
awesome-ada vs browser-compat-data
bingada vs cortex-gnat-rts
awesome-ada vs ghdl
bingada vs ghdl
awesome-ada vs alire-index
bingada vs pygamer-simulator
awesome-ada vs gnatstudio
bingada vs ASFML
awesome-ada vs OpenGLAda
bingada vs pico_examples
awesome-ada vs ASFML
bingada vs Honki-Tonks-Zivilisationen