Repositories list

• lab_rsa

  Public
  Ada

  •0•0•0•0•Updated Oct 24, 2024Oct 24, 2024

• stm32_blinky_demo

  Public
  Blinky Demo For STM32 (Alire)

  Ada

  •0•0•0•0•Updated Oct 17, 2024Oct 17, 2024

• rina_sim

  Public
  Ada

  •0•0•0•0•Updated Sep 25, 2024Sep 25, 2024

• gtkada_demo

  Public
  Ada

  •0•0•0•0•Updated Sep 24, 2024Sep 24, 2024

• ada_training

  Public
  Training files for Ada courses

  Ada

  •

  GNU General Public License v2.0

  •3•0•0•0•Updated Sep 23, 2024Sep 23, 2024

• alire-index

  Public
  Community index for the Alire project

  GNU General Public License v3.0

  •97•0•0•0•Updated Sep 17, 2024Sep 17, 2024

• CEG491X

  Public
  0•1•0•0•Updated Sep 12, 2024Sep 12, 2024

• embedded_flexbox

  Public
  Ada

  •3•0•0•0•Updated Sep 12, 2024Sep 12, 2024

• MLEngine

  Public
  Ada

  •2•0•0•0•Updated Sep 12, 2024Sep 12, 2024

• EmbeddedRINA

  Public
  Ada

  •1•0•0•0•Updated Sep 12, 2024Sep 12, 2024

• stm32_hal

  Public
  STM32 - HAL, Devices, Drivers (Alire)

  Ada

  •1•0•0•0•Updated Sep 11, 2024Sep 11, 2024

• stm32f746disco

  Public
  STM32F746DISCO Board Support Package (Alire)

  Ada

  •0•0•0•0•Updated Sep 11, 2024Sep 11, 2024

• stm32f4xxm_devebox

  Public
  Ada

  •0•0•0•0•Updated May 24, 2024May 24, 2024

• stm32f429disco

  Public
  STM32F429DISCO Board Support Package (Alire)

  Ada

  •0•0•0•0•Updated May 24, 2024May 24, 2024

• capstone_proposals

  Public
  0•0•0•0•Updated May 9, 2024May 9, 2024

• mcu_bootloader_cli

  Public
  This is the command line interface which interacts with the microcontroller bootloader also in the academic program

  Ada

  •0•0•0•0•Updated May 1, 2024May 1, 2024

• mcu_bootloader

  Public
  Ada microcontroller bootloader for STM32

  Ada

  •0•0•0•0•Updated May 1, 2024May 1, 2024

• lab4

  Public
  Ada

  •0•0•0•0•Updated Apr 25, 2024Apr 25, 2024

• min_ada

  Public
  MIN Protocol for Ada

  Ada

  •0•0•0•0•Updated Apr 24, 2024Apr 24, 2024

• lab3

  Public
  Ada

  •0•0•0•0•Updated Apr 18, 2024Apr 18, 2024

• AFTI

  Public
  Ada For The Impatient

  Ada

  •0•0•0•0•Updated Apr 2, 2024Apr 2, 2024

• .github

  Public
  0•0•0•0•Updated Apr 2, 2024Apr 2, 2024

• Windows-platform

  Public
  Portable, Relocatable Microsoft Windows Development Environment with Alire, GnatStudio, VScode, Ada and Embedded Systems

  0•1•0•0•Updated Mar 22, 2024Mar 22, 2024

• adascope_host

  Public
  Ada

  •0•0•0•0•Updated Mar 19, 2024Mar 19, 2024

• adascope_target

  Public
  Ada

  •0•0•0•0•Updated Mar 19, 2024Mar 19, 2024

• lab2

  Public
  Ada

  •0•0•0•0•Updated Mar 14, 2024Mar 14, 2024

• lab1

  Public
  Ada

  •0•0•0•0•Updated Feb 22, 2024Feb 22, 2024

• stm32_draw_demo

  Public
  Ada

  •1•0•0•0•Updated Feb 9, 2024Feb 9, 2024

• stm32_gui

  Public
  Ada

  •0•0•0•0•Updated Jan 23, 2024Jan 23, 2024

• AdaScope_min-ada

  Public
  0•0•0•0•Updated Nov 17, 2023Nov 17, 2023