A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor