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
• ChorusOne / dynalock
  A lease based distributed locking library
  ☆11Updated 7 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 4 months ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆62Updated 4 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• mindbeam / unbase
  ☆40Updated 5 years ago
• sile / plumcast
  A message broadcasting library based on the Plumtree/HyParView algorithms
  ☆31Updated 3 years ago
• iqlusioninc / canister
  Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units
  ☆32Updated 6 months ago
• skade / lazers
  A couchdb client in Rust
  ☆18Updated 7 years ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 7 years ago
• rot256 / ninn
  An experimental implementation of nQUIC in Rust
  ☆31Updated 6 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 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
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• tarcieri / ithos
  A cryptographically verifiable access control and directory system for Linux servers
  ☆54Updated 8 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated last month
• cryptosphere / macaroons-rs
  Macaroons: bearer credentials with caveats for distributed authorization
  ☆61Updated 8 years ago
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 5 years ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated last year
• sile / hyparview
  A Rust implementation of HyParView algorithm
  ☆29Updated 6 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• losfair / hexagon-e
  The HexagonE VM
  ☆26Updated 2 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆13Updated 6 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago