HACL*, a formally verified cryptographic library written in F* - View it on GitHub