gterzian / understand-paxosLinks
What makes Paxos tick?
☆11Updated last month
Alternatives and similar repositories for understand-paxos
Users that are interested in understand-paxos are comparing it to the libraries listed below
Sorting:
- ☆19Updated 2 years ago
- Large object allocator for Rust☆14Updated this week
- ☆27Updated 4 years ago
- Propositional logic with types in Rust☆62Updated last year
- A reader-writer lock that provides extremely fast read access without starving writers☆80Updated last year
- Framework for simulating distributed applications☆101Updated 5 years ago
- An experimental columnar arena☆43Updated 7 months ago
- Serde serializer for generating Starlark build targets☆66Updated 2 weeks ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- Viewstamped Replication for Rust☆68Updated 2 years ago
- ☆32Updated 11 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆37Updated 9 months ago
- Rust library to program hardware performance counter.☆53Updated 2 years ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆26Updated 4 years ago
- An article explaining the unsoundness I found in owning-ref☆27Updated 3 years ago
- Session types for asynchronous communication between multiple parties.☆41Updated 10 months ago
- A lock-free, append-only atomic pool.☆67Updated 3 years ago
- log for concurrent workloads, with support for atomic batches and in-order recovery☆33Updated 3 years ago
- A plugin for Criterion.rs to measure Linux perf events.☆42Updated last year
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- Library for building stateful property tests using the proptest crate☆24Updated this week
- Exploring the "expression problem" in Rust☆49Updated 2 years ago
- Example implementation of stack tokens for Rust☆34Updated 2 years ago
- ☆12Updated last month
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- High performance LOUDS (Level-Order Unary Degree Sequence) library☆33Updated 10 months ago
- A FoundationDB style deterministic testing framework for async/await Rust☆32Updated 4 years ago
- Stack safe and expressive recursion in Rust☆98Updated 4 months ago
- A generic-purpose, atomic, ordered, zero-copy read, zero-cost (in-place) write, Write-Ahead Log implementation for Rust.☆22Updated 5 months ago
- madsim-inspired determinism for turmoil-based simulation tests☆43Updated last month