Fabien-Chouteau

un_pola

DIY instant camera with OpenMV and AdaFruit's thermal printer

noise-nugget

Square Inch Synthesizer

Ada-PicoRV32-example

Example of Ada code running on the PicoRV32 RISC-V CPU for FPGA

coffee-clock

Waking up with a fresh cup of coffee

Giza

Giza is trying to be a simple widget tool kit for embedded platforms

spark-railway-demo

Simulated railway network in SPARK/Ada

TinyFPGA-BX

AMCQ

Multiple Choice Questions candy dispenser

MCU-knowledge-database

A database of info on micro-controllers (memory, CPU core, vendor, etc.) and some scripts to manipulate it

zfp-nrf51

(obsolete) Ada ZFP Profile Runtime System for nrf51

embedded-runtimes

field-programmable-game-console

FPGC: A protable game console base on the TinyFPGA-BX

kabitbol

Beginning of a kernel for the Leon3 processor (in C)

zfp-hifive1

(obsolete) GNAT Zero Foot Print run-time for the HiFive1 RISC-V board

awesome-ada

Awesome resources and other links related to the Ada programming language

CE_Getting_To_Blink

My Kicad board design from Contextual Electronic: Getting to Blinky series

cmsis-svd

Aggegration of ARM Cortex-M CMSIS SVDs and related tools

emBRICK

emBRICK driver and support for emBRICK in Ada

freedom-e-sdk

Open Source Software for Developing on the Freedom E Platform

GESTE-Numworks-examples

Examples for the GEneric Sprite and Tile Engine running on the Numworks calculator

High_Speed_Candy_Sorting_Machine

Sorting candy using computer vision and compressed air

Kconfiglib

A flexible Python 2/3 Kconfig parser and library

libkconfiglang

KConfig semantic analysis library.

marble-machine-cover-machine

OPAVES

Open Platform for Autonomous VEhicle Systems

PO-20-keyboard

Extra keyboard to play melody on the Pocket-Operator Arcade

riscv-gnu-toolchain

GNU toolchain for RISC-V, including GCC 6.1.0

stlink

stm32 discovery line linux programmer

tinyfpga-bx-game-soc

A PicoRV32 SoC for the TinyFPGA BX with peripherals designed for building games

UnityAdaTetris