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
Oct 19, 2023 - Ada