Daniel King

libkeccak. SHA-3 and other Keccak related algorithms in SPARK/Ada.

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

rp-runtimes. Ada/SPARK runtimes for the Raspberry Pi RP2040 and RP2350

tux. SPARK crypto library for constrained embedded systems

community-bb-runtimes. Ada/SPARK runtimes for a variety of bare-metal embedded targets

gnatprove2xls. Convert GNATprove report files to an XLS spreadsheet

dw1000-rssi-tester. Tool to measure the RSSI, and communication range and reliability of the DecaWave DW1000.

ksum. Generate checksums with Keccak-based algorithms, such as SHA-3.

nrf52-runtimes. Ada/SPARK run-times for nRF52 SoCs

timely. A tool for verifying if some code is constant time

bb-runtimes. Source repository for the GNAT Bare Metal BSPs

ravenscar-sfp-evb1000. Small footprint Ada Ravenscar runtime for the DecaWave EVB1000 board

libsap. Asynchronous message-passing for protocol stacks in SPARK

Turtyl. Turtle graphics app with Lua

ravenscar-full-evb1000. Full Ada Ravenscar runtime for the DecaWave EVB1000 board

libcrc. Ada/SPARK library for computing Cyclic Redundancy Checks (CRC)

cobs. Consistent Overhead Byte Stuffing (COBS)

mbedtls. An open source, portable, easy to use, readable and flexible SSL library

LED-Cube. An 8x8x8 LED Cube