GitHub repository: mikkelmilo/hacspec
Primary language: Rust
Description: A specification language for cryptography primitives.