☆18Dec 8, 2025Updated 10 months ago
Alternatives and similar repositories for hpke
Users that are interested in hpke are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Package xaes256gcm implements the XAES-256-GCM extended-nonce AEAD.☆20Jul 14, 2026Updated 2 months ago
- ☆14Apr 14, 2025Updated last year
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆55Jul 21, 2026Updated 2 months ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆71Sep 16, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆20Mar 18, 2025Updated last year
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Mar 25, 2026Updated 6 months ago
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆19Updated this week
- Community Cryptography Specification Project☆669Updated this week
- Your Key Transparency auditor companion☆40Apr 23, 2026Updated 5 months ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 9 months ago
- Key transparency server☆37Aug 18, 2026Updated last month
- Go implementation of Merkle Tree Certificates☆30Nov 5, 2025Updated 11 months ago
- FIPS-204 (ML-DSA) implementation in Go☆24Jul 10, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ML-KEM key encapsulation in Swift☆11Apr 21, 2026Updated 5 months ago
- Rust port of TinyCrypt's CCM mode implementation using RustCrypto's AES☆12Jun 13, 2020Updated 6 years ago
- Sigstore implemented in Rust for Github v0.3 bundles☆29Updated this week
- Collection of Key Encapsulation Mechanisms written in pure Rust☆114Oct 1, 2026Updated last week
- Qualcomm Clients for the Linux TEE subsystem☆17Jul 25, 2026Updated 2 months ago
- ☆32Nov 21, 2023Updated 2 years ago
- Use TouchID and the Secure Enclave to encrypt data from the commandline.☆18Aug 22, 2022Updated 4 years ago
- Cracking 2DES using a meet-in-the-middle attack implemented in python 3.☆15Sep 27, 2015Updated 11 years ago
- ☆13Sep 27, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An asynchronous UDP socket that supports timestamping☆15Sep 14, 2026Updated 3 weeks ago
- 🧮 Command line's multi-platform interactive calculator, with bc-compatible syntax and high-precision arithmetic.☆13Oct 19, 2025Updated 11 months ago
- Tools for unpacking and repacking firmware images for the Insta360 X3☆13Sep 19, 2023Updated 3 years ago
- CN separation logic refinement type system for C☆61Updated this week
- A formally verified symbolic cryptography library for Lean☆19Feb 18, 2026Updated 7 months ago
- Open-source textbook about CHERI capabilities, for a developer audience☆18Apr 16, 2026Updated 5 months ago
- ☆19Sep 5, 2026Updated last month
- Compress sets of integers efficiently☆23Apr 17, 2025Updated last year
- Beep the PC speaker☆11Nov 9, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- firequeue is to ensure putting items to Amazon Kinesis Data Firehose with an in-memory queue☆11Jul 31, 2024Updated 2 years ago
- Go package for TREZOR devices☆11Feb 28, 2019Updated 7 years ago
- Sodiumoxide's libsodium-sys crate, but that installs stable versions of libsodium.☆45Aug 27, 2026Updated last month
- Log call tree summaries after each request for rust programs instrumented with `tracing`.☆45Apr 26, 2026Updated 5 months ago
- A toy browser written in C++.☆10Jan 9, 2021Updated 5 years ago
- Tiny multi process init for containers written in Rust 🦀☆13Jun 17, 2022Updated 4 years ago
- ☆74Updated this week