Skip to content

@AdaCore AdaCore

Change the repository type filter

All

    Repositories list

    132 repositories

    • e3-core

      Public
      Core framework for developing portable automated build systems
      Python
      •37•32•21•2•Updated Apr 22, 2026Apr 22, 2026

    • training_material

      Public
      Ada
      •
      Creative Commons Attribution 4.0 International
      •9•33•1•0•Updated Apr 22, 2026Apr 22, 2026

    • ada-spark-rfcs

      Public
      Platform to submit RFCs for the Ada & SPARK languages
      31•69•61•9•Updated Apr 22, 2026Apr 22, 2026

    • langkit-query-language

      Public
      query language for Libadalang and Langkit
      Java
      •
      Other
      •6•7•1•1•Updated Apr 22, 2026Apr 22, 2026

    • langkit

      Public
      Language creation framework.
      Ada
      •
      Other
      •35•94•6•4•Updated Apr 22, 2026Apr 22, 2026

    • libadalang

      Public
      Ada semantic analysis library.
      Ada
      •
      Other
      •48•167•20•1•Updated Apr 22, 2026Apr 22, 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
      •44•304•4•0•Updated Apr 22, 2026Apr 22, 2026

    • e3-aws

      Public
      High level interface for CloudFormation
      Python
      •
      GNU General Public License v3.0
      •14•6•0•0•Updated Apr 22, 2026Apr 22, 2026

    • ada_language_server

      Public
      Server implementing the Microsoft Language Protocol for Ada and SPARK
      Ada
      •
      GNU General Public License v3.0
      •68•293•50•9•Updated Apr 22, 2026Apr 22, 2026

    • gnatcoverage

      Public
      GNATcoverage: Coverage Analysis Tool
      Ada
      •10•46•5•0•Updated Apr 22, 2026Apr 22, 2026

    • learn

      Public
      Sources for learn.adacore.com
      Ada
      •
      Creative Commons Attribution 4.0 International
      •44•112•21•4•Updated Apr 21, 2026Apr 21, 2026

    • gnat-llvm

      Public
      LLVM based GNAT compiler
      Ada
      •26•224•4•0•Updated Apr 21, 2026Apr 21, 2026

    • SPARKlib

      Public
      Ada
      •
      Apache License 2.0
      •1•10•0•0•Updated Apr 21, 2026Apr 21, 2026

    • gpr

      Public
      The framework for analyzing the GNAT Project (GPR) files
      Ada
      •
      Apache License 2.0
      •11•20•5•1•Updated Apr 21, 2026Apr 21, 2026

    • gnatstudio

      Public
      GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
      Ada
      •64•503•52•4•Updated Apr 21, 2026Apr 21, 2026

    • gtkada

      Public
      Ada bindings for the GTK+ graphical library.
      Ada
      •
      Other
      •21•103•31•8•Updated Apr 21, 2026Apr 21, 2026

    • vss-extra

      Public
      Ada
      •
      Other
      •0•0•0•0•Updated Apr 20, 2026Apr 20, 2026

    • skills

      Public
      Apache License 2.0
      •0•2•0•0•Updated Apr 20, 2026Apr 20, 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
      •157•279•18•9•Updated Apr 20, 2026Apr 20, 2026

    • gnatdoc

      Public
      GNAT Documentation Generator
      Ada
      •
      Other
      •3•5•5•1•Updated Apr 20, 2026Apr 20, 2026

    • gnatcoll-core

      Public
      GNAT Components Collection – Core packages
      Ada
      •
      Other
      •34•52•10•4•Updated Apr 17, 2026Apr 17, 2026

    • bb-runtimes

      Public
      Source repository for the GNAT Bare Metal BSPs
      Ada
      •
      Other
      •61•70•2•3•Updated Apr 16, 2026Apr 16, 2026

    • qemu

      Public
      C
      •
      Other
      •8•13•0•0•Updated Apr 16, 2026Apr 16, 2026

    • gnattest

      Public
      Ada
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Apr 15, 2026Apr 15, 2026

    • why3

      Public
      SPARK 2014 repository for the Why3 verification platform.
      OCaml
      •
      Other
      •9•37•2•0•Updated Apr 14, 2026Apr 14, 2026

    • spdx_ada

      Public
      Ada
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • llvm-project

      Public
      LLVM
      •
      Other
      •0•0•0•0•Updated Apr 2, 2026Apr 2, 2026

    • gprconfig_kb

      Public
      GPR configuration knowledge base
      Other
      •11•6•2•5•Updated Mar 31, 2026Mar 31, 2026

    • gprbuild

      Public
      GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
      Ada
      •
      Other
      •20•78•31•7•Updated Mar 31, 2026Mar 31, 2026

    • aunit

      Public
      Ada
      •
      Other
      •18•11•10•7•Updated Mar 26, 2026Mar 26, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.