ohenley / awesome-ada Goto Github PK
View Code? Open in Web Editor NEWA curated list of awesome resources related to the Ada and SPARK programming language
License: Creative Commons Zero v1.0 Universal
A curated list of awesome resources related to the Ada and SPARK programming language
License: Creative Commons Zero v1.0 Universal
This list should be in https://github.com/topics/awesome
If it follows the requirements:
https://github.com/sindresorhus/awesome/blob/master/create-list.md
A Pull Request to https://github.com/sindresorhus/awesome should be made.
See issue:
sindresorhus/awesome#977
In Algorithms, Containers and Protocols
lib-anne - Large collection of Ada packages. This is sort of meant to be a "new standard library". Who's Anne? Ada's daughter.
The lib-anne
repository is no longer available. The author still has a github page Entomy but the lib-anne
repository is no longer visible on it.
The awesome-lint program has run for the first time; I wasn't aware of those issues. It seems the link checker was aborting the action.
https://github.com/ohenley/awesome-ada/actions/runs/4267389929/jobs/7428942700
There are some legitimate and important issues to be fixed:
Other puristic ones, but easy to solve.
A few looks like there's some bug in awesome-lint.
And finally, other ones that I'm not sure if they should be solved: either because they would affect presentation or because we would lose something, like a second link to the same URL. It doesn't like either the out-of-place links that I precisely included to centralize the URL, so I don't see a solution for those.
I'll try to clean the important and easy ones, and we should discuss the remaining: whether there's a way to fix them, the rule can be disabled or the lint has to be removed altogether.
The textbook "Programming in Ada 2012" is definitely not the language reference. It is possibly the most comprehensive Ada 2012 textbook, but it is still only a textbook.
Technically, I think you can get the official "Ada Language Reference" for Ada 2012 in print from Springer, but check it out.
The entry for the ISO standard points to the 2012 RM. This should be updated to the 2022 RM.
amatrix which is currently noted under Math is not a mathematical matrix library but a prototypical implementation of the Matrix protocol.
So instead of Math it should be under Algorithms, containers and protocols although I'd suggest to remove it completely from this list since it is far away from being usable for any serious project.
Reported by the link checker:
There is no apparent replacement. There is https://www.chessprogramming.org/AdaChess but there's no access to source code. The Wayback Machine wouldn't allow either to download the source code: http://web.archive.org/web/20230622210311/https://www.adachess.com/
If someone has contact with the author, they could ask him if he's going to restore adachess.com, otherwise suggest him to upload the sources to any source code forge.
The new logo added in 43a355f cannot be displayed on Firefox browser.
The online-running Pasta game has been timing out for two weeks.
https://github.com/ohenley/awesome-ada/actions/runs/9531842326
I didn't find another working URL nor the location of source code.
@zertovitch are you aware of that? If there is no longer a running version, it is not important for this list; a link to the source code will be enough, and even more appropriate.
Adding the issue so that I do not forget about creating a pull request.
Add EWS from Simon Wright.
From the action results: https://github.com/ohenley/awesome-ada/actions/runs/5598882127/job/15166018598#step:4:49
I wonder why this is failing when Firefox and Chomium are completely happy with the security of the connection. If it keeps happening, we might want to switch to the HTTP URL.
Back from Fosdem (a few days ago), and before I totally forget, I think this project should definitely be added to the list. The author of that depo was presenting and he is pretty awesome - he pretty much single-handedly translated Java Beans to Ada - that's the ada-awa depo you have linked to the list. However he also presented the ada-ado project. While this is used by ada-awa, this is a standalone project that may be very useful on its own. It goes beyond simple database binding. It actually creates typed data for each pulled in db entry. So yes, this is tied to that bigger project, but can be used standalone too for (more low level) db work. I think it would be useful to have a separate link for it.
The link to the project:
https://github.com/stcarrez/ada-ado
@pyjarrett What is the status of this resource? What do you propose?
Thanks!
Might consider adding QtAda / AdaStudio depending on if it meets your requirements or not
https://r3fowwcolhrzycn2yzlzzw-on.drv.tw/AdaStudio/
Hi, could you consider adding my power monitoring tool, PowerJoular to the list?
It's a Linux multi-platform tool (x86_64, ARM/Raspberry Pi) to monitor the power consumption of hardware and software components (process, CPU, GPU).
It's fully written in Ada, open source under GPL 3, and available as a crate in Alire.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.