Pinned Loading

1. libkeccak libkeccak Public

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

   Ada 36 3

2. libcrc libcrc Public

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

   Ada 1

3. DW1000 DW1000 Public

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

   Ada 14 6

4. cobs cobs Public

   Consistent Overhead Byte Stuffing (COBS)

   Ada 1

5. stree stree Public

   Multi-way tree container library with SPARK contracts

   Ada

6. gnatprove2xls gnatprove2xls Public

   Convert GNATprove report files to an XLS spreadsheet

   Python 4