GitHub repository: HACS-workshop/hacspec
Primary language: Python
Created: 2018-01-14T07:22:56Z
Description: a new specification language for crypto primitives