Your Key Transparency auditor companion
☆40Apr 23, 2026Updated 3 months ago
Alternatives and similar repositories for plexi
Users that are interested in plexi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Key transparency server☆17Jun 25, 2026Updated last month
- Sign and verify orchestrated HTTP requests☆145Updated this week
- Tiled transparency logs libraries and applications☆56Updated this week
- ☆22Jul 20, 2026Updated 3 weeks ago
- A TypeScript Library for Blind RSA Signature protocol☆34Jul 27, 2026Updated 2 weeks 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.
- ☆19Dec 8, 2025Updated 8 months ago
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆17Updated this week
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆70Jul 20, 2026Updated 2 weeks ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- A TypeScript Library for the Privacy Pass Issuance Protocol☆46Aug 3, 2026Updated last week
- A draft proposal for the transparency mechanism for the WAICT spec☆29May 27, 2026Updated 2 months ago
- Materials accompanying "Implementing an Elliptic Curve in Go"☆13Jul 29, 2017Updated 9 years ago
- A TypeScript Attester using Turnstile for the Privacy Pass Authentication Protocol☆15Apr 24, 2026Updated 3 months ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated last year
- 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.
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆27Mar 25, 2026Updated 4 months ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 9 months ago
- Implementation of DAP☆147Apr 24, 2026Updated 3 months ago
- Cross-platform Rust wrappers for the PCI ID Repository☆12Oct 3, 2025Updated 10 months ago
- BAT KEM/Signature Reference Implementation☆25Dec 28, 2021Updated 4 years ago
- A collection of tools for measuring the quality of a network.☆85Aug 3, 2026Updated last week
- An implementation of an auditable key directory☆330Updated this week
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- Go implementation of Merkle Tree Certificates☆28Nov 5, 2025Updated 9 months 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.
- A formally verified symbolic cryptography library for Lean☆17Feb 18, 2026Updated 5 months ago
- ☆18Nov 14, 2018Updated 7 years ago
- Deployments of fancy cryptography☆256Jul 25, 2026Updated 2 weeks ago
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 2 years ago
- Tool to interact with the firewall matched data feature.☆23Apr 23, 2026Updated 3 months ago
- Client for Privacy Pass protocol providing unlinkable cryptographic tokens☆415Updated this week
- ☆18Oct 30, 2023Updated 2 years ago
- An implementation of a post quantum anonymous credential scheme☆17Dec 18, 2024Updated last year
- Fast IoC matching: scan logs for threat intel (IPs, domains, hashes).☆15Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Initial discussions on signatures of WebAssembly modules.☆18May 18, 2022Updated 4 years ago
- Low-latency hash map using minimal perfect hash functions and compact encoding.☆42Apr 28, 2026Updated 3 months ago
- A fast, modular, and operationally boring Rust private registry implementation.☆151Jul 14, 2026Updated 3 weeks ago
- An implementation of BLAKE3 verified streaming☆35Nov 4, 2025Updated 9 months ago
- Internet Draft for survey of technical mechanisms for censorship☆21Mar 29, 2023Updated 3 years ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆70Updated this week
- Efficient Anonymous Tokens with Private Metadata Bit☆15Mar 7, 2023Updated 3 years ago