Fabien-Chouteau

picoprobe-pcb

Wee-Noise-Maker

Open source pocket synthesizer

qoi-spark

“Quite OK Image” Ada implementation

bare_runtime

Minimal Ada/SPARK run-time for embedded or other restricted targets

littlefs-ada

Ada/SPARK binding for the littlefs flash embedded filesystem

hal

Hardware Abstraction Layer: interfaces definitions to abstract access to common hardware devices and protocols

tiled-code-gen

Code generator for Tiled the map editor

ada-axidraw

Ada drivers and Gcode parser for AxiDraw v3

MIDI_signal_flow

Graph based routing and modification of MIDI messages

samd51-hal

Ada drivers and HAL implementation for the SAMD51 micro-controller family

ARM_formatter

cortex-m

Ada drivers for the peripherals of ARM Cortex-M micro-controllers (NVIC, SysTick, etc.)

litegraph_to_ada

An Ada library create and use graph on LiteGraph js

pygamer_usb_gamepad

Turn your PyGamer into a USB gamepad

snowpeak

A PoC SNMPv1 agent simulator based on RecordFlux & asn2rflx.

aaa

Alex's Ada Assortment

Alire_GNATcov_POC

ansi-ada

ANSI control sequences for the Ada language

bb_pico_bsp

Ada BSP for the Keyboard Featherwing + RPI PICO

COBS

Consistent Overhead Byte Stuffing

microbit_bsp

Board Support Package for the BBC micro:bit https://microbit.org/

offmt

Offloaded Log Formatting

offmt-tool

Offloaded Log Formatting

pico_examples

pygamer-bsp

Board Support Package for the AdaFruit PyGamer board

python_wizard

Command line LPC analysis tool to generate bitstreams for the Texas Instruments TMS5220 chip

qoi

The “Quite OK Image Format” for fast, lossless image compression

ravenscar_full_stm32f4

Ravenscar Full run-time for the STM32F407

Rejuvenation-Ada

Renaissance-Ada

Tooling for analysis and manipulation of Ada software