briot/Ada-promises

Latest metric snapshot

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

Similar repositories

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

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

3. 3. AdaCore/gnat-llvm

   LLVM based GNAT compiler

   GitHub repository with 227 stars and 27 forks.

   Trending score: 0.05.

   Language: Ada

4. 4. AdaCore/bb-runtimes

   Source repository for the GNAT Bare Metal BSPs

   GitHub repository with 70 stars and 63 forks.

   Trending score: 0.05.

   Language: Ada

Trending in Ada

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

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

3. 3. AdaCore/gnat-llvm

   LLVM based GNAT compiler

   GitHub repository with 227 stars and 27 forks.

   Trending score: 0.05.

   Language: Ada

4. 4. AdaCore/bb-runtimes

   Source repository for the GNAT Bare Metal BSPs

   GitHub repository with 70 stars and 63 forks.

   Trending score: 0.05.

   Language: Ada