Results for evercrypt

Found in 1 of 7 ecosystems · 5 matches across other registries

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

crates.io matches

5 matches · Rust

evercryptv0.0.11

crates.io

Crypto library using formally verified code from HACL/Evercrypt

Abandoned. Last published 4 years ago.

evercrypt_tiny-sysv0.1.1

crates.io

A tiny build of EverCrypt's c89-distribution with autogenerated bindings

Abandoned. Last published 3 years ago.

hpke-rs-evercryptv0.1.2

crates.io

Crypto backend for HPKE using formally verified code from Evercrypt.

MaintenanceDeprecated

PopularityNiche

SecurityClean

DepsZero deps

Deprecated. Don't start a new project on this.

evercrypt-sysv0.0.9

crates.io

FFI binding to HACL/Evercrypt

Abandoned. Last published 4 years ago.

openmls_evercryptv0.1.0

crates.io

A crypto backend for OpenMLS implementing openmls_traits using HACL/Evercrypt.

Abandoned. Last published 4 years ago.