michelou/ada-examples

Playing with Ada on Windows

GitHub repository with 6 stars and 0 forks.

Language: Ada

Open provider repository

Latest metric snapshot

2026-06-05: 6 stars and 0 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