ChorusOne / dynalock
A lease based distributed locking library
☆11Updated 6 years ago
Alternatives and similar repositories for dynalock:
Users that are interested in dynalock are comparing it to the libraries listed below
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- ☆23Updated 2 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 6 years ago
- Data-flow distribution analyzer☆8Updated 6 years ago
- A set of tools for working with datafrog☆22Updated 5 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 2 months ago
- Library for building stateful property tests using the proptest crate☆23Updated last month
- Rust bindings for HACL & Evercrypt☆28Updated 2 weeks ago
- A Red-Black tree implemented in rust....for science!☆10Updated 4 years ago
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆10Updated last year
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 4 years ago
- Utilities building on top of Rust's async primitives.☆23Updated 5 years ago
- Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project☆12Updated 5 years ago
- Rust Read-Evaluate-Print-Loop utility crate☆14Updated 2 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- ☆11Updated last year
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 5 years ago
- Managing Rust dependencies via a dashboard☆50Updated last year
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- Apache-2 licensed common Ethereum structs shared by crates☆21Updated 5 years ago
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆32Updated 4 months ago
- Rust binding for fastpbkdf2☆15Updated 4 years ago
- Continuously read/write to memory using random offsets and lengths.☆14Updated last year
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- Rust XDR interoperability library and codegen☆16Updated 2 years ago
- Tool to create Tock Application Bundles from ELF files.☆16Updated last month
- ☆15Updated 2 years ago
- A PoPuLaToR for a PeePhoLe opTimizeR☆12Updated 3 years ago
- Lock-free ARENA allocator and a set of lock-free data structures based on the ARENA allocator.☆12Updated 2 months ago