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 | ada_language_server | 5.8% |
2 | spark2014 | 5.2% |
3 | gnatstudio | 4.0% |
4 | alire | 2.0% |
5 | libadalang | 1.8% |
6 | gnat-llvm | 1.7% |
7 | Ada_Drivers_Library | 1.0% |
8 | aws | 0.0% |