redpanda-data / awesome-distributed-transactionsLinks
Awesome list of distributed transactions
β730Updated 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
Sorting:
- A fast linearizability checker written in Go πβ1,045Updated last month
- Awesome list for Paxos and friendsβ2,101Updated last year
- Black-box transactional safety checker based on cycle detectionβ668Updated 2 months ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolatiβ¦β2,607Updated 9 months ago
- Collection of Papers On Database Management Systemsβ222Updated 8 years ago
- Interesting readings and talks on computer scienceβ714Updated 6 months ago
- Waltz is a quorum-based distributed write-ahead log for replicating transactionsβ424Updated 2 years ago
- Curated list of resources on testing distributed systemsβ2,562Updated 3 months ago
- A list of papers about distributed consensus.β2,584Updated 11 months ago
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerinβ¦β568Updated 5 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ838Updated 3 years ago
- Notes on Lindsey Kuper's lectures on Distributed Systemsβ478Updated last year
- A low-latency, cloud-native KVSβ705Updated 4 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!β493Updated 9 months ago
- A cluster consistency platformβ656Updated this week
- Experimenting with persistence in Cβ185Updated 3 years ago
- Rapid is a scalable distributed membership serviceβ134Updated 2 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β323Updated 3 years ago
- TLA+ specification for the Raft consensus algorithmβ494Updated 5 months ago
- β609Updated 4 months ago
- High Performance Embedded Key-Value Storeβ716Updated 2 weeks ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,044Updated 9 years ago
- Paxos protocol frameworkβ555Updated last year
- A Swiss Army knife for read-write quorum systemsβ84Updated 4 years ago
- β559Updated last month
- A collection of state machine replication protocolsβ118Updated 2 years ago
- List of FoundationDB resourcesβ212Updated 3 weeks ago
- A library that provides an embeddable, persistent key-value store for fast storage optimized for AWSβ803Updated 2 weeks ago
- CRDT Tutorial for Beginners (a digestible explanation with less math!)β350Updated 3 years ago
- A collection of TLAβΊ specifications of varying complexities.β1,386Updated this week