hacspec/hacspec

This is stars and forks stats for /hacspec/hacspec repository. As of 25 Apr, 2024 this repository has 227 stars and 43 forks.

hacspec A specification language for crypto primitives in Rust. This is the successor of https://github.com/HACS-workshop/hacspec. For a quick intro, you can look at the presentation slides. More information is available in the book. Also, see the Publications below. Crates Name Crates.io Docs CI hacspec hacspec-lib hacspec-provider Usage Writing hacspec hacspec is always valid Rust code such that starting to write hacspec is as simple as writing Rust code that is compliant with the language specification. However,...