Trending Ada Projects

This page lists the top trending Ada projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 18 Sep 2023.
» Get a weekly report « straight in your inbox. Every Friday.

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_language_server

    Server implementing the Microsoft Language Protocol for Ada and SPARK

  • gnatstudio

    GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

  • aws

    AWS is a complete framework to develop Web based applications in Ada. (by AdaCore)

  • libadalang

    Ada semantic analysis library.

  • gnat-llvm

    LLVM based GNAT compiler

  • Ada_Drivers_Library

    Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

  • alire

    Command-line tool from the Alire project and supporting library

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.


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%