AdaCore/langkit

Language creation framework.

GitHub repository with 95 stars and 34 forks.

Language: Ada

Open provider repository

Latest metric snapshot

2026-06-13: 95 stars and 34 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 313 stars and 45 forks.

    Trending score: 0.91; stars gained: +2; forks gained: +0.

    Language: Ada

  2. 2. zertovitch/hac

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

    GitHub repository with 169 stars and 15 forks.

    Trending score: 0.79; stars gained: +2; forks gained: +0.

    Language: Ada

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

  3. 3. stcarrez/ada-awa

    Ada Web Application - Framework to build high performance secure web applications

    GitHub repository with 109 stars and 12 forks.

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

    Language: Ada

    Topics: web-framework, ada, database, orm, https-server, rest-framework

  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/spark2014

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

    GitHub repository with 313 stars and 45 forks.

    Trending score: 0.91; stars gained: +2; forks gained: +0.

    Language: Ada

  2. 2. zertovitch/hac

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

    GitHub repository with 169 stars and 15 forks.

    Trending score: 0.79; stars gained: +2; forks gained: +0.

    Language: Ada

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

  3. 3. stcarrez/ada-awa

    Ada Web Application - Framework to build high performance secure web applications

    GitHub repository with 109 stars and 12 forks.

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

    Language: Ada

    Topics: web-framework, ada, database, orm, https-server, rest-framework

  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