Skip to content

@GNAT-Academic-Program AdaCore GNAT Academic Program

Change the repository type filter

All

    Repositories list

    61 repositories

    • ghapl

      Public
      Ada
      •0•0•0•0•Updated Feb 18, 2026Feb 18, 2026

    • gap-alire-index

      Public
      GNU General Public License v3.0
      •0•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • stm32f407disco_demos

      Public
      Ada
      •0•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • pico_tasks_demo

      Public
      Minimal RP2040 (Raspberry Pi Pico) Ada demo showing concurrent tasking with a protected object.
      Ada
      •0•1•0•0•Updated Feb 13, 2026Feb 13, 2026

    • stm32f407-runtimes

      Public
      Ada
      •0•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • stm32f407disco_bsp

      Public
      Ada
      •0•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • stm32f407_hal

      Public
      Ada
      •0•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • neorv32-hal

      Public
      Ada-based Hardware Abstraction Layer for the neorv32 SoC
      Ada
      •3•7•0•0•Updated Nov 13, 2025Nov 13, 2025

    • neorv32

      Public
      🖥️ A small, customizable and extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.
      VHDL
      •
      BSD 3-Clause "New" or "Revised" License
      •308•0•0•0•Updated Nov 4, 2025Nov 4, 2025

    • stm32f070rb_blinky

      Public
      Ada
      •3•0•0•1•Updated Nov 4, 2025Nov 4, 2025

    • neorv32-setups

      Public
      📁 NEORV32 projects and exemplary setups for various FPGAs, boards and (open-source) toolchains.
      VHDL
      •
      BSD 3-Clause "New" or "Revised" License
      •39•1•0•1•Updated Oct 24, 2025Oct 24, 2025

    • snake-tutorial

      Public
      15•0•0•0•Updated Oct 8, 2025Oct 8, 2025

    • snake-tutorial-material

      Public
      0•1•0•0•Updated Sep 26, 2025Sep 26, 2025

    • alire-containers

      Public
      Shell
      •0•0•0•0•Updated Sep 24, 2025Sep 24, 2025

    • .github

      Public
      0•0•0•0•Updated Sep 19, 2025Sep 19, 2025

    • del2.0

      Public
      Ada
      •3•1•0•0•Updated Sep 5, 2025Sep 5, 2025

    • nucleo_g431kb

      Public
      Ada
      •1•0•0•0•Updated Jun 5, 2025Jun 5, 2025

    • stm32g431_runtime

      Public
      Ada
      •0•0•0•0•Updated Jun 2, 2025Jun 2, 2025

    • VDI-ADC-Modular-System

      Public
      Capstone Project: Modular Autonomous Driving System for VDI Challenge Project
      C
      •2•0•0•0•Updated May 22, 2025May 22, 2025

    • PSU.Ada.GameEngine

      Public
      Ada
      •4•1•0•0•Updated May 22, 2025May 22, 2025

    • SailGate

      Public
      A hardware description language embedded in ParaSail
      Python
      •1•1•0•0•Updated May 7, 2025May 7, 2025

    • RINA_for_Space

      Public
      Ada-based simulation of the Recursive InterNetwork Architecture (RINA) integrated with the CCSDS Bundle Protocol for reliable, delay-tolerant space communicatio…
      Ada
      •2•1•0•0•Updated May 4, 2025May 4, 2025

    • capstone_proposals

      Public
      0•0•0•0•Updated May 1, 2025May 1, 2025

    • ascii_engine

      Public
      Ada
      •1•1•0•0•Updated Apr 11, 2025Apr 11, 2025

    • del

      Public
      Ada
      •3•0•0•1•Updated Dec 13, 2024Dec 13, 2024

    • ftdi_prog

      Public
      C
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • lab_rsa

      Public
      Ada
      •0•0•0•0•Updated Dec 10, 2024Dec 10, 2024

    • raylib_gym

      Public
      C
      •0•0•0•0•Updated Dec 2, 2024Dec 2, 2024

    • stm32_uart_demo

      Public
      Ada
      •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • FlexRiscV

      Public
      Ada
      •1•0•0•0•Updated Nov 26, 2024Nov 26, 2024