Skip to content
Change the repository type filter

All

    Repositories list

    • gnatstudio

      Public
      GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
      Ada
      63497505Updated Mar 23, 2026Mar 23, 2026
    • langkit-query-language

      Public
      query language for Libadalang and Langkit
      Java
      Other
      6710Updated Mar 23, 2026Mar 23, 2026
    • markdown

      Public
      Markdown parser
      Ada
      Other
      21100Updated Mar 23, 2026Mar 23, 2026
    • gnatcoverage

      Public
      GNATcoverage: Coverage Analysis Tool
      Ada
      104650Updated Mar 23, 2026Mar 23, 2026
    • gnattest

      Public
      Ada
      GNU General Public License v3.0
      0100Updated Mar 23, 2026Mar 23, 2026
    • qemu

      Public
      C
      Other
      81300Updated Mar 23, 2026Mar 23, 2026
    • e3-core

      Public
      Core framework for developing portable automated build systems
      Python
      3732212Updated Mar 23, 2026Mar 23, 2026
    • gpr

      Public
      The framework for analyzing the GNAT Project (GPR) files
      Ada
      Apache License 2.0
      102051Updated Mar 23, 2026Mar 23, 2026
    • ada_language_server

      Public
      Server implementing the Microsoft Language Protocol for Ada and SPARK
      Ada
      GNU General Public License v3.0
      68290499Updated Mar 23, 2026Mar 23, 2026
    • spark2014

      Public
      SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
      Ada
      GNU General Public License v3.0
      4329840Updated Mar 23, 2026Mar 23, 2026
    • lal-refactor

      Public
      Ada
      Other
      1311Updated Mar 23, 2026Mar 23, 2026
    • learn

      Public
      Sources for learn.adacore.com
      Ada
      Creative Commons Attribution 4.0 International
      44112217Updated Mar 22, 2026Mar 22, 2026
    • Ada
      Creative Commons Attribution 4.0 International
      93210Updated Mar 22, 2026Mar 22, 2026
    • Ada_Drivers_Library

      Public
      Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
      Ada
      BSD 3-Clause "New" or "Revised" License
      158276179Updated Mar 21, 2026Mar 21, 2026
    • SPARKlib

      Public
      Ada
      Apache License 2.0
      1900Updated Mar 20, 2026Mar 20, 2026
    • libadalang

      Public
      Ada semantic analysis library.
      Ada
      Other
      47165201Updated Mar 20, 2026Mar 20, 2026
    • langkit

      Public
      Language creation framework.
      Ada
      Other
      359075Updated Mar 20, 2026Mar 20, 2026
    • bb-runtimes

      Public
      Source repository for the GNAT Bare Metal BSPs
      Ada
      Other
      616923Updated Mar 20, 2026Mar 20, 2026
    • aws

      Public
      AWS is a complete framework to develop Web based applications in Ada.
      Ada
      Other
      41152333Updated Mar 20, 2026Mar 20, 2026
    • e3-aws

      Public
      High level interface for CloudFormation
      Python
      GNU General Public License v3.0
      14600Updated Mar 19, 2026Mar 19, 2026
    • aunit

      Public
      Ada
      Other
      1811107Updated Mar 18, 2026Mar 18, 2026
    • PolyORB

      Public
      PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
      Ada
      Other
      142322Updated Mar 18, 2026Mar 18, 2026
    • ada-eval

      Public
      Python
      Apache License 2.0
      0200Updated Mar 17, 2026Mar 17, 2026
    • GNAT Components Collection – Core packages
      Ada
      Other
      3452104Updated Mar 17, 2026Mar 17, 2026
    • gnat-llvm

      Public
      LLVM based GNAT compiler
      Ada
      2722340Updated Mar 13, 2026Mar 13, 2026
    • why3

      Public
      SPARK 2014 repository for the Why3 verification platform.
      OCaml
      Other
      83520Updated Mar 13, 2026Mar 13, 2026
    • Platform to submit RFCs for the Ada & SPARK languages
      3169597Updated Mar 12, 2026Mar 12, 2026
    • GPR configuration knowledge base
      Other
      11625Updated Mar 12, 2026Mar 12, 2026
    • e3 testsuite driver
      Python
      GNU General Public License v3.0
      17801Updated Mar 10, 2026Mar 10, 2026
    • gtkada

      Public
      Ada bindings for the GTK+ graphical library.
      Ada
      Other
      22103318Updated Mar 6, 2026Mar 6, 2026