Alternatives and similar repositories for paradox

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

• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆62Updated 4 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• ebfull / nemo
  Session types for asynchronous networking
  ☆21Updated 9 years ago
• cryptosphere / macaroons-rs
  Macaroons: bearer credentials with caveats for distributed authorization
  ☆61Updated 8 years ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated 2 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 6 months ago
• rot256 / ninn
  An experimental implementation of nQUIC in Rust
  ☆32Updated 7 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• graydon / z3-rs
  ☆24Updated 7 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
• mindbeam / unbase
  ☆40Updated 5 years ago
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆79Updated 9 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• iqlusioninc / canister
  Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units
  ☆32Updated 8 months ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 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
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 5 years ago
• Fantom-foundation / lachesis-rs
  Lachesis BFT consensus for permission-less networks, in Rust
  ☆34Updated 6 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• ycrypto / nisty
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆14Updated 4 years ago
• akamai-contrib / byztimed
  Byzantine-fault-tolerant time synchronization
  ☆41Updated 4 years ago
• ETCDEVTeam / etcommon-rs
  Apache-2 licensed common Ethereum structs shared by crates
  ☆21Updated 5 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 7 years ago
• valarauca / consistenttime
  Constant Time Operations for Crypto Libraries
  ☆10Updated 8 years ago
• rsaarelm / urbit-rs
  ☆11Updated 8 years ago
• SpinResearch / merkle.rs
  Merkle tree in Rust
  ☆132Updated last year
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆12Updated 9 years ago