multiplexed-io
Ada
Explorations of multiplexed digital I/O drivers for AdaPilot using Ada 2012 Ravenscar profile and SPARK for verification.
0 stars1 forks0 contributors
Overview
Demos of multiplexed digital I/O for AdaPilot
Related Projects
ada-drivers-libraryAda source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Stars284
Forks164
Last commit20 days ago
dw1000A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
Stars14
Forks6
Last commit7 years ago
evb1000SPARK/Ada drivers for the DecaWave EVB1000 evaluation board
Stars0
Forks1
Last commit9 years ago
em-brickemBRICK driver and support for emBRICK in Ada
Stars0
Forks3
Last commit10 years ago
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.