SHA-3 and other Keccak related algorithms in SPARK/Ada.
Primary LanguageAdaBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause