SHA-3 and other Keccak related algorithms in SPARK/Ada.
hash-functions
keccak
ada
ascon
gimli
sha-3
shake128
shake256
sponge-construction
spark-ada
kangarootwelve
kmac
tuplehash
cshake
parallelhash
marsupilamifourteen
ketje
-
Updated
Aug 22, 2019 - Ada