web analytics
Developers Forge for Open Source Ada Code and Tools - SoC Boards
SoC Boards
Libraries are prefixed by a logo relative to the given OpenSource License.
ALR: Component available through the ALIRE crates (component) manager and repository.
ℹ️ Click on the arrow to go to the section beneath with some more details.
ℹ️ Click on the earth symbol 🌎 to go to the mentioned site.
ℹ️ Hover on, or Click on the little page symbol 📄 to read a short description.
 


SoC-Boards


ARM

Arduino Due

Raspberry Pi

  • RP2040 Microcontroller

    • Rp2040_hal
      Link: alire.ada.dev/crates/rp2040_hal
      LastCheck: 26 janv. 2022 à 16:22
      Author: JeremyGrosser

      Drivers and HAL for the RP2040 micro-controller family — ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]

  • PyGamer

    • Pygamer_bsp
      Link: alire.ada.dev/crates/pygamer_bsp
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Board Support Package for the AdaFruit PyGamer — ["embedded", "nostd", "pygamer", "adafruit", "game", "console", "bsp"]

    • Pygamer_simulator
      Link: alire.ada.dev/crates/pygamer_simulator
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      SDL simulator of the AdaFruit PyGamer console — ["pygamer", "adafruit", "game", "console", "simulator"]

  • USB-Serial MCP2221

    • Mcp2221
      Link: alire.ada.dev/crates/mcp2221
      LastCheck: 26 janv. 2022 à 16:22
      Author: pmunts

      MCP2221 USB Raw HID I/O Expander Library for GNAT Ada — ["embedded", "linux", "mcp2221", "adc", "dac", "gpio", "i2c", "motor",

  • raspberrypi

    • Raspberry_bsp
      Link: alire.ada.dev/crates/raspberry_bsp
      LastCheck: 26 janv. 2022 à 16:22
      Author: TamaMcGlinn

      Board Support package for Raspberry PI v1, v2 and B+ — ["raspberry", "pi"]

    • Pico_bsp
      Link: alire.ada.dev/crates/pico_bsp
      LastCheck: 26 janv. 2022 à 16:22
      Author: JeremyGrosser

      Board support package for Raspberry Pi Pico — ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]

    • Pico_examples
      Link: alire.ada.dev/crates/pico_examples
      LastCheck: 26 janv. 2022 à 16:22
      Author: JeremyGrosser

      Examples for Ada on the Raspberry Pi Pico — ["embedded", "nostd", "pico", "rp2040"]

MSP432

STM32F4


Atmel AVR

Arduino Uno (ATmega32xx)


MSP430

    • MSP430-Ada
      Link: sourceforge.net/projects/msp430ada/
      LastCheck: 18 avr. 2013
      Author: briandrummond
      Copyright: Brian Drummond
      Repository: SourceForge

      Compiler and device support for Ada programs on the ultra-low-power TI MSP430 microcontrollers. This project builds on the Gnu Gnat/GCC Ada compiler, the Sourceforge mspgcc back-end and MSP430 CPU support. It was inspired by the Sourceforge AVR-Ada project.


PowerPC e300

MPC51xx & MPC52xx

MPC83xx


RISC-V

HiFive Unmatched


Embedded

  • embedded
    • Adl_middleware
      Link: alire.ada.dev/crates/adl_middleware
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Middleware layer of the Ada Drivers Library project — ["embedded", "nostd", "fat", "bitmap"]

    • Atomic
      Link: alire.ada.dev/crates/atomic
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Standalone Ada/SPARK bindings to GCC atomic built-ins — ["atomic", "spark", "embedded", "nostd"]

    • Bbqueue
      Link: alire.ada.dev/crates/bbqueue
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      DMA friendly lock-free BipBuffer — ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]

    • Cortex_m
      Link: alire.ada.dev/crates/cortex_m
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.) — ["embedded", "arm", "nostd"]

    • Embedded_components
      Link: alire.ada.dev/crates/embedded_components
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Platform agnostic drivers to interface external components — ["embedded", "nostd"]

    • Hal
      Link: alire.ada.dev/crates/hal
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Hardware Abstraction Layer (HAL) — ["embedded", "hal", "nostd"]

    • Littlefs
      Link: alire.ada.dev/crates/littlefs
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Ada/SPARK binding for the LittleFS flash embedded filesystem — ["embedded", "filesystem", "nostd", "flash"]

    • Lvgl_ada
      Link: alire.ada.dev/crates/lvgl_ada
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Bindings for the LVGL embedded GUI framework — ["embedded", "gui", "lvgl", "no-std"]

    • Lvgl_ada_examples
      Link: alire.ada.dev/crates/lvgl_ada_examples
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Examples for the LVGL embedded GUI framework Ada binding — ["gui", "lvgl"]

    • Lvgl_ada_simulator
      Link: alire.ada.dev/crates/lvgl_ada_simulator
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      SDL simulator for the LVGL embedded GUI framework — ["gui", "lvgl"]

    • Microbit_bsp
      Link: alire.ada.dev/crates/microbit_bsp
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Board Support Package for the BBC micro:bit v1 — ["embedded", "nostd", "microbit", "bbc", "nrf51", "bsp"]

    • Microbit_examples
      Link: alire.ada.dev/crates/microbit_examples
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Examples and tutorials for Ada on the BBC micro:bit — ["embedded", "nostd", "microbit", "nrf51"]

    • Minirest
      Link: alire.ada.dev/crates/minirest
      LastCheck: 26 janv. 2022 à 16:22
      Author: mosteo

      Minimalist Ada REST client library — ["rest"]

    • Minisamd51_bsp
      Link: alire.ada.dev/crates/minisamd51_bsp
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Board Support Package for the MiniSAM D51 — ["embedded", "nostd", "samd51", "minisam"]

    • Minisamd51_example
      Link: alire.ada.dev/crates/minisamd51_example
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Example project for the MiniSAM D51 — ["embedded", "nostd", "samd51", "minisam"]

    • Nrf5x_hal
      Link: alire.ada.dev/crates/nrf5x_hal
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Drivers and HAL for the Nordic nRF5X micro-controller family — ["embedded", "nostd", "nrf51", "nrf52", "nordic", "drivers", "ble"]

    • Remoteio
      Link: alire.ada.dev/crates/remoteio
      LastCheck: 26 janv. 2022 à 16:22
      Author: pmunts

      Remote I/O Protocol Client Library for GNAT Ada — ["embedded", "linux", "remoteio", "adc", "dac", "gpio", "i2c", "motor",

    • Samd51_hal
      Link: alire.ada.dev/crates/samd51_hal
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Drivers and HAL for the SAMD51 micro-controller family — ["embedded", "nostd", "atsamd51", "microchip", "atmel", "drivers"]

    • Slip
      Link: alire.ada.dev/crates/slip
      LastCheck: 26 janv. 2022 à 16:22
      Author: bmilanov

      SLIP Protocol Implementation — [ "embedded", "protocols", "spark" ]

    • Startup_gen
      Link: alire.ada.dev/crates/startup_gen
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      Generates startup files (crt0 and linker script) — ["embedded", "zfp", "nostd"]

    • Usb_embedded
      Link: alire.ada.dev/crates/usb_embedded
      LastCheck: 26 janv. 2022 à 16:22
      Author: Fabien-Chouteau

      An Ada USB stack for embedded devices — ["embedded", "usb", "hid", "midi", "nostd"]

GDPR compliant