GitHub repository: spitters/hacspec
Description: A specification language for cryptography primitives.