Alternatives and similar repositories for paradox

Users that are interested in paradox are comparing it to the libraries listed below

• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 6 months ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆62Updated 4 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated 2 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• rot256 / ninn
  An experimental implementation of nQUIC in Rust
  ☆32Updated 6 years ago
• cryptosphere / macaroons-rs
  Macaroons: bearer credentials with caveats for distributed authorization
  ☆61Updated 8 years ago
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆79Updated 9 years ago
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• ebfull / nemo
  Session types for asynchronous networking
  ☆20Updated 9 years ago
• sile / plumcast
  A message broadcasting library based on the Plumtree/HyParView algorithms
  ☆32Updated 3 years ago
• paradigmlink / copernica
  <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…
  ☆11Updated 3 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• iqlusioninc / canister
  Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units
  ☆32Updated 7 months ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆43Updated 9 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 9 years ago
• frugalos / raftlog
  A Rust implementation of distributed replicated log based on the Raft algorithm
  ☆49Updated 3 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• akamai-contrib / byztimed
  Byzantine-fault-tolerant time synchronization
  ☆41Updated 4 years ago
• tarcieri / ithos
  A cryptographically verifiable access control and directory system for Linux servers
  ☆55Updated 8 years ago
• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 7 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• Bren2010 / ecc
  Elliptic curve arithmetic and cryptography library in pure Rust.
  ☆94Updated 10 years ago
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆55Updated 3 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• valarauca / consistenttime
  Constant Time Operations for Crypto Libraries
  ☆10Updated 8 years ago
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 5 years ago