https://github.com/damaki/DW1000
Ada11
5 years ago
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
MIT License
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Ada31bsd-3-clause
7 months ago
adaasconcshake
SPARK/Ada drivers for the DecaWave EVB1000 evaluation board
C0mit
7 years ago