Online engine for reasoning about the Noise Protocol Framework.
☆21Apr 7, 2026Updated 3 months ago
Alternatives and similar repositories for noiseexplorer
Users that are interested in noiseexplorer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cryptographic protocol analysis for real-world protocols.☆105Jun 16, 2026Updated last month
- Cryptographic protocol analysis for students and engineers.☆11Aug 27, 2019Updated 6 years ago
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆19May 27, 2026Updated last month
- A workspace for hacking on K210 crates☆28Jan 25, 2021Updated 5 years ago
- FIPS-204 (ML-DSA) implementation in Go☆24Jul 10, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A self-hosted website for sharing costs between people☆13Jan 20, 2023Updated 3 years ago
- ☆21Nov 22, 2025Updated 8 months ago
- Apache-2 licensed common Ethereum structs shared by crates☆21Oct 25, 2019Updated 6 years ago
- A tiny, portable implementation of the IPCrypt specification in C.☆32Jun 10, 2026Updated last month
- Proposal for tc39 of new integrity "level" protecting against both override mistakes and proxy reentrancy☆18Mar 30, 2025Updated last year
- Visual Hash for matching copies of visually similar images.☆16Mar 17, 2025Updated last year
- Mirror. Canonical repository available at https://git.cedarcrypt.org.☆25Updated this week
- The official Shannon upgrade implementation of the Pocket Network Protocol implemented using the Cosmos SDK☆31Updated this week
- My best Java class to compress any String, short or long, with any character of human history☆12Feb 16, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- AEGIS-256☆11Apr 10, 2026Updated 3 months ago
- C implementation of the CLT13 multilinear map☆14Nov 29, 2018Updated 7 years ago
- An Internet-Draft for the Balloon Key Derivation Function (BKDF), a memory-hard password hashing and password-based key derivation functi…☆11Jun 29, 2025Updated last year
- A pure rust implementation of the gimli cipher☆13Jan 26, 2022Updated 4 years ago
- A collection of post-quantum cryptographic algorithms (and emerging standards) implemented in Rust.☆17Jul 18, 2025Updated last year
- An idiomatic C++ wrapper for the Monocypher crypto library☆13Oct 6, 2024Updated last year
- A unified SDK for IronCore encryption operations including vector encryption for AI data☆30Jul 9, 2026Updated 2 weeks ago
- Implement microprofile for python language☆12May 1, 2023Updated 3 years ago
- A Rust macro implementing a Python-like generator expression☆19May 11, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Sphincs+ implementation which uses minimal RAM☆14Aug 31, 2023Updated 2 years ago
- Materials and slides for talks I've given in the past☆14Feb 20, 2026Updated 5 months ago
- Overriding Stdio file descriptors in Rust☆19Jan 26, 2025Updated last year
- Password management and cracking training☆13Jul 15, 2025Updated last year
- A standalone AES-KW (AES Key Wrap) implementation.☆14Dec 31, 2023Updated 2 years ago
- Various improvements to voice chat groups.☆15Jun 16, 2026Updated last month
- Library to show secp256k1 curve's mirror called "secq"☆14Aug 6, 2018Updated 7 years ago
- Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface☆14Oct 6, 2024Updated last year
- A small, self-contained SHA512 and HMAC-SHA512 implementation.☆11Feb 13, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Verifiable Credentials Working Group — VC JSON Web Tokens specification☆31Apr 28, 2025Updated last year
- Use Easy Dice to roll dice of your choosing.☆15Dec 31, 2024Updated last year
- FPE - Format Preserving Encryption with FF3 in C☆14Apr 3, 2026Updated 3 months ago
- Installation program to add Jacksum (CLI) and HashGarten (GUI) to Microsoft Windows. It also adds functions to the Send To menu which is …☆12Dec 1, 2024Updated last year
- How to hire dtolnay☆19Sep 24, 2023Updated 2 years ago
- Implementation of the single-step key derivation function (KDF) as described in NIST Special Publication 800-56C Rev1 supporting messages…☆10Mar 12, 2023Updated 3 years ago
- Miniscript workshop code for Advancing Bitcoin 2020 (and perhaps later conferences)☆14Feb 7, 2020Updated 6 years ago