redpanda-data / awesome-distributed-transactions
Awesome list of distributed transactions
β728Updated 3 years ago
Alternatives and similar repositories for awesome-distributed-transactions:
Users that are interested in awesome-distributed-transactions are comparing it to the libraries listed below
- A fast linearizability checker written in Go πβ1,018Updated 2 months ago
- Curated list of resources on testing distributed systemsβ2,559Updated this week
- Waltz is a quorum-based distributed write-ahead log for replicating transactionsβ416Updated 2 years ago
- Interesting readings and talks on computer scienceβ692Updated 3 months ago
- A list of papers about distributed consensus.β2,565Updated 8 months ago
- Awesome list for Paxos and friendsβ2,089Updated 11 months ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ830Updated 3 years ago
- Collection of Papers On Database Management Systemsβ221Updated 8 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!β492Updated 6 months ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolatiβ¦β2,571Updated 6 months ago
- Black-box transactional safety checker based on cycle detectionβ662Updated 3 weeks ago
- A model checker for implementing distributed systems.β1,628Updated last week
- Notes on Lindsey Kuper's lectures on Distributed Systemsβ473Updated last year
- Experimenting with persistence in Cβ182Updated 3 years ago
- A low-latency, cloud-native KVSβ704Updated 4 years ago
- Rapid is a scalable distributed membership serviceβ133Updated last year
- π State-of-the-art learned data structure that enables fast lookup, predecessor, range searches and updates in arrays of billions of itemβ¦β810Updated 5 months ago
- Examples of OS / system limitsβ308Updated 4 years ago
- A library that provides an embeddable, persistent key-value store for fast storage optimized for AWSβ788Updated last month
- β532Updated last week
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,037Updated 8 years ago
- Self-Driving Database Management System from Carnegie Mellon Universityβ1,742Updated 2 years ago
- A Distributed Systems Reading Listβ184Updated 4 years ago
- A cluster consistency platformβ649Updated last week
- The book Distributed systems: for fun and profitβ2,588Updated 2 years ago
- Readings in distributed systemsβ415Updated 10 years ago
- Paxos protocol frameworkβ556Updated last year
- β128Updated 6 years ago
- β610Updated last month
- A collection of awesome CRDT resourcesβ1,277Updated 4 years ago