multiplexed-io

Ada

Explorations of multiplexed digital I/O drivers for AdaPilot using Ada 2012 Ravenscar profile and SPARK for verification.

GitHub

0 stars1 forks0 contributors

Overview

Demos of multiplexed digital I/O for AdaPilot

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

9 years ago

CreatedSince 2016

Built With

Included in

Ada/SPARK821

Auto-fetched 7 hours ago

ada-drivers-library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

Stars282

Forks161

Last commit5 days ago

dw1000

A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.

Stars14

Forks6

Last commit6 years ago

evb1000

SPARK/Ada drivers for the DecaWave EVB1000 evaluation board

Stars0

Forks1

Last commit9 years ago

em-brick

emBRICK driver and support for emBRICK in Ada