search

ohenley / awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language
Creative Commons Zero v1.0 Universal
641 stars 71 forks source link

Another issue to track the addition of DaReSoft libraries #80

Closed Irvise closed 1 year ago

Irvise commented 2 years ago

https://gitlab.com/daresoft

ohenley commented 1 year ago

Done. https://github.com/ohenley/awesome-ada/commit/6a6729202a5001e1b616ae0bf128173abb694b3d

Btw, I added you as a collaborator on the repo so do not hesitate to add and merge stuff. Thx!