AdaCore/bb-runtimes

Source repository for the GNAT Bare Metal BSPs

GitHub repository with 70 stars and 63 forks.

Language: Ada

Open provider repository

Latest metric snapshot

2026-06-04: 70 stars and 63 forks.

Similar repositories

  1. 1. AdaCore/langkit

    Language creation framework.

    GitHub repository with 95 stars and 34 forks.

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

    Language: Ada

  2. 2. 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

  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. 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

Trending in Ada

  1. 1. AdaCore/langkit

    Language creation framework.

    GitHub repository with 95 stars and 34 forks.

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

    Language: Ada

  2. 2. 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

  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. 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