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"]
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.
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"]
EEC GDPR compliant
