mlswg / mls-federationView external linksLinks
☆17Apr 1, 2025Updated 10 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 10 months ago
- A tool for verifying game-hopping proofs☆15Jan 13, 2026Updated last month
- MLS protocol☆239Sep 10, 2024Updated last year
- ☆18Oct 30, 2023Updated 2 years ago
- A local-first chat application with user login☆19Nov 4, 2025Updated 3 months 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 10 months ago
- Coordination of implementation and interop specific details☆127Jan 29, 2026Updated 2 weeks ago
- 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 9 months ago
- This is a Tamarin model of TLS 1.3☆41Aug 19, 2023Updated 2 years ago
- Gill is a free and open-source git-service based on ActivityPub and ForgeFed☆44Jan 5, 2026Updated last month
- 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 Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust☆10Feb 12, 2022Updated 4 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- Data analityics and dashboards about your perfomance inside neovim? yeah 📊☆12May 22, 2024Updated last year
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆13Updated this week
- Peer-to-peer NATS message routing and S3 object sync solution☆18Feb 5, 2026Updated last week
- A opensource community written by rust☆10Aug 15, 2023Updated 2 years ago
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆46Updated this week
- Crossposts from Reddit to Lemmy☆12Aug 16, 2023Updated 2 years ago
- Duck Game mod☆11Jun 11, 2024Updated last year
- A project bringing ethics back to AI☆11Aug 7, 2023Updated 2 years ago
- Axolotl protocol implementation for JavaScript☆35Feb 1, 2018Updated 8 years ago
- ☆50Nov 22, 2024Updated last year
- An exploration of possibilities with the bevy_mod_scripting crate☆12Apr 8, 2024Updated last year
- A Minimalistic ASCII/Tiled Game Engine☆10Aug 6, 2025Updated 6 months ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated last month
- ilo nanpa li ilo pi nasin nanpa pi toki pona.☆13Jan 15, 2019Updated 7 years ago
- A Subjective Web-of-Trust for Decentralized Moderation and Peer Review☆13Jan 20, 2024Updated 2 years ago
- A guide to IRC for beginners☆12Jun 23, 2015Updated 10 years ago
- Post-quantum Wireguard (Theory)☆12Sep 9, 2020Updated 5 years ago