https://github.com/damaki/libkeccak
Ada31
7 months ago
SHA-3 and other Keccak related algorithms in SPARK/Ada.
BSD 3-Clause "New" or "Revised" License
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
Ada11mit
5 years ago
decawavedw1000ranging-sensor
SPARK/Ada drivers for the DecaWave EVB1000 evaluation board
C0mit
7 years ago