AdaCoreU/Courses

24h trend summary

Trending score 0.00, activity score 0.00, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-02: 58 stars and 18 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. 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. 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

4. 4. AdaCore/gnat-llvm

   LLVM based GNAT compiler

   GitHub repository with 227 stars and 27 forks.

   Trending score: 0.05.

   Language: Ada

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

6. 6. zertovitch/hac

   HAC Ada Compiler - a small, quick Ada compiler fully in Ada

   GitHub repository with 166 stars and 15 forks.

   Trending score: 0.04.

   Language: Ada

   Topics: ada, ada-language, compiler, virtual-machine, strongly-typed, ada-library

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

4. 4. AdaCore/gnat-llvm

   LLVM based GNAT compiler

   GitHub repository with 227 stars and 27 forks.

   Trending score: 0.05.

   Language: Ada

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

6. 6. zertovitch/hac

   HAC Ada Compiler - a small, quick Ada compiler fully in Ada

   GitHub repository with 166 stars and 15 forks.

   Trending score: 0.04.

   Language: Ada

   Topics: ada, ada-language, compiler, virtual-machine, strongly-typed, ada-library