☆17Apr 1, 2025Updated 11 months ago
Alternatives and similar repositories for mls-federation
Users that are interested in mls-federation are comparing it to the libraries listed below
Sorting:
- MLS architecture☆75Mar 31, 2025Updated 11 months ago
- A tool for verifying game-hopping proofs☆15Updated this week
- MLS protocol☆240Sep 10, 2024Updated last year
- ☆18Oct 30, 2023Updated 2 years ago
- A local-first chat application with user login☆19Feb 10, 2026Updated 3 weeks ago
- Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)☆23May 19, 2021Updated 4 years ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆25Jan 15, 2025Updated last year
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 11 months ago
- Coordination of implementation and interop specific details☆129Jan 29, 2026Updated last month
- Is SIKE broken yet?☆20Feb 15, 2023Updated 3 years ago
- p2p music streaming prototype☆54Aug 11, 2025Updated 6 months ago
- ☆27Jul 4, 2024Updated last year
- Formal Analysis of the PQXDH Protocol☆30Jun 6, 2024Updated last year
- Rust bindings for HACL & Evercrypt☆30Apr 24, 2025Updated 10 months ago
- Gill is a free and open-source git-service based on ActivityPub and ForgeFed☆44Jan 5, 2026Updated 2 months ago
- This is a Tamarin model of TLS 1.3☆42Aug 19, 2023Updated 2 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆38Apr 11, 2025Updated 10 months ago
- Internet-Draft about avoiding internet centralization☆41Dec 28, 2023Updated 2 years ago
- A opensource community written by rust☆10Aug 15, 2023Updated 2 years ago
- Peer-to-peer NATS message routing and S3 object sync solution☆18Feb 5, 2026Updated last month
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- Duck Game mod☆11Jun 11, 2024Updated last year
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- A Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust☆10Feb 12, 2022Updated 4 years ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆47Updated this week
- Crossposts from Reddit to Lemmy☆12Aug 16, 2023Updated 2 years ago
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆14Mar 2, 2026Updated last week
- A project bringing ethics back to AI☆11Aug 7, 2023Updated 2 years ago
- Data analityics and dashboards about your perfomance inside neovim? yeah 📊☆12May 22, 2024Updated last year
- Axolotl protocol implementation for JavaScript☆35Feb 1, 2018Updated 8 years ago
- ☆51Nov 22, 2024Updated last year
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Jan 27, 2015Updated 11 years ago
- ☆14Jan 31, 2023Updated 3 years ago
- Bevy Editor for VSCode☆11Jul 24, 2021Updated 4 years ago
- Multilogue: libp2p non-simultaneous p2p chat protocol☆13Feb 26, 2020Updated 6 years ago
- community cooperation software☆13Feb 5, 2026Updated last month
- The Average Novel☆10Dec 2, 2017Updated 8 years ago
- NIST P elliptic curves (re-exported from crypto/internal/nistec)☆53Oct 31, 2025Updated 4 months ago