gterzian / understand-paxosLinks
What makes Paxos tick?
☆11Updated 7 months ago
Alternatives and similar repositories for understand-paxos
Users that are interested in understand-paxos are comparing it to the libraries listed below
Sorting:
- Framework for simulating distributed applications☆104Updated 5 years ago
- ☆28Updated 4 years ago
- Adaptive Radix Trie implementation for fixed-length keys☆54Updated 4 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Updated last year
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago
- An operation-log based approach for data replication.☆65Updated 2 years ago
- A benchmarking harness for concurrent key-value collections☆118Updated 2 years ago
- A lock-free, append-only atomic pool.☆68Updated 3 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆44Updated 4 months ago
- log for concurrent workloads, with support for atomic batches and in-order recovery☆37Updated 3 years ago
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆85Updated last year
- An experimental columnar arena☆43Updated last year
- Adaptive Radix Tree in Rust☆67Updated 7 years ago
- RFC process for Bytecode Alliance projects☆73Updated 2 months ago
- A Rust implementation of two segment trees and a fenwick tree.☆66Updated 6 years ago
- A reader-writer lock that provides extremely fast read access without starving writers☆86Updated 2 years ago
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆142Updated 5 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- Experimental type level programming in Rust☆41Updated 4 years ago
- high-efficiency concurrent reclamation☆38Updated last year
- Implementation of Adaptive Radix Tree in Rust☆44Updated 5 years ago
- Pillars for Transactional Systems and Data Grids☆133Updated last year
- ☆39Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆62Updated 4 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- ☆21Updated 3 years ago
- 🎶 Choreographic programming in Rust 🎶☆61Updated 8 months ago
- Set theory applied on sorted and deduplicated slices.☆47Updated 3 years ago
- Large object allocator for Rust☆21Updated 3 weeks ago