Git Product home page Git Product logo

awesome-ada's People

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

awesome-ada's Issues

Issues reported by awesome-lint

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:

  • Double links in the Contents (only first one will work).
  • Double links due to incorrect copy-paste for a book.

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.

"Programming in Ada 2012" is not the language reference!

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.

Amatrix

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.

DNS error for adachess.com

Reported by the link checker:

  • [ERR] https://www.adachess.com/ | Failed: Network error: dns error: no record found for Query { name: Name("www.adachess.com.0gmlufkfg3qedhhdqgiv5q0qyc.phxx.internal.cloudapp.net."), query_type: AAAA, query_class: IN }

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.

Error with https://www.ada-europe.org/ (unable to get local issuer certificate)

From the action results: https://github.com/ohenley/awesome-ada/actions/runs/5598882127/job/15166018598#step:4:49

  • [ERR] https://www.ada-europe.org/ | Failed: Network error: error:1416F086:SSL routines:tls_process_server_certificate:certificate verify failed:ssl/statem/statem_clnt.c:1921: (unable to get local issuer certificate)

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.

add stcarrez/ada-ado

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

PowerJoular

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.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.