everrs (cargo): Bindings for the HACL*/EverCrypt crypto library
Keywords: crypto|no-std|bindings|chacha20-poly1305|formal-verification|hacl|high-assureance|x25519