Top 8 Trending Ada Projects
-
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
-
-
-
-
-
-
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
-
ABOUT:
The growth percentage is calculated as the increase in the number of stars
compared to the previous month. We list only projects that have
at least 500 stars and a GitHub organization logo set.
Index
What are some of the trending open-source Ada projects? This list will help you:
Project | Growth | |
---|---|---|
1 | spark2014 | 2.3% |
2 | ada_language_server | 2.0% |
3 | gnatstudio | 1.5% |
4 | aws | 0.9% |
5 | libadalang | 0.8% |
6 | gnat-llvm | 0.6% |
7 | Ada_Drivers_Library | 0.0% |
8 | alire | 0.0% |