Online engine for reasoning about the Noise Protocol Framework.
☆21Apr 7, 2026Updated 6 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.☆137Updated this week
- an authenticated, chunked cipher based on BLAKE3☆23Jul 26, 2026Updated 3 months ago
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆19May 27, 2026Updated 5 months ago
- FIPS-204 (ML-DSA) implementation in Go☆25Jul 10, 2026Updated 3 months ago
- A synchronous message passing channel that only retains the most recent value.☆15May 27, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A self-hosted website for sharing costs between people☆13Jan 20, 2023Updated 3 years ago
- AES-GEM (AES Galois Extended Mode) implementation.☆14May 19, 2026Updated 5 months ago
- Apache-2 licensed common Ethereum structs shared by crates☆21Oct 25, 2019Updated 7 years ago
- Simplifies the review and management of threat models in documents☆13Oct 13, 2026Updated 3 weeks ago
- A guided overview of relevant and current concepts in applied cryptography☆20Jul 13, 2026Updated 3 months ago
- A small, self-contained SHA512 and HMAC-SHA512 implementation.☆11Sep 25, 2026Updated last month
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Nov 7, 2023Updated 2 years ago
- An example on how to build & distribute images for Raspberry Pi with mkosi☆14Updated this week
- ☆11Dec 3, 2025Updated 11 months 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.
- Elliptic curve operations over secp256k1 *not for production*☆18Jun 8, 2022Updated 4 years ago
- light-hearted bitcoin things☆10Aug 22, 2021Updated 5 years ago
- A tiny, portable implementation of the IPCrypt specification in C.☆34Oct 29, 2026Updated last week
- Safe AST-based code transformations for MCP agents, standalone tools, and automation runtimes.☆12Jun 16, 2026Updated 4 months ago
- Mirror. Canonical repository available at https://git.cedarcrypt.org.☆28Oct 20, 2026Updated 2 weeks ago
- Entropy1729's Learning path☆10Dec 19, 2022Updated 3 years ago
- C implementation of the BlaBla20 cipher☆10Jan 1, 2026Updated 10 months ago
- Fast UltraGroth prover written in C++ based on rapidsnark, that generates proofs for circuits created with circom and snarkjs.☆10Nov 25, 2025Updated 11 months ago
- Bitcoin Development Grant Agreement☆14Jun 15, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- My best Java class to compress any String, short or long, with any character of human history☆12Feb 16, 2026Updated 8 months ago
- A safe and convenient store for one value of each type☆12Apr 10, 2021Updated 5 years ago
- Visual Hash for matching copies of visually similar images.☆16Mar 17, 2025Updated last year
- A pure rust implementation of the gimli cipher☆13Jan 26, 2022Updated 4 years ago
- Collection of Claude system prompts and instructions☆10Jul 4, 2025Updated last year
- C implementation of the CLT13 multilinear map☆14Nov 29, 2018Updated 7 years ago
- POLYVAL per RFC 8452☆10Aug 5, 2023Updated 3 years ago
- In this repo I implement a stark prover for learning purposes☆14May 22, 2025Updated last year
- Takes in scan reports from the GVM PostgreSQL Database and dump into Elasticsearch☆14Aug 18, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Materials and slides for talks I've given in the past☆14Aug 16, 2026Updated 2 months ago
- ☆23Sep 7, 2026Updated last month
- gnark is a fast, open-source library for zero-knowledge proof protocols written in Go.☆12Updated this week
- Metadata-private messaging with polylogarithmic accesses☆10Apr 19, 2025Updated last year
- Tool to automatize captcha process to perform a brute force attack☆14May 1, 2025Updated last year
- Collection of test vectors for cryptographic operations☆14Dec 24, 2015Updated 10 years ago
- A collection of post-quantum cryptographic algorithms (and emerging standards) implemented in Rust.☆18Aug 26, 2026Updated 2 months ago