Alternatives and similar repositories for dynalock

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

• matklad / paxosnotes
  ☆23Updated 2 years ago
• facebookarchive / Rust-SMT-LIB-API
  An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.
  ☆36Updated 5 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆28Updated 2 months ago
• konnov / protocols-made-fun
  Protocols made fun: Igor's blog
  ☆10Updated last month
• frugalos / raftlog
  A Rust implementation of distributed replicated log based on the Raft algorithm
  ☆49Updated 3 years ago
• ETCDEVTeam / etcommon-rs
  Apache-2 licensed common Ethereum structs shared by crates
  ☆21Updated 5 years ago
• GabeVillalobos / rust_rb_tree
  A Red-Black tree implemented in rust....for science!
  ☆10Updated 4 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
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆39Updated 10 months ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 4 months ago
• smol-rs / nb-connect
  [DEPRECATED] Non-blocking TCP or Unix connect
  ☆14Updated 4 years ago
• haraldng / omnipaxos-rocksdb-tutorial
  This is a small demo of how to transform a simple single-server RocksDB service written in Rust into a distributed version using OmniPaxo…
  ☆16Updated 5 months ago
• komora-io / ebr
  high-efficiency concurrent reclamation
  ☆35Updated 10 months ago
• nvzqz / byte-set-rs
  Efficient sets of bytes for Rust
  ☆19Updated 5 years ago
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆37Updated 3 months ago
• ConnectEverything / caspaxos-kv
  Rust CASPaxos implementation
  ☆66Updated 4 years ago
• graydon / clepsydra
  small distributed database protocol
  ☆31Updated 4 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆55Updated last year
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 7 years ago
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆43Updated 9 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 9 months ago
• tock / elf2tab
  Tool to create Tock Application Bundles from ELF files.
  ☆18Updated last month
• DistributedComponents / verdi-lockserv
  An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
  ☆14Updated 7 years ago
• psibi / rucredstash
  Utility for managing credentials securely in AWS cloud
  ☆19Updated 2 years ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Updated 7 years ago
• RustCrypto / CSRNGs
  Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust
  ☆10Updated last year
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆24Updated last month
• iqlusioninc / canister
  Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units
  ☆32Updated 6 months ago