GitHub repository: mitls/hacl-star
Primary language: Assembly
Created: 2016-06-23T12:37:16Z
Description: HACL*, a formally verified cryptographic library written in F*