Skip to main content

hacspec

A specification language for crypto primitives and more in Rust.

https://hacspec.github.io/