Top 10 Trending Ada Projects
-
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
-
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
-
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
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 | eepers | 28.3% |
2 | gnat-llvm | 5.1% |
3 | alire | 5.1% |
4 | Ada_Drivers_Library | 3.5% |
5 | aws | 3.2% |
6 | gnatstudio | 2.1% |
7 | RecordFlux | 2.0% |
8 | libadalang | 1.4% |
9 | spark2014 | 1.3% |
10 | ada_language_server | 0.9% |