keccakc. C11-clean Keccak, SHA-3, and SHAKE implementation (targeting formal verification)

github.com/coruus/keccakc

Problem

Audience

Updates

No founder updates yet. Check back soon.