A new specification language for crypto primitives in Rust.
This is the predecessor of https://github.com/HACS-workshop/hacspec.
Documentation and API reference can be found here.
This repo has a set of examples written in hacspec.