Merge pull request #50 from pmderodat/master

Minor repository cleanup
This commit is contained in:
Alejandro R Mosteo
2019-04-19 12:24:38 +02:00
committed by GitHub
3 changed files with 13 additions and 9 deletions
-6
View File
@@ -1,6 +0,0 @@
Sources of projects that might be interesting to index:
- https://github.com/ohenley/awesome-ada (Top notch!)
- github projects, sorted by star count
- http://www.adaic.org/ada-resources/tools-libraries/
- https://en.wikibooks.org/wiki/Ada_Programming/Libraries
+13 -3
View File
@@ -2,8 +2,18 @@
[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Alire)
Default index for the `alr` tool.
This repository hosts the official community-maintained index of Ada projects
to be used with the `alr` tool. Please visit
https://github.com/alire-project/alire to download `alr`.
These are community-maintained Ada projects, ready to use.
## TODO
Please visit https://github.com/alire-project/alire to download `alr`.
Here are sources of projects that might be interesting to add to this index:
* [awesome-ada](https://github.com/ohenley/awesome-ada) (Top notch!)
* [GitHub projects, sorted by star
count](https://github.com/search?o=desc&l=Ada&q=ada&s=stars&type=Repositories)
* [AdaIC's Free Tools and
Libraries](http://www.adaic.org/ada-resources/tools-libraries/)
* [Libraries in the Ada Programming
WikiBook](https://en.wikibooks.org/wiki/Ada_Programming/Libraries)
View File