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