SHA-3 and other Keccak related algorithms in SPARK/Ada.
damaki
SHA3 for Ruby: SHA-3 (FIPS 202), SHAKE128/SHAKE256, cSHAKE128/cSHAKE256, and KMAC (NIST SP 800-185), powered by XKCP
johanns