Latest metric snapshot

2026-06-05: 34 stars and 9 forks.

Similar repositories

  1. 1. AdaCore/gtkada

    Ada bindings for the GTK+ graphical library.

    GitHub repository with 105 stars and 21 forks.

    Trending score: 0.16; stars gained: +0; forks gained: +0.

    Language: Ada

  2. 2. AdaCore/spark2014

    SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

    GitHub repository with 311 stars and 44 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Ada

  3. 3. AdaCore/libadalang

    Ada semantic analysis library.

    GitHub repository with 170 stars and 48 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Ada

  4. 4. AdaCore/ada_language_server

    Server implementing the Microsoft Language Protocol for Ada and SPARK

    GitHub repository with 297 stars and 68 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Ada

  5. 5. AdaCoreU/Courses

    This repository contains course material published to the AdaCore University website

    GitHub repository with 58 stars and 18 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Ada

  6. 6. AdaCore/gnat-llvm

    LLVM based GNAT compiler

    GitHub repository with 227 stars and 27 forks.

    Trending score: 0.05.

    Language: Ada

Trending in Ada

  1. 1. AdaCore/gtkada

    Ada bindings for the GTK+ graphical library.

    GitHub repository with 105 stars and 21 forks.

    Trending score: 0.16; stars gained: +0; forks gained: +0.

    Language: Ada

  2. 2. AdaCore/spark2014

    SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

    GitHub repository with 311 stars and 44 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Ada

  3. 3. AdaCore/libadalang

    Ada semantic analysis library.

    GitHub repository with 170 stars and 48 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Ada

  4. 4. AdaCore/ada_language_server

    Server implementing the Microsoft Language Protocol for Ada and SPARK

    GitHub repository with 297 stars and 68 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Ada

  5. 5. AdaCoreU/Courses

    This repository contains course material published to the AdaCore University website

    GitHub repository with 58 stars and 18 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Ada

  6. 6. AdaCore/gnat-llvm

    LLVM based GNAT compiler

    GitHub repository with 227 stars and 27 forks.

    Trending score: 0.05.

    Language: Ada