PinnedLoading

1. libkeccaklibkeccakPublic

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

   Ada 34 3

2. ksumksumPublic

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

   Ada 3 1

3. DW1000DW1000Public

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

   Ada 13 5

4. cobscobsPublic

   Consistent Overhead Byte Stuffing (COBS)

   Ada 1

5. TurtylTurtylPublic

   Turtle graphics app with Lua

   C

6. gnatprove2xlsgnatprove2xlsPublic

   Convert GNATprove report files to an XLS spreadsheet

   Python 4