gimli topic

A lightweight, secure, easy-to-use crypto library suitable for constrained environments.

jedisct1

A list of VHDL codes implementing cryptographic algorithms

hadipourh

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

damaki