libkeccak

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

GitHub
33 stars
6 watching
3 forks
Language: Ada
last commit: 12 months ago
Linked from 1 awesome list

adaasconcshakegimlihash-functionskangarootwelvekeccakketjekmacmarsupilamifourteenparallelhashsha-3shake128shake256spark-adasponge-constructiontuplehash

Backlinks from these awesome lists: