HACL*, a formally verified cryptographic library written in F*
A beautiful, cross-platform REST client.
iOS Client for Everest.com
The Everest Framework is designed to ease the creation, formatting, and ...