GitHub repository: spector-in-london/hacspec
Description: A specification language for cryptography primitives.